# Questions tagged [kripke]

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

30 questions
Filter by
Sorted by
Tagged with
56 views

### What is the Barcan Formula?

can someone please help explain this Barcan formula to me? (In English translation and maybe with an example?) (◊ ∃x Fx) ↔ (∃x ◊ Fx) And if there is only one possible state of the world, would it ...
41 views

### Can a Rigid Designator still exist if there is only one possible world?

According to Kripke, a rigid designator is a pronoun (but not all pronouns are rigid designators) and they pick out the same unique individual in each possible world. I understand this, however, if ...
49 views

### De Re, Counterfactuals, and rigidity

This is going to come off as vague or obscure; but, I hope the idea is performatively expressed: Two questions: Do you think that Kripke would argue that the impossibility of de re counterfactuals ...
72 views

### A Problem With Kripke's Rule-Following Paradox Example?

It seems that there is a problem with the example that Saul Kripke gives in "Wittgenstein on Rules and Private Language" to explain Wittgenstein's rule-following paradox. I'm not asking about the ...
134 views

### Prove or disprove ~◇◻p → ◇◇~p in system K

How to start with the following proof? Any help would be appreciated. I have tried by assuming the left side is true, however, I get confused with the negation. ~◇◻p → ◇◇~p
63 views

### Measurement units and metaphysical necessity

I understand Kripke as arguing (in Naming and Necessity) that "a meter" is a rigid designator - it designates the same length in all possible worlds (on the other hand "the standard stick is a meter ...
51 views

### How to translate classical logic to basic Kripkean logic?

I'm trying to semantically prove the following argument (sorry about the formatting - I'm new to stackexchange): if P ⊨c Q then ⊨k 򪪪(P → Q) However, I don't know how to translate or relate the ...
162 views

### How to valuate (assign truth values to) a formula in modal logic (Kripke model)

A total novice here, and exasperated at that. I can translate natural language statements into formulae of modal logic, but their valuation in Kripke model seems elusive, as I'm simply unsure how to ...
96 views

### Kripke's Puzzle Confusion

I'm not convinced that the Fregean rebuttal has been successfully repelled by Kripke in Kripke's puzzle. Don't Londres and London have two different senses in that Pierre associates Londres with being ...
456 views

### 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 ...
150 views

### Could Napoleon have been born to different parents?

According to Kripke, things get their identities by being "baptized" with a rigid designator, and we refer to them by way of a causual chain. So it is not the case that Napoleon had to become Emperor ...
92 views

### The scope of Analytic discussion about sentences

Kripke and Quine argue both for 2 different ideas (about which I will write shortly) but their objectives are common - to say something about the nature of sentences. Yet, It seems to me like they don'...
152 views

### 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. ...
152 views

### Can meaning indeterminately be said to be indeterminate?

James Ross has given several reasons as to why he believes thought (and formal thought especially) is determinate. Among these, and under a formulation put forward by the contemporary philosopher ...
263 views

### What is the relationship between Kripke's rigid designators and scientific realism?

In a lecture on philosophy of science, the lecturer said something to the effect that the necessity of identity and Kripke's theory of rigid designators "provides a path back to scientific realism" in ...
414 views

### What responses have made to Kripke's criticism of the descriptivist theory of meaning?

Under the influence of Kripke's acute analysis, there has been a growing trend of modern essentialism, or in other words, the assertion that there are 'essential' descriptors (rigid designators) that '...
809 views

### 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 ...
330 views

### 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 ...
105 views

### 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 ...
109 views

### What is the connection between temporal and epistemic knowledge?

Recently I read all kinds of work from logic scientists in which epistemic logic was the main topic. Where epistmic change refers to change in knowledge of some agent in a multi-agent system (in a non-...
96 views

### Does everything have at least one rigid designator?

Put antother way Proposition 1: for anything that exists in this world I can find/construct, even if just by assertion, a rigid designator that applies to it. Proposition 2: like proposition 1 but ...
445 views

### How can I tell when a term is a rigid designator?

Basically the title question: How can I tell if a term is a rigid designator? So far all I have is that proper names are (or can be, since there is a difference between "being named Barack Obama" ...
493 views

### How does Kripke lay out the epistemic argument?

The epistemic argument against descriptivism, as laid out by the Stanford Encyclopedia of Philosophy states: Kripke's epistemic argument (1980, 78; 87) is closely related, but trades on epistemic,...
1k views

### How is Saul Kripke said to have revive metaphysics again?

How is Saul Kripke said to have revive metaphysics in analytic philosophy tradition again?
575 views

### 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 ...
3k views

### 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 ...
290 views

### 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? ...
467 views

### 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 ...