- Demarcation, Definition, Art.Thomas Adajian - 2013 - In An Anthology of Philosophical Studies - Volume 7. Athens: pp. 177-188.details
|
|
On reduction rules, meaning-as-use, and proof-theoretic semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211-247.details
|
|
Hypersequent and Display Calculi – a Unified Perspective.Agata Ciabattoni, Revantha Ramanayake & Heinrich Wansing - 2014 - Studia Logica 102 (6):1245-1294.details
|
|
On the Logical Philosophy of Assertive Graphs.Daniele Chiffi & Ahti-Veikko Pietarinen - 2020 - Journal of Logic, Language and Information 29 (4):375-397.details
|
|
An Expressivist Bilateral Meaning-is-Use Analysis of Classical Propositional Logic.John Cantwell - 2015 - Journal of Logic, Language and Information 24 (1):27-51.details
|
|
Logical Constants: A Modalist Approach 1.Otávio Bueno & Scott A. Shalkowski - 2013 - Noûs 47 (1):1-24.details
|
|
Philosophical Accounts of First-Order Logical Truths.Constantin C. Brîncuş - 2019 - Acta Analytica 34 (3):369-383.details
|
|
Compositionality Solves Carnap’s Problem.Denis Bonnay & Dag Westerståhl - 2016 - Erkenntnis 81 (4):721-739.details
|
|
Closing the circle: how Harvey and his contemporaries played the game of truth, part 1.Don Bates - 1998 - History of Science 36 (2):213-232.details
|
|
What is the Meaning of Proofs?: A Fregean Distinction in Proof-Theoretic Semantics.Sara Ayhan - 2020 - Journal of Philosophical Logic 50 (3):571-591.details
|
|
Expressivist Perspective on Logicality.Pavel Arazim - 2017 - Logica Universalis 11 (4):409-419.details
|
|
Beyond Logical Pluralism and Logical Monism.Pavel Arazim - 2020 - Logica Universalis 14 (2):151-174.details
|
|
Pure Logic and Higher-order Metaphysics.Christopher Menzel - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
Could Evolution Explain Our Reliability about Logic.Joshua Schechter - 2005 - In Tamar Szabó Gendler & John Hawthorne (eds.), Oxford Studies in Epistemology. Oxford University Press. pp. 214.details
|
|
A General Schema for Bilateral Proof Rules.Ryan Simonelli - 2024 - Journal of Philosophical Logic:1-34.details
|
|
Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication.Ahti-Viekko Pietarinen - 2006 - Dordrecht, Netherland: Springer.details
|
|
Inferentialism: Why Rules Matter.Jaroslav Peregrin - 2014 - London and New York: Palgrave-Macmillan.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
The Logicality of Equality.Andrzej Indrzejczak - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 211-238.details
|
|
A natureza dos sincategoremas segundo Pedro Hispano.Guilherme Wyllie - 2019 - Trans/Form/Ação 42 (SPE):333-352.details
|
|
W. V. Quine’s “Two Dogmas of Empiricism”.John Woods - 2011 - Topoi 30 (1):87-97.details
|
|
MacColl's elusive pluralism.John Woods - 2011 - Philosophia Scientiae 15:205-233.details
|
|
MacColl’s elusive pluralism.John Woods - 2011 - Philosophia Scientiae 15:205-233.details
|
|
MacColl’s elusive pluralism.John Woods - 2011 - Philosophia Scientiae 15:205-233.details
|
|
Metalogical properties, being logical and being formal.Jan Woleński - 2002 - Logic and Logical Philosophy 10:211.details
|
|
Logical constants in quantifier languages.Dag Westerståhl - 1985 - Linguistics and Philosophy 8 (4):387 - 413.details
|
|
The Value of Genetic Fallacies.Andrew C. Ward - 2010 - Informal Logic 30 (1):1-33.details
|
|
Revisiting Quine on Truth by Convention.Jared Warren - 2017 - Journal of Philosophical Logic 46 (2):119-139.details
|
|
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.details
|
|
Logical Connectives for Constructive Modal Logic.Heinrich Wansing - 2006 - Synthese 150 (3):459-482.details
|
|
Busting a Myth about Leśniewski and Definitions.Rafal Urbaniak & K. Severi Hämäri - 2012 - History and Philosophy of Logic 33 (2):159-189.details
|
|
Why Conclusions Should Remain Single.Florian Steinberger - 2011 - Journal of Philosophical Logic 40 (3):333-355.details
|
|
Logic, Form and Matter.Barry Smith & David Murray - 1981 - Aristotelian Society Supplementary Volume 55 (1):47 - 74.details
|
|
Framework for formal ontology.Barry Smith & Kevin Mulligan - 1983 - Topoi 2 (1):73-85.details
|
|
The nature of entailment: an informational approach.Yaroslav Shramko & Heinrich Wansing - 2019 - Synthese 198 (S22):5241-5261.details
|
|
The Work of John Corcoran: An Appreciation.Stewart Shapiro & Michael Scanlan - 1999 - History and Philosophy of Logic 20 (3-4):149-158.details
|
|
L'indétermination de la logique. À propos de La norme du vrai de Pascal Engel.Michel Seymour - 1992 - Dialogue 31 (1):87-.details
|
|
Meaning and Justification: The Case of Modus Ponens.Joshua Schechter & David Enoch - 2006 - Noûs 40 (4):687 - 715.details
|
|
The categoricity problem and truth-value gaps.I. Rumfitt - 1997 - Analysis 57 (4):223-235.details
|
|
Logical Consequence for Nominalists.Marcus Rossberg & Daniel Cohnitz - 2009 - Theoria 24 (2):147-168.details
|
|
Harmony and autonomy in classical logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.details
|
|
The logic of indexicals.Alexandru Radulescu - 2015 - Synthese 192 (6):1839-1860.details
|
|
On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211 - 247.details
|
|
Logic, language games and ludics.Ahti-Veikko Pietarinen - 2003 - Acta Analytica 18 (30/31):89-123.details
|
|
Popper's theory of deductive inference and the concept of a logical constant.Peter Schroeder-Heister - 1984 - History and Philosophy of Logic 5 (1):79-110.details
|
|
What is the Logic of Inference?Jaroslav Peregrin - 2008 - Studia Logica 88 (2):263-294.details
|
|
‘Fregean’ logic and ‘Russellian’ logic.Jaroslav Peregrin - 2000 - Australasian Journal of Philosophy 78 (4):557 – 574.details
|
|
Doing Worlds with Words: Formal Semantics Without Formal Metaphysics.Jaroslav Peregrin - 1995 - Dordrecht, Netherland: Springer.details
|
|