Interpolation in Term Functor Logic
Contenido principal del artículo
Resumen
Dados algunos vínculos entre el Teorema de Interpolación de Lyndon, la distribución de términos y la lógica de Sommers y Englebretsen, en esta contribución intentamos capturar un sentido de interpolación para la Lógica de Términos y Funtores de Sommers y Englebretsen. Para alcanzar este objetivo, primero exponemos los conceptos básicos de la Lógica de Términos y Funtores, junto con un sentido de distribución de términos, y luego ofrecemos una prueba de nuestra contribución.
Descargas
Detalles del artículo
Métricas de PLUMX
Citas
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.
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-SinDerivadas 4.0.
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.