- Empiricism, Semantics, and Ontology.Rudolf Carnap - 2011 - In Robert B. Talisse & Scott F. Aikin (eds.), The Pragmatism Reader: From Peirce Through the Present. Princeton University Press. pp. 249-264.details
|
|
On IF Modal Logic and its Expressive Power.Tero Tulenheimo - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 475-498.details
|
|
Incompleteness, non locality and realism. A prolegomenon to the philosophy of quantum mechanics.Michael Redhead - 1987 - Revue Philosophique de la France Et de l'Etranger 180 (4):712-713.details
|
|
Frege: Philosophy of Mathematics.Michael DUMMETT - 1991 - Philosophy 68 (265):405-411.details
|
|
A Course in Mathematical Logic.J. L. Bell & M. Machover - 1978 - British Journal for the Philosophy of Science 29 (2):207-208.details
|
|
Proof and Truth.Stewart Shapiro - 1998 - Journal of Philosophy 95 (10):493-521.details
|
|
Intuitionistic Logic As Epistemic Logic.Jaakko Hintikka - 2001 - Synthese 127 (1-2):7-19.details
|
|
Possibility of Metaphysics: Substance, Identity, and Time.E. J. Lowe - 1998 - Oxford, GB: Oxford University Press UK.details
|
|
General Theory of Natural Equivalences.Saunders MacLane & Samuel Eilenberg - 1945 - Transactions of the American Mathematical Society:231-294.details
|
|
Representation and Invariance of Scientific Structures.Patrick Suppes - 2002 - CSLI Publications (distributed by Chicago University Press).details
|
|
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.details
|
|
Über den Begriff der Logischen Folgerung.Alfred Tarski - 1937 - Journal of Symbolic Logic 2 (2):83-84.details
|
|
On the semantics of informational independence.Jouko Väänänen - 2002 - Logic Journal of the IGPL 10 (3):339-352.details
|
|
Partiality and games: propositional logic.G. Sandu & A. Pietarinen - 2001 - Logic Journal of the IGPL 9 (1):101-121.details
|
|
Modal logic and classical logic.Johan van Benthem - 1983 - Atlantic Highlands, N.J.: Distributed in the U.S.A. by Humanities Press.details
|
|
Epistemic logic; language and concepts.R. Girle - 1973 - Logique Et Analyse 63 (63):64.details
|
|
IF and Epistemic Action Logic.Manuel Rebuschi - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 261--281.details
|
|
Trois philosophes intuitionnistes: Epicure, Descartes et Kant.Jules Vuillemin - 1981 - Dialectica 35 (1):21-41.details
|
|
Knowledge Acknowledged.Jaakko Hintikka - 1996 - Philosophy and Phenomenological Research 56 (2):251-275.details
|
|
Conjunction and Contonktion Revisited.A. Prior - 1964 - Analysis 24 (6):191 - 195.details
|
|
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the philosophy of mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 138--157.details
|
|
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.details
|
|
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
The logical syntax of language.Rudolf Carnap - 1937 - London,: K. Paul, Trench, Trubner & co.. Edited by Amethe Smeaton.details
|
|
Is There a Problem About Substitutional Quantification?Saul A. Kripke - 1976 - In Gareth Evans & John Henry McDowell (eds.), Truth and meaning: essays in semantics. Oxford [Eng.]: Clarendon Press. pp. 324-419.details
|
|
Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.details
|
|
Realism, Mathematics & Modality.Hartry H. Field - 1989 - New York, NY, USA: Blackwell.details
|
|
Knowledge of Language: Its Nature, Origin, and Use.Noam Chomsky - 1986 - Prager. Edited by Darragh Byrne & Max Kölbel.details
|
|
Mathematics Without Numbers: Towards a Modal-Structural Interpretation.Geoffrey Hellman - 1989 - Oxford, England: Oxford University Press.details
|
|
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.details
|
|
Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details
|
|
The ways of paradox, and other essays.Willard Van Orman Quine (ed.) - 1976 - Cambridge: Harvard University Press.details
|
|
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.) - 1965 - Hewlett, NY, USA: Dover Publication.details
|
|
Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.details
|
|
Thinking about mathematics: the philosophy of mathematics.Stewart Shapiro - 2000 - New York: Oxford University Press.details
|
|
The taming of the true.Neil Tennant - 1997 - New York: Oxford University Press.details
|
|
The principles of mathematics revisited.Jaakko Hintikka - 1996 - New York: Cambridge University Press.details
|
|
An introduction to the philosophy of science.Rudolf Carnap - 1974 - New York: Dover Publications. Edited by Martin Gardner.details
|
|
Thinking about logic: an introduction to the philosophy of logic.Stephen Read - 1994 - New York: Oxford University Press.details
|
|
Frege.Michael Dummett - 1973 - Cambridge: Harvard University Press.details
|
|
Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge: MIT Press.details
|
|
From stimulus to science.Willard Van Orman Quine - 1997 - Cambridge: Harvard University Press.details
|
|
Philosophy of logic.Willard Van Orman Quine - 1970 - Cambridge: Harvard University Press. Edited by Simon Blackburn & Keith Simmons.details
|
|
Meaning and inference.Jaroslav Peregrin - 2003 - In Timothy Childers & Ondrej Majer (eds.), Logica Yearbook 2002. Filosofia.details
|
|
Intuitionistic logic as epistemic logic.Jaakko Hintikka - 2001 - Synthese 127 (1-2):7 - 19.details
|
|
Category theory and concrete universals.David P. Ellerman - 1988 - Erkenntnis 28 (3):409 - 429.details
|
|
From absolute to local mathematics.J. L. Bell - 1986 - Synthese 69 (3):409 - 426.details
|
|
Structural relativity.Michael Resnik - 1996 - Philosophia Mathematica 4 (2):83-99.details
|
|
Ontological relativity.W. V. O. Quine - 1968 - Journal of Philosophy 65 (7):185-212.details
|
|