Questions tagged [kripke]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3
votes
1answer
55 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 ...
2
votes
0answers
40 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 ...
3
votes
0answers
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 ...
1
vote
1answer
71 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 ...
2
votes
2answers
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
3
votes
1answer
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 ...
2
votes
1answer
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 ...
3
votes
1answer
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 ...
3
votes
0answers
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 ...
8
votes
3answers
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 ...
2
votes
1answer
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 ...
1
vote
0answers
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'...
6
votes
1answer
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. ...
2
votes
1answer
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 ...
3
votes
1answer
262 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 ...
2
votes
1answer
413 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 '...
7
votes
1answer
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 ...
7
votes
1answer
329 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 ...
5
votes
3answers
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 ...
4
votes
1answer
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-...
1
vote
1answer
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 ...
1
vote
1answer
443 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" ...
4
votes
1answer
492 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,...
10
votes
3answers
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?
5
votes
3answers
573 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 ...
28
votes
3answers
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 ...
9
votes
2answers
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? ...
11
votes
2answers
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 ...
7
votes
1answer
390 views

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 ...
4
votes
1answer
732 views

A priori - knowledge that must be independent of experience?

In "Naming and Necessity" Kripke talks a lot about the notion of a priori. At one point (quoted below) he mentions that some philosophers changed the "can" in the definition of a priori knowledge to ...