Switch to: Citations

References in:

Two-dimensional adventures

Philosophical Studies 118 (1-2):17--65 (2004)

Add references

You must login to add references.
  1. From Metaphysics to Ethics: A Defence of Conceptual Analysis.Frank Jackson - 1999 - Philosophical Quarterly 49 (197):539-542.
    Download  
     
    Export citation  
     
    Bookmark   794 citations  
  • Assertion.Robert Stalnaker - 2013 - In Maite Ezcurdia & Robert J. Stainton (eds.), The Semantics-Pragmatics Boundary in Philosophy. Peterborough, CA: Broadview Press. pp. 179.
    Download  
     
    Export citation  
     
    Bookmark   625 citations  
  • Assertion.Robert Stalnaker - 1978 - Syntax and Semantics (New York Academic Press) 9:315-332.
    Download  
     
    Export citation  
     
    Bookmark   690 citations  
  • The contingent a priori and rigid designators.Keith S. Donnellan - 1977 - Midwest Studies in Philosophy 2 (1):12-27.
    Download  
     
    Export citation  
     
    Bookmark   118 citations  
  • Demonstratives: An Essay on the Semantics, Logic, Metaphysics and Epistemology of Demonstratives and other Indexicals.David Kaplan - 1989 - In Joseph Almog, John Perry & Howard Wettstein (eds.), Themes From Kaplan. New York: Oxford University Press. pp. 481-563.
    Download  
     
    Export citation  
     
    Bookmark   1684 citations  
  • Formal Philosophy: Selected Papers of Richard Montague.Richard Montague - 1974 - New Haven,: Yale University Press.
    Download  
     
    Export citation  
     
    Bookmark   224 citations  
  • Two notions of necessity.Martin Davies & Lloyd Humberstone - 1980 - Philosophical Studies 38 (1):1-31.
    Download  
     
    Export citation  
     
    Bookmark   250 citations  
  • Logical and analytic truths that are not necessary.Edward N. Zalta - 1988 - Journal of Philosophy 85 (2):57-74.
    The author describes an interpreted modal language and produces some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Semantics for relevant logics.Alasdair Urquhart - 1972 - Journal of Symbolic Logic 37 (1):159-169.
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • Rejection.Timothy Smiley - 1996 - Analysis 56 (1):1–9.
    Download  
     
    Export citation  
     
    Bookmark   124 citations  
  • Two-dimensional modal logic.Krister Segerberg - 1973 - Journal of Philosophical Logic 2 (1):77 - 96.
    Download  
     
    Export citation  
     
    Bookmark   120 citations  
  • What is a logical constant?Christopher Peacocke - 1976 - Journal of Philosophy 73 (9):221-240.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • On the logic of demonstratives.David Kaplan - 1979 - Journal of Philosophical Logic 8 (1):81 - 98.
    Download  
     
    Export citation  
     
    Bookmark   207 citations  
  • On modal logics which enrich first-order S5.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (4):423 - 454.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • Axioms for actuality.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (1):27 - 34.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Protoalgebraic Gentzen systems and the cut rule.Àngel J. Gil & Jordi Rebagliato - 2000 - Studia Logica 65 (1):53-89.
    In this paper we show that, in Gentzen systems, there is a close relation between two of the main characters in algebraic logic and proof theory respectively: protoalgebraicity and the cut rule. We give certain conditions under which a Gentzen system is protoalgebraic if and only if it possesses the cut rule. To obtain this equivalence, we limit our discussion to what we call regular sequent calculi, which are those comprising some of the structural rules and some logical rules, in (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
    Download  
     
    Export citation  
     
    Bookmark   111 citations  
  • From Metaphysics to Ethics: A Defence of Conceptual Analysis.Frank Jackson - 1998 - New York: Oxford University Press.
    Frank Jackson champions the cause of conceptual analysis as central to philosophical inquiry. In recent years conceptual analysis has been undervalued and widely misunderstood, suggests Jackson. He argues that such analysis is mistakenly clouded in mystery, preventing a whole range of important questions from being productively addressed. He anchors his argument in discussions of specific philosophical issues, starting with the metaphysical doctrine of physicalism and moving on, via free will, meaning, personal identity, motion, and change, to ethics and the philosophy (...)
    Download  
     
    Export citation  
     
    Bookmark   1068 citations  
  • Counterfactuals.David Lewis - 1973 - Tijdschrift Voor Filosofie 36 (3):602-605.
    Download  
     
    Export citation  
     
    Bookmark   1316 citations  
  • Counterfactuals.David Lewis - 1973 - Philosophy of Science 42 (3):341-344.
    Download  
     
    Export citation  
     
    Bookmark   1142 citations  
  • Quantified Modal Logic and the Plural De Re.Phillip Bricker - 1989 - Midwest Studies in Philosophy 14 (1):372-394.
    Modal sentences of the form "every F might be G" and "some F must be G" have a threefold ambiguity. in addition to the familiar readings "de dicto" and "de re", there is a third reading on which they are examples of the "plural de re": they attribute a modal property to the F's plurally in a way that cannot in general be reduced to an attribution of modal properties to the individual F's. The plural "de re" readings of modal (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Languages of possibility: an essay in philosophical logic.Graeme Forbes - 1989 - New York, NY, USA: Blackwell.
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  • Modality, mood, and descriptions.Kai F. Wehmeier - 2005 - In Reinhard Kahle (ed.), Intensionality: An Interdisciplinary Discussion. AK Peters.
    §1. Introduction. By means of what semantic features is a proper name tied to its bearer? This is a puzzling question indeed: proper names — like “Aristotle” or “Paris” — are syntactically simple, and it therefore does not seem possible to reduce their meanings, by means of a principle of compositionality, to the meanings of more basic, and hence perhaps more tractable, linguistic elements.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Three theorems of metaphysics.Leslie Tharp - 1989 - Synthese 81 (2):207 - 214.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Against modalism.Joseph Melia - 1992 - Philosophical Studies 68 (1):35 - 56.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • An axiomatic version of positive semilattice relevance logic.G. Charlwood - 1981 - Journal of Symbolic Logic 46 (2):233-239.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Iterated attitudes. Commentary.Timothy Williamson & D. Edgington - 1969 - In J. W. Davis (ed.), Philosophical logic. Dordrecht,: D. Reidel. pp. 85-158.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Minimal Non-contingency Logic.Steven T. Kuhn - 1995 - Notre Dame Journal of Formal Logic 36 (2):230-234.
    Simple finite axiomatizations are given for versions of the modal logics K and K4 with non-contingency (or contingency) as the sole modal primitive. This answers two questions of I. L. Humberstone.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Modal logic with functorial variables and a contingent constant.C. A. Meredith & A. N. Prior - 1965 - Notre Dame Journal of Formal Logic 6 (2):99-109.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Entailment is not strict implication.Robert K. Meyer - 1974 - Australasian Journal of Philosophy 52 (3):212 – 231.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • A note on the tense logic of dominoes.Yde Venema - 1992 - Journal of Philosophical Logic 21 (2):173 - 182.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Actually.Roger Teichmann - 1990 - Analysis 50 (1):16 - 19.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Relative necessity.Timothy Smiley - 1963 - Journal of Symbolic Logic 28 (2):113-134.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Relative Necessity.Timothy Smiley & T. J. Smiley - 1967 - Journal of Symbolic Logic 32 (3):401-401.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Actual truth, possible knowledge.Wlodek Rabinowicz & Krister Segerberg - 1994 - Topoi 13 (2):101-115.
    The well-known argument of Frederick Fitch, purporting to show that verificationism (= Truth implies knowability) entails the absurd conclusion that all the truths are known, has been disarmed by Dorothy Edgington''s suggestion that the proper formulation of verificationism presupposes that we make use of anactuality operator along with the standardly invoked epistemic and modal operators. According to her interpretation of verificationism, the actual truth of a proposition implies that it could be known in some possible situation that the proposition holds (...)
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Which Modal Logic Is the Right One?John P. Burgess - 1999 - Notre Dame Journal of Formal Logic 40 (1):81-93.
    The question, "Which modal logic is the right one for logical necessity?," divides into two questions, one about model-theoretic validity, the other about proof-theoretic demonstrability. The arguments of Halldén and others that the right validity argument is S5, and the right demonstrability logic includes S4, are reviewed, and certain common objections are argued to be fallacious. A new argument, based on work of Supecki and Bryll, is presented for the claim that the right demonstrability logic must be contained in S5, (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Tharp's third theorem.D. Lewis - 2002 - Analysis 62 (2):95-97.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Is There Only One Correct System of Modal Logic?E. J. Lemmon & G. P. Henderson - 1959 - Aristotelian Society Supplementary Volume 33 (1):23-56.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • The Domino relation: Flattening a two-dimensional logic. [REVIEW]Steven Kuhn - 1989 - Journal of Philosophical Logic 18 (2):173 - 195.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • One dimension in PS and PSI.Ivo Thomas - 1976 - Notre Dame Journal of Formal Logic 17 (3):421-423.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Expressive completeness in modal language.Allen Hazen - 1976 - Journal of Philosophical Logic 5 (1):25--46.
    The logics of the modal operators and of the quantifiers show striking analogies. The analogies are so extensive that, when a special class of entities (possible worlds) is postulated, natural and non-arbitrary translation procedures can be defined from the language with the modal operators into a purely quantificational one, under which the necessity and possibility operators translate into universal and existential quantifiers. In view of this I would be willing to classify the modal operators as ‘disguised’ quantifiers, and I think (...)
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • Actuality and quantification.Allen Hazen - 1990 - Notre Dame Journal of Formal Logic 31 (4):498-508.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Melia on modalism.Graeme Forbes - 1992 - Philosophical Studies 68 (1):57 - 63.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Meaning, quantification, necessity: themes in philosophical logic.Martin Davies - 1981 - Boston: Routledge & Kegan Paul.
    Download  
     
    Export citation  
     
    Bookmark   134 citations  
  • Necessary truth and a priori truth.David Bostock - 1988 - Mind 97 (387):343-379.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Presupposition and two-dimensional logic.Merrie Bergmann - 1981 - Journal of Philosophical Logic 10 (1):27 - 53.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Implication Systems For Many-dimensional Logics.Alexej Pynko - 1999 - Reports on Mathematical Logic:11-27.
    The main result of the present paper is equivalence of the following conditions, for any k-dimensional logic L : L has a full-replacement implication system, i.e., a finite set of k-dimensional formulas with 2k variables that in a natural way adopts the Identity axiom and the Modus Ponens rule for the ordinary implication connective; L has an unary-replacement implication system, i.e., a finite set of k-dimensional formulas with k+1 variables that in a different way adopts the Identity axiom and the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Entities and Indices.M. J. Cresswell - 1992 - Studia Logica 51 (2):338-339.
    Download  
     
    Export citation  
     
    Bookmark   99 citations  
  • Logical and Analytic Truths that are not Necessary.Edward N. Zalta - 1988 - Journal of Philosophy 85 (2):57-74.
    After defining a standard modal language and semantics, we offer some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Handling Inconsistencies in Multi-Dimensional Logics.I. Max - 1998 - Logique Et Analyse 41:67-93.
    Download  
     
    Export citation  
     
    Bookmark   1 citation