Philosophy Stack Exchange
Philosophy Stack Exchange

Questions tagged [kripke]

Saul Aaron Kripke (1940 - ) is an American philosopher and logician.

The following are some sources for more information about Kripke.

40 questions
32
votes
3 answers

How is Gödel's incompleteness theorem interpreted in intuitionistic logic?

Classically, one sets up an axiomatic system with a formal deduction system & an interpretation in a model. Generally it is sound, that is: a formally deduced theorem is also true when interpreted in the model. The reverse is called completeness, if…
Mozibur Ullah
  • 1
  • 14
  • 88
  • 234
12
votes
2 answers

Is "Mickey Mouse" a rigid designator?

According to Kripke, proper names, like Barack Obama, Michael Jackson etc are rigid designators. In all possible worlds, the name refers to the 'object' Barack Obama or Michael Jackson. This is true for all real persons. But what about fictive…
Applied mathematician
  • 369
  • 1
  • 5
10
votes
3 answers

How is Saul Kripke said to have revive metaphysics again?

How is Saul Kripke said to have revive metaphysics in analytic philosophy tradition again?
Ali
  • 181
  • 4
9
votes
2 answers

what are the limits of rigid designation?

There is a gnome in my garden, which I've christened 'Barack Obama'. (This is the plaster-of-paris sort, not a fictional one.) Is there a possible world in which the two swap? What does Kripke say? Surely rigid designators do not just apply to men…
Mozibur Ullah
  • 1
  • 14
  • 88
  • 234
8
votes
3 answers

What are the relations between externalism (Kripke, Putnam) and holism (Quine) about meaning?

Three points are not clear to me about the relations between semantic externalism (Kripke, Putnam) and holism (Quine): Is there a way according to which externalism and holism can be held together or are they inherently contradicting each other? It…
Amit Hagin
  • 946
  • 6
  • 16
7
votes
3 answers

Do we cause words to mean things, or do words cause us to mean things?

This question occurred to me while reviewing a skeptical argument from Kripke regarding semantics: Suppose that I’ve never dealt with numbers larger than 57. (Given our finite nature and the infinitude of the natural number series, there will…
Kristian Berry
  • 9,561
  • 1
  • 12
  • 33
7
votes
2 answers

Why aren't Kripke semantics "syntax in disguise"?

The Wikipedia article on Kripke semantics suggests that they were considered a major breakthrough in part because algebraic semantics were seen as merely "syntax in disguise". But Kripke frames strike me as very algebraic in flavour, even if they…
jdonland
  • 83
  • 4
7
votes
1 answer

Is this sentence contingent or necessary true? A priori or a posteriori?

Given the following sentence "Barack Obama's name is Barack Obama According to Kripke, can we say that this sentence is necessary true or is it contingent? I'm confused because proper names are rigid designators according to Kripke, but the property…
Applied mathematician
  • 369
  • 1
  • 5
7
votes
1 answer

How do Kripke's rigid designators and the necessity of identity relate to the Duhem-Quine thesis?

The Duhem-Quine thesis refers to the underdetermination of scientific theories and the fact that it is impossible to test scientific theories in isolation, we always need to make background assumptions when making empirical observations. It seems…
Alexander S King
  • 26,984
  • 5
  • 64
  • 187
7
votes
1 answer

What does disposition mean in dispositional theory of meaning?

In discussion about rule-following and sceptical paradox, there is one solution called dispositional theory of meaning, which says, that if we are disposed to use a symbol + to denote addition, then it means addition. But what is disposition…
disposedtoconfused
  • 71
  • 1
6
votes
3 answers

On reading Kripke

I've recently read that Saul Kripke has had a huge impact in philosophy over the last century, especially philosophy of language and "truth". My question is whether reading his works (or studying it through other texts) is something you would…
augustoperez
  • 361
  • 3
  • 9
6
votes
1 answer

Kripke's Solution to Negative Existentials

From what I've collected, Quine seemed to have solved the problem of non-being by using Russell's theory of definite descriptions through the negation of the x having certain properties/descriptions. However, I hear Kripke rejected Russell's…
Apodictic Apple Juice
  • 818
  • 7
  • 12
5
votes
3 answers

What are the semantics for dual-intuitionistic logic?

Paraconsistent logic which modifies classical logic by rejecting the principle of explosion or ex contradictione sequitur quodlibet can be seen purely formally. The question remains as to how one interprets the logic - that is what is its…
Mozibur Ullah
  • 1
  • 14
  • 88
  • 234
5
votes
3 answers

Are there possible worlds that differ only in the assignment of rigid designators?

Is there an implicit idea in Kripe's definition of rigid designators that rules out the following possible world: Let A, B rigidly designate two things in the real world. Imagine the possible world where A has all of the properties that B has in…
Dave
  • 5,261
  • 1
  • 18
  • 51
4
votes
3 answers

A possible formal failure made by Kripke?

In Kripke 's Naming and Necessity, there is a footnote says that "Lewis's elegant paper also suffers from a purely formal difficulty: on his interpretation of quantified modality, the familiar law (y) ((x)A(x) ⊃ A(y)) falls, if A(x) is allowed to…
AnduinWilde
  • 500
  • 2
  • 9
1
2 3