- Venus Homotopically.Andrei Rodin - unknowndetails
|
|
A core ontology for requirements.Ivan J. Jureta, John Mylopoulos & Stéphane Faulkner - 2009 - Applied ontology 4 (3):169-244.details
|
|
Prečo len (nutné) pravdy ako predpoklady deduktívnych úsudkov?František Gahér & Lukáš Bielik - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):75-97.details
|
|
The analytic-synthetic distinction and the classical model of science: Kant, Bolzano and Frege.Willem R. De Jong - 2010 - Synthese 174 (2):237 - 261.details
|
|
Hierarchies Ontological and Ideological.Øystein Linnebo & Agustín Rayo - 2012 - Mind 121 (482):269 - 308.details
|
|
Willard Van Orman Quine: a exaltação da 'nova lógica'.Sofia Inês Albornoz Stein - 2004 - Scientiae Studia 2 (3):373-379.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
|
|
Cambridge and Vienna: Frank P. Ramsey and the Vienna Circle.Maria Carla Galavotti (ed.) - 2004 - Dordrecht: Springer Verlag.details
|
|
Proceeding in Abstraction. From Concepts to Types and the recent perspective on Information.Giuseppe Primiero - 2009 - History and Philosophy of Logic 30 (3):257-282.details
|
|
Must . . . stay . . . strong!Kai von Fintel & Anthony S. Gillies - 2010 - Natural Language Semantics 18 (4):351-383.details
|
|
A modern elaboration of the ramified theory of types.Twan Laan & Rob Nederpelt - 1996 - Studia Logica 57 (2-3):243 - 278.details
|
|
Zermelo and set theory.Akihiro Kanamori - 2004 - Bulletin of Symbolic Logic 10 (4):487-553.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
Frege's puzzle about the cognitive function of truth.Dirk Greimann - 2004 - Inquiry: An Interdisciplinary Journal of Philosophy 47 (5):425-442.details
|
|
Strengthened, and weakened, by belief.Tue Trinh - 2023 - Linguistics and Philosophy 47 (1):37-76.details
|
|
What did Frege take Russell to have proved?John Woods - 2019 - Synthese 198 (4):3949-3977.details
|
|
Lotze and Frege: The dating of the 'Kernsätze'.Frans Hovens - 1997 - History and Philosophy of Logic 18 (1):17-31.details
|
|
Rigorisace infinitesimálního počtu a obrat k jazyku (Kant–Bolzano–Frege).Prokop SouSedík - 2006 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 13 (1):32-54.details
|
|
The logic of empirical theories revisited.Johan van Benthem - 2012 - Synthese 186 (3):775-792.details
|
|
Frege and the resolution calculus.Peter Schroeder-Heister - 1997 - History and Philosophy of Logic 18 (2):95-108.details
|
|
Formalization and the objects of logic.Georg Brun - 2008 - Erkenntnis 69 (1):1 - 30.details
|
|
Definite Descriptions and Quantifier Scope: Some Mates Cases Reconsidered.Michael Glanzberg - 2007 - European Journal of Analytic Philosophy 3 (2):133-158.details
|
|
Sein und heißen.Hans-Ulrich Hoche - 1985 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 16 (2):287-303.details
|
|
Gödel's program revisited part I: The turn to phenomenology.Kai Hauser - 2006 - Bulletin of Symbolic Logic 12 (4):529-590.details
|
|
A Pragmatic Logic for Expressivism.Carlo Dalla Pozza, Claudio Garola, Antonio Negro & Davide Sergio - 2020 - Theoria 86 (3):309-340.details
|
|
Analysing causation.Morgan Jennifer Margaret - unknowndetails
|
|
Jacques Herbrand: life, logic, and automated deduction.Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 195-254.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
|
|
Problématique de la preuve en épistémologie contemporaine.Robert Nadeau - 1980 - Philosophiques 7 (2):217-246.details
|
|
Logicismus a paradox (II).Vojtěch Kolman - 2005 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 12 (2):121-140.details
|
|
Carnap on extremal axioms, "completeness of the models," and categoricity.Georg Schiemer - 2012 - Review of Symbolic Logic 5 (4):613-641.details
|
|
Definitional Generics.Manfred Krifka - unknowndetails
|
|
Truth and judgment.Jeremy J. Kelly - unknowndetails
|
|
Decompositions and Transformations: Conceptions of Analysis in the Early Analytic and Phenomenological Traditions.Michael Beaney - 2002 - Southern Journal of Philosophy 40 (S1):53-99.details
|
|
Scientific Practices as Social Knowledge.Juho Lindholm - 2023 - International Studies in the Philosophy of Science 35 (3):223-242.details
|
|
Where is ‘There is’ in ‘∃’?Richard Davies - 2020 - History and Philosophy of Logic 42 (1):44-59.details
|
|
The modernity of Dedekind’s anticipations contained in What are numbers and what are they good for?J. Soliveres Tur & J. Climent Vidal - 2018 - Archive for History of Exact Sciences 72 (2):99-141.details
|
|
Towards a New Brentanian Theory of Judgment.Giuliano Bacigalupo - 2018 - Grazer Philosophische Studien 95 (2):245-264.details
|
|
Philosophy of mathematics and computer science.Kazimierz Trzęsicki - 2010 - Studies in Logic, Grammar and Rhetoric 22 (35).details
|
|
Dahlbeck and Pure Ontology.Jim Mackenzie - 2016 - Educational Philosophy and Theory 48 (9).details
|
|
Peter Geach and “The Frege Point”.Roger M. White - 2015 - Philosophical Investigations 38 (1-2):133-149.details
|
|
Sense and Basic Law V in Frege's logicism.Jan Harald Alnes - 1999 - Nordic Journal of Philosophical Logic 4:1-30.details
|
|
Bodies Divide, Minds Unite: Mirror Neurons and Leibniz’s Philosophy of Mind.Alessia Pannese - 2010 - Biological Theory 5 (3):264-270.details
|
|
The mathematical import of zermelo's well-ordering theorem.Akihiro Kanamori - 1997 - Bulletin of Symbolic Logic 3 (3):281-311.details
|
|
Extending the Curry-Howard interpretation to linear, relevant and other resource logics.Dov M. Gabbay & Ruy J. G. B. de Queiroz - 1992 - Journal of Symbolic Logic 57 (4):1319-1365.details
|
|
La cuestión de la aserción en La Logique ou l’art de penser y la Grammaire générale et raisonnée.Javier Pamparacuatro Martín - 2009 - Theoria : An International Journal for Theory, History and Fundations of Science 23 (3):267-283.details
|
|
Frege’s recognition criterion for thoughts and its problems.Mark Textor - 2018 - Synthese 195 (6):2677-2696.details
|
|
Existence and Predication from Aristotle to Frege.Risto Vilkko & Jaakko Hintikka - 2007 - Philosophy and Phenomenological Research 73 (2):359-377.details
|
|
Scientific Practices as Social Knowledge.Juho Lindholm - 2022 - International Studies in the Philosophy of Science 35 (3):223-242.details
|
|
On Pragmatism, Life, and Evolution.Valentin Krassilov - 2014 - International Journal of Philosophy 2 (6):72.details
|
|