Switch to: Citations

Add references

You must login to add references.
  1. (4 other versions)Tractatus Logico-Philosophicus (trans. Pears and McGuinness).Ludwig Wittgenstein - 1921 - New York,: Routledge. Edited by Luciano Bazzocchi & P. M. S. Hacker.
    Perhaps the most important work of philosophy written in the twentieth century, the Tractatus Logico-Philosophicus first appeared in 1921 and was the only philosophical work that Ludwig Wittgenstein (1889-1951) published during his lifetime. Written in short, carefully numbered paragraphs of extreme compression and brilliance, it immediately convinced many of its readers and captivated the imagination of all. Its chief influence, at first, was on the Logical Positivists of the 1920s and 30s, but many other philosophers were stimulated by its philosophy (...)
    Download  
     
    Export citation  
     
    Bookmark   565 citations  
  • Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
    But Findlay's remark, like so much that has been written on the subject of time in the present century, was provoked in the first place by McTaggart's ...
    Download  
     
    Export citation  
     
    Bookmark   446 citations  
  • (2 other versions)Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
    Download  
     
    Export citation  
     
    Bookmark   454 citations  
  • Formal Philosophy: Selected Papers of Richard Montague.Richard Montague - 1974 - New Haven,: Yale University Press.
    Download  
     
    Export citation  
     
    Bookmark   235 citations  
  • Time and modality.Arthur N. Prior - 1957 - London: Oxford University Press.
    The John Locke Lectures for 1955-6 delivered at the University of Oxford.
    Download  
     
    Export citation  
     
    Bookmark   165 citations  
  • (1 other version)A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
    Download  
     
    Export citation  
     
    Bookmark   278 citations  
  • (1 other version)Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
    Download  
     
    Export citation  
     
    Bookmark   282 citations  
  • Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
    Download  
     
    Export citation  
     
    Bookmark   375 citations  
  • Formal Logic.Arthur N. Prior & Norman Prior - 1955 - Oxford,: Oxford University Press.
    This book was designed primarily as a textbook; though the author hopes that it will prove to be of interests to others beside logic students. Part I of this book covers the fundamentals of the subject the propositional calculus and the theory of quantification. Part II deals with the traditional formal logic and with the developments which have taken that as their starting-point. Part III deals with modal, three-valued, and extensional systems.
    Download  
     
    Export citation  
     
    Bookmark   89 citations  
  • Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
    Download  
     
    Export citation  
     
    Bookmark   213 citations  
  • (1 other version)Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.
    Download  
     
    Export citation  
     
    Bookmark   155 citations  
  • (5 other versions)Grundzüge der theoretischen logik.David Hilbert - 1928 - Berlin,: G. Springer. Edited by Wilhelm Ackermann.
    Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der fonnalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet fUr die Logik eine ahnliche Fonnel­ sprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebrauchlich ist. In der Mathematik wurde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewohnlichen Sprache bedienen. Die groBen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum (...)
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • Provability in logic.Stig Kanger - 1957 - Stockholm,: Almqvist & Wiksell.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Deontic logic: introductory and systematic readings.Risto Hilpinen (ed.) - 1970 - Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston.
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  • (1 other version)A functional calculus of first order based on strict implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (1):1-16.
    Download  
     
    Export citation  
     
    Bookmark   78 citations  
  • (1 other version)Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi.Saul A. Kripke - 1965 - In J. W. Addison (ed.), The theory of models. Amsterdam,: North-Holland Pub. Co.. pp. 206-20.
    Download  
     
    Export citation  
     
    Bookmark   84 citations  
  • (1 other version)Modalities and quantification.Rudolf Carnap - 1946 - Journal of Symbolic Logic 11 (2):33-64.
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  • (3 other versions)Formal Philosophy: Selected Papers of Richard Montague.Richmond H. Thomason & Richard Montague - 1976 - Foundations of Language 14 (3):413-418.
    Download  
     
    Export citation  
     
    Bookmark   90 citations  
  • The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.
    This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913-1921; Feys, 1924; McKinsey, 1945; Carnap, 1945-1947; McKinsey, Tarski and Jónsson, 1947-1952; von Wright, 1951; Becker, 1952; Prior, 1953-1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955-1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958-1959; Drake, 1959-1961; Kripke, 1958-1965.
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • (1 other version)Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi.Saul A. Kripke - 1966 - Journal of Symbolic Logic 31 (1):120-122.
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • New foundations for ethical theory.Stig Kanger - 1970 - In Risto Hilpinen (ed.), Deontic logic: introductory and systematic readings. Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston. pp. 36--58.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Modality and quantification in S5.A. N. Prior - 1956 - Journal of Symbolic Logic 21 (1):60-62.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • (1 other version)Logical necessity, physical necessity, ethics, and quantifiers.Richard Montague - 1960 - Inquiry: An Interdisciplinary Journal of Philosophy 3 (1-4):259 – 269.
    Some philosophers, for example Quine, doubt the possibility of jointly using modalities and quantification. Simple model-theoretic considerations, however, lead to a reconciliation of quantifiers with such modal concepts as logical, physical, and ethical necessity, and suggest a general class of modalities of which these are instances. A simple axiom system, analogous to the Lewis systems S1 —S5, is considered in connection with this class of modalities. The system proves to be complete, and its class of theorems decidable.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • (1 other version)Three-valued logic and future contingents.A. N. Prior - 1953 - Philosophical Quarterly 3 (13):317-326.
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • On Closed Elements in Closure Algebras.J. C. C. Mckinsey & Alfred Tarski - 1946 - Annals of Mathematics, Ser. 2 47:122-162.
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  • Interpreting quantification.Ruth Barcan Marcus - 1962 - Inquiry: An Interdisciplinary Journal of Philosophy 5 (1-4):252 – 259.
    Alternative readings of quantification are considered. The absence of an unequivocal translation into ordinary speech is noted. Some examples are cited which, in the opinion of the author, are a result of equivocal readings of quantification, or unnecessarily restrictive readings which obscure its primary function.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • The Morning Star Paradox.Stig Kanger - 1957 - Theoria 23 (1):1-11.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Boolean Algebras with Operators.Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (1):70-71.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • (1 other version)Logical Necessity, Physical Necessity, Ethics, and Quantifiers.Richard Montague - 1967 - Journal of Symbolic Logic 32 (3):400-401.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • A. N. prior's rediscovery of tense logic.Peter Øhrstrøm & Per Hasle - 1993 - Erkenntnis 39 (1):23 - 50.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • The Syntax of Time-Distinctions.A. N. Prior - 1958 - Franciscan Studies 18 (2):105-120.
    Download  
     
    Export citation  
     
    Bookmark   19 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  
  • Possible worlds.A. N. Prior - 1962 - Philosophical Quarterly 12 (46):36-43.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • (1 other version)Tense-logic and the continuity of time.A. N. Prior - 1962 - Studia Logica 13 (1):133 - 151.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Benton, RA, 527 Blackburn, P., 281 Braüner, T., 359 Brink, C., 543.S. Chopra, B. J. Copeland, E. Corazza, S. Donaho, F. Ferreira, H. Field, D. M. Gabbay, L. Goldstein, J. Heidema & M. J. Hill - 2002 - Journal of Philosophical Logic 31 (615).
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Calculi of Pure Strict Implication.E. J. Lemon, C. A. Meredith, D. Meredith, A. N. Prior & I. Thomas - 1958 - Studia Logica 8:331-333.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Correction de la logique modale du premier et du second ordre S5.Arnould Bayart - 1958 - Logique Et Analyse 1 (1):28-45.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (1 other version)Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5 [Quasi-completeness of second-order S5 modal logic and completeness of first-order S5 modal logic].Arnould Bayart - 1959 - Logique Et Analyse 2 (6):99-121.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (1 other version)A note on partial postulate sets for propositional logic.Stig Kanger - 1955 - Theoria 21 (2-3):99-104.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Logicians at play; or syll, simp and Hilbert.A. N. Prior - 1956 - Australasian Journal of Philosophy 34 (3):182 – 192.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • In memoriam: Carew Arthur Meredith (1904--1976).David Meredith - 1977 - Notre Dame Journal of Formal Logic 18 (4):513-516.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Philosophical logic.J. W. Davis (ed.) - 1969 - Dordrecht,: D. Reidel.
    The purpose of this brief introduction is to describe the origin of the papers here presented and to acknowledge the help of some of the many individuals who were involved in the preparation of this volume. Of the eighteen papers, nine stem from the annual fall colloquium of the Depart ment of Philosophy at the University of Western Ontario held in London, Ontario from November 10 to November 12, 1967. The colloquium was entitled 'Philosophical Logic'. After some discussion, the editors (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Two-Valued Truth Tables for Modal Functions.Henry S. Leonard - 1951 - Journal of Symbolic Logic 16 (4):288-288.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)A Note on Partial Postulate Sets for Propositional Logic.Stig Kanger - 1957 - Journal of Symbolic Logic 22 (3):330-331.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On an Extended System of the Propositional Calculus.Carew Meredith - 1951 - Proceedings of the Royal Irish Academy 54:37-47.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Stig Kanger. The Morning Star Paradox. Theoria (Lund), vol. 23 (1957), pp. 1–11. - Stig Kanger. A note on quantification and modalities. Theoria (Lund), vol. 23 (1957), pp. 133–134. [REVIEW]Stig Kanger - 1969 - Journal of Symbolic Logic 34 (2):305-306.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Jaakko K. Hintikka J.. Quantifiers in deontic logic. Societas Scientiarum Fennica, Commentationes humanarum-litterarum, vol. 23 no. 4, Helsingfors 1957, 23 pp. [REVIEW]E. J. Lemmon - 1959 - Journal of Symbolic Logic 24 (2):178-179.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Stig Kanger. The Morning Star Paradox. Theoria (Lund), vol. 23 (1957), pp. 1–11. - Stig Kanger. A note on quantification and modalities. Theoria (Lund), vol. 23 (1957), pp. 133–134. [REVIEW]Jaakko Hintikka - 1969 - Journal of Symbolic Logic 34 (2):305-306.
    Download  
     
    Export citation  
     
    Bookmark   3 citations