- Unity, truth and the liar: the modern relevance of medieval solutions to the liar paradox.Shahid Rahman, Tero Tulenheimo & Emmanuel Genot (eds.) - 2008 - New York: Springer.details
|
|
Platonism, phenomenology, and interderivability.Guillermo E. Rosado Haddock - 2010 - In Mirja Hartimo (ed.), Phenomenology and mathematics. London: Springer. pp. 23--46.details
|
|
Frege's Theory of Sense and Reference: Some Exegetical Notes.Saul A. Kripke - 2008 - Theoria 74 (3):181-218.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
The Logic of Sortals: A Conceptualist Approach.Max A. Freund - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Consistency, mechanicalness, and the logic of the mind.Qiuen Yu - 1992 - Synthese 90 (1):145-79.details
|
|
The Logic and Meaning of Plurals. Part I.Byeong-Uk Yi - 2005 - Journal of Philosophical Logic 34 (5-6):459-506.details
|
|
Two syllogisms in the mozi: Chinese logic and language.Byeong-uk Yi - 2019 - Review of Symbolic Logic 12 (3):589-606.details
|
|
Partitions and conditionals.Peter W. Woodruff - 1999 - Journal of Philosophical Logic 28 (2):113-128.details
|
|
What is Formal in Formal Semantics?Jan Woleński - 2004 - Dialectica 58 (3):427-436.details
|
|
The «One over Many» Argument for Propositions.Esteban Withrington - 2023 - Contrastes: Revista Internacional de Filosofía 28 (1):61-79.details
|
|
On some Alleged Decision Procedures for S4.Hanson Willam H. - 1966 - Journal of Symbolic Logic 31 (4):641-643.details
|
|
On The Structure of Rational Acceptance: Comments on Hawthorne and Bovens.Gregory R. Wheeler - 2005 - Synthese 144 (2):287-304.details
|
|
Reading proofs with understanding.George Weaver - 1988 - Theoria 54 (1):31-47.details
|
|
A Strong Completeness Theorem for Pragmatics.Daniel Vanderveken - 1981 - Mathematical Logic Quarterly 27 (8‐10):151-160.details
|
|
A Strong Completeness Theorem for Pragmatics.Daniel Vanderveken - 1981 - Mathematical Logic Quarterly 27 (8-10):151-160.details
|
|
reputation among logicians as being essentially trivial. I hope to convince the reader that it presents some of the most challenging and intriguing problems in modern logic. Although the problem of the complexity of propositional proofs is very natural, it has been investigated systematically only since the late 1960s. [REVIEW]Alasdair Urquhart - 1995 - Bulletin of Symbolic Logic 1 (4):425-467.details
|
|
The complexity of propositional proofs.Alasdair Urquhart - 1995 - Bulletin of Symbolic Logic 1 (4):425-467.details
|
|
Constructions.Pavel Tichy - 1986 - Philosophy of Science 53 (4):514-534.details
|
|
First‐order logics over fixed domain.R. Gregory Taylor - 2022 - Theoria 88 (3):584-606.details
|
|
On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.details
|
|
Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski.Alfred Tarski & Hourya Sinaceur - 2000 - Bulletin of Symbolic Logic 6 (1):1-44.details
|
|
Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski. [REVIEW]Alfred Tarski & Hourya Sinaceur - 2000 - Bulletin of Symbolic Logic 6 (1):1-44.details
|
|
The importance of nonexistent objects and of intensionality in mathematics.Richard Sylvan - 2003 - Philosophia Mathematica 11 (1):20-52.details
|
|
Model theory and validity.Yannis Stephanou - 2000 - Synthese 123 (2):165-193.details
|
|
From Russell's Paradox to the Theory of Judgement: Wittgenstein and Russell on the Unity of the Proposition.Graham Stevens - 2004 - Theoria 70 (1):28-61.details
|
|
An Argument for Existentialism.Yannis Stephanou - 2020 - Acta Analytica 35 (4):507-520.details
|
|
Rejection.Timothy Smiley - 1996 - Analysis 56 (1):1–9.details
|
|
An algebraic characterization of indistinguishable cardinals.A. B. Slomson - 1970 - Journal of Symbolic Logic 35 (1):97-104.details
|
|
Second-order languages and mathematical practice.Stewart Shapiro - 1985 - Journal of Symbolic Logic 50 (3):714-742.details
|
|
Reasoning, logic and computation.Stewart Shapiro - 1995 - Philosophia Mathematica 3 (1):31-51.details
|
|
Logic, ontology, mathematical practice.Stewart Shapiro - 1989 - Synthese 79 (1):13 - 50.details
|
|
Jeux dialogiques et processus discursif. Conséquences du débat entre Habermas et Brandom.Yaël Sebban - 2020 - Dialogue 59 (2):305-344.details
|
|
O comprometimento da identidade com a individuação nas teorias formais clássicas.Jaison Schinaider - 2015 - Filosofia Unisinos 16 (1).details
|
|
Approaches to reduction.Kenneth F. Schaffner - 1967 - Philosophy of Science 34 (2):137-147.details
|
|
“The boundless ocean of unlimited possibilities”: Logic in carnap'slogical syntax of language. [REVIEW]Sahotra Sarkar - 1992 - Synthese 93 (1-2):191 - 237.details
|
|
Relevantism, Material Detachment, and the Disjunctive Syllogism Argument.R. Routley - 1984 - Canadian Journal of Philosophy 14 (2):167 - 188.details
|
|
Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.details
|
|
Quantified Temporal Alethic Boulesic Doxastic Logic.Daniel Rönnedal - 2021 - Logica Universalis 15 (1):1-65.details
|
|
Doxastic logic: a new approach.Daniel Rönnedal - 2018 - Journal of Applied Non-Classical Logics 28 (4):313-347.details
|
|
Remarques à propos d’une récente Introduction à la logique.François Rivenc - 1999 - Dialogue 38 (2):369-.details
|
|
How to Derive Aristotle’s Categories from First Principles.Karl Reed & Humphrey P. van Polanen Petel - 2021 - Axiomathes 32 (Suppl 2):113-147.details
|
|
Harmony and autonomy in classical logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.details
|
|
Disagreement and Conceptual Understanding.Gurpreet Rattan - 2018 - Theoria 84 (2):179-210.details
|
|
Descriptions which have grown capital letters.Brian Rabern - 2015 - Mind and Language 30 (3):292-319.details
|
|