- Mereology.Ben Blumson - 2021 - Archive of Formal Proofs.details
|
|
Mechanizing principia logico-metaphysica in functional type-theory.Daniel Kirchner, Christoph Benzmüller & Edward N. Zalta - 2018 - Review of Symbolic Logic 13 (1):206-218.details
|
|
Automating Leibniz’s Theory of Concepts.Paul Edward Oppenheimer, Jesse Alama & Edward N. Zalta - 2015 - In Felty Amy P. & Middeldorp Aart (eds.), Automated Deduction – CADE 25: Proceedings of the 25th International Conference on Automated Deduction (Lecture Notes in Artificial Intelligence: Volume 9195), Berlin: Springer. Springer. pp. 73-97.details
|
|
The Historiography of Philosophy: Four Genres.Richard Rorty - 1984 - In . Cambridge University Press.details
|
|
(1 other version)The Dialectical Necessity of Morality: An Analysis and Defense of Alan Gewirth's Argument to the Principle of Generic Consistency.Deryck Beyleveld - 1991 - Chicago: University of Chicago Press.details
|
|
Steps Toward a Computational Metaphysics.Branden Fitelson & Edward N. Zalta - 2007 - Journal of Philosophical Logic 36 (2):227-247.details
|
|
(1 other version)Analytic philosophy and history of philosophy : the development of the idea of rational reconstruction.Michael Beaney - 2013 - In Erich H. Reck (ed.), The Historical turn in Analytic Philosophy. New York, NY: Palgrave-Macmillan.details
|
|
Inductive Logic.James Hawthorne - 2011 - The Stanford Encyclopedia of Philosophy.details
|
|
Aristotle's Logic.Robin Smith - 2007 - Stanford Encyclopedia of Philosophy.details
|
|
Reason and morality.Alan Gewirth - 1978 - Chicago: University of Chicago Press.details
|
|
Against computational hermeneutics.Stevan Harnad - 1990 - Social Epistemology 4:167-172.details
|
|
The traditional square of opposition.Terence Parsons - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
(2 other versions)Radical interpretation.Donald Davidson - 1973 - Dialectica 27 (1):314-328.details
|
|
Radical interpretation interpreted.Donald Davidson - 1994 - Philosophical Perspectives 8:121-128.details
|
|
(2 other versions)Radical Interpretation.Donald Davidson - 1973 - Dialectica 27 (3-4):313-328.details
|
|
Ancient Self-Refutation: The Logic and History of the Self-Refutation Argument From Democritus to Augustine.Luca Castagnoli - 2010 - New York: Cambridge University Press.details
|
|
Voevodsky’s Univalence Axiom in Homotopy Type Theory.Steve Awodey, Alvaro Pelayo & Michael A. Warren - unknowndetails
|
|
Sophist: Or the Professor of Wisdom.Eva Plato, Peter Brann, Eric Kalkavage & Salem - 1996 - Focus.details
|
|
(1 other version)Compositionality.Zoltán Gendler Szabó - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
(2 other versions)Principia mathematica.A. N. Whitehead & B. Russell - 1910-1913 - Revue de Métaphysique et de Morale 19 (2):19-19.details
|
|
(2 other versions)Figures of thought: mathematics and mathematical texts.David Reed - 1995 - New York: Routledge.details
|
|
(2 other versions)Figures of Thought: Mathematics and Mathematical Texts.David Reed - 1994 - New York: Routledge.details
|
|
(2 other versions)Figures of Thought: Mathematics and Mathematical Texts.David Reed - 1994 - New York: Routledge.details
|
|
(1 other version)The dialectical necessity of morality: an analysis and defense of Alan Gewirth's argument to the principle of generic consistency.Deryck Beyleveld - 1991 - Chicago: University of Chicago Press.details
|
|
(2 other versions)Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.details
|
|
Computational Meta-Ethics: Towards the Meta-Ethical Robot.Gert-Jan C. Lokhorst - 2011 - Minds and Machines 21 (2):261-274.details
|
|
Computer Science and Metaphysics: A Cross-Fertilization.Edward N. Zalta, Christoph Benzmüller & Daniel Kirchner - 2019 - Open Philosophy 2 (1):230-251.details
|
|
Mechanizing principia logico-metaphysica in functional type theory.Daniel Kirchner, Christoph Benzmüller & Edward N. Zalta - 2019 - Review of Symbolic Logic:1-13.details
|
|
The Propositional Logic of Principia Mathematica and Some of Its Forerunners.Daniel J. O'Leary - 1988 - Russell: The Journal of Bertrand Russell Studies 8 (1).details
|
|
The propositional logic of "Principia Mathematica" and some of its forerunners.Daniel J. O' Leary - 1988 - Russell: The Journal of Bertrand Russell Studies 8 (1):92.details
|
|
Introduction.Sandra Lapointe - 2012 - Grazer Philosophische Studien 85 (1):1-10.details
|
|
What is the good of philosophical history?Michael Kremer - 2013 - In Erich H. Reck (ed.), The Historical turn in Analytic Philosophy. New York, NY: Palgrave-Macmillan.details
|
|
Reason and Morality.Alan Gewirth - 1968 - Philosophy 56 (216):266-267.details
|
|
Reason and Morality.Alan Gewirth - 1968 - Revue Philosophique de la France Et de l'Etranger 170 (4):444-445.details
|
|
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL.David Fuenmayor & Christoph Benzmüller - unknowndetails
|
|
Digitized and Digitalized Humanities: Words and Identity.Claire Clivaz - unknowndetails
|
|
Toward a computational hermeneutics.Ronald L. Breiger, Robin Wagner-Pacifici & John W. Mohr - 2015 - Big Data and Society 2 (2).details
|
|
The Principle of Generic Consistency as the Supreme Principle of Human Rights.Deryck Beyleveld - 2012 - Human Rights Review 13 (1):1-18.details
|
|
A Computational-Hermeneutic Approach for Conceptual Explicitation.Christoph Benzmüller & David Fuenmayor - 2019 - In Matthieu Fontaine, Cristina Barés-Gómez, Francisco Salguero-Lamillar, Lorenzo Magnani & Ángel Nepomuceno-Fernández (eds.), Model-Based Reasoning in Science and Technology: Inferential Models for Logic, Language, Cognition and Computation. Springer Verlag.details
|
|