Interpolation in Term Functor Logic
Main Article Content
Abstract
Given some links between Lyndon’s Interpolation Theorem, term distribution, and Sommers and Englebretsen’s logic, in this contribution we attempt to capture a sense of interpolation for Sommers and Englebretsen’s Term Functor Logic. In order to reach this goal we first expound the basics of Term Functor Logic, together with a sense of term distribution, and then we offer a proof of our main contribution.
Downloads
Article Details
PLUMX Metrics
References
Carnap, Rudolf, 1930, “Die alte und die neue Logik”, Erkenntnis, vol. 1, pp. 12–26.
Castro-Manzano, J.-Martín, 2020, “Distribution Tableaux, Distribution Models”, Axioms, vol. 9, no. 2.
Castro-Manzano, J.-Martín, 2018, “A Tableaux Method for Term Logic”, LANMR 2018, vol. 2264, pp. 1–14.
Castro-Manzano, J.-Martín y Paniel O. Reyes-Cárdenas, 2018, “Term Functor Logic Tableaux”, South American Journal of Logic, vol. 4, no. 1, pp. 1–22.
Craig, William, 1957, “Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem”, The Journal of Symbolic Logic, vol. 22, no. 3, pp. 250–268.
Correia, Manuel, 2017, “La lógica aristotélica y sus perspectivas”, Pensamiento, vol. 73, no. 275, pp. 5–19.
Englebretsen, George, 2017, Bare Facts and Naked Truths: A New Correspondence Theory of Truth, Taylor and Francis, Routledge.
Englebretsen, George, 2013, Robust Reality: An Essay in Formal Ontology, Philosophische Analyse/Philosophical Analysis, De Gruyter, Berlín.
Englebretsen, George, 1996, Something to Reckon with: The Logic of Terms, University of Ottawa Press, Ontario.
Englebretsen, George, 1987, The New Syllogistic, Peter Lang, Suiza.
Englebretsen, George and Charles Sayward, 2011, Philosophical Logic: An Introduction to Advanced Topics, Bloomsbury Academic, London.
Geach, Peter, 1962, Reference and Generality: An Examination of Some Medieval and Modern Theories, Cornell University Press, Ithaca.
Hodges, Wilfrid, 1998, “The Laws of Distribution for Syllogisms”, Notre Dame Journal of Formal Logic, vol. 39, no. 2, pp. 221–230.
Keynes, John Neville, 1906, Studies and Exercises in Formal Logic: Including a Generalisation of Logical Processes in Their Application to Complex Inferences, Macmillan and Company, Nueva York.
Lyndon, Roger Conant, 1959, “An Interpolation Theorem in the Predicate Calculus”, Pacific Journal of Mathematics, vol. 9, no. 1, pp. 129–142.
Russell, Bertrand, 1937, A Critical Exposition of the Philosophy of Leibniz: with an Appendix of Leading Passages, G. Allen and Unwin.
Simons, Peter, 2020, “Term Logic”, Axioms, vol. 9, no. 18.
Sommers, Fred, 1975, “Distribution Matters”, Mind, vol. 84, no. 1, pp. 27–46.
Sommers, Fred, 1982, The Logic of Natural Language, Oxford University Press, Oxford.
Sommers, Fred, 1989, “Predication in the Logic Terms”, Notre Dame Journal of Formal Logic, vol. 31, no. 1, pp. 106–126.
Sommers, Fred and George Englebretsen, 2000, An Invitation to Formal Reasoning: The Logic of Terms, Ashgate, Farnham, UK.
Wang, Pei, 1997, Return to Term Logic, Working Notes of the IJCAI Workshop on Abduction and Induction in AI.
Wilson, Fred, 1987, “The Distribution of Terms: A Defense of the Traditional Doctrine”, Notre Dame Journal of Formal Logic, vol. 28, no. 3, pp. 439–454.
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Crítica, Revista Hispanoamericana de Filosofía by Universidad Nacional Autónoma de México is licensed under a Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional License.
Creado a partir de la obra en http://critica.filosoficas.unam.mx/index.php/critica.