Tag: kripke

31 How is Gödel's incompleteness theorem interpreted in intuitionistic logic? 2013-06-07T16:30:20.380

11 Is "Mickey Mouse" a rigid designator? 2013-05-09T14:14:35.193

11 How is Saul Kripke said to have revive metaphysics again? 2014-09-14T07:10:36.543

9 what are the limits of rigid designation? 2013-05-10T14:26:17.360

8 What are the relations between externalism (Kripke, Putnam) and holism (Quine) about meaning? 2017-03-06T12:57:29.803

7 Is this sentence contingent or necessary true? A priori or a posteriori? 2013-05-06T13:25:05.590

7 What does disposition mean in dispositional theory of meaning? 2015-07-25T09:27:27.650

7 How do Kripke's rigid designators and the necessity of identity relate to the Duhem-Quine thesis? 2016-02-29T18:17:54.833

7 Kripke's Solution to Negative Existentials 2016-06-18T21:15:33.750

5 What are the semantics for dual-intuitionistic logic? 2013-06-25T00:16:55.597

5 Are there possible worlds that differ only in the assignment of rigid designators? 2015-06-22T13:55:55.033

4 A priori - knowledge that must be independent of experience? 2013-03-20T08:57:57.727

4 How does Kripke lay out the epistemic argument? 2015-02-16T12:49:56.953

4 What is the connection between temporal and epistemic knowledge? 2015-06-21T00:14:45.950

4 A possible formal failure made by Kripke? 2020-07-28T04:10:38.833

3 What responses have made to Kripke's criticism of the descriptivist theory of meaning? 2016-04-14T01:09:34.827

3 What is the relationship between Kripke's rigid designators and scientific realism? 2016-04-14T21:23:00.473

3 Kripke's Puzzle Confusion 2017-10-18T06:04:14.823

3 How to valuate (assign truth values to) a formula in modal logic (Kripke model) 2017-11-25T00:57:17.120

3 Measurement units and metaphysical necessity 2019-01-09T00:49:47.070

2 Can meaning indeterminately be said to be indeterminate? 2016-04-19T01:10:40.813

2 Could Napoleon have been born to different parents? 2017-03-01T09:29:32.747

2 How to translate classical logic to basic Kripkean logic? 2018-10-18T09:44:34.317

2 Prove or disprove ~◇◻p → ◇◇~p in system K 2019-02-16T14:29:54.083

2 A Problem With Kripke's Rule-Following Paradox Example? 2019-03-14T00:27:35.837

2 De Re, Counterfactuals, and rigidity 2019-05-30T18:53:21.923

2 Can a Rigid Designator still exist if there is only one possible world? 2019-06-11T04:02:39.407

2 What is the Barcan Formula? 2019-06-12T04:12:49.593

1 How can I tell when a term is a rigid designator? 2015-06-17T17:01:11.223

1 Does everything have at least one rigid designator? 2015-06-19T15:01:34.347

1 The scope of Analytic discussion about sentences 2016-10-24T09:45:20.073

1 Does Kripke hold a view of free logic? 2020-02-01T11:13:30.977

1 On Searle's _Proper Names_ (1958) 2020-11-09T02:01:42.467

0 On reading Kripke 2020-03-01T17:42:37.373