PLEXUS. Philosophical, Logical, and Experimental Routes to Substructurality
Published May 24, 2024 | Version v1
Book Open

Una oda a los árboles

Creators

  • 1. ROR icon Universidad de Navarra

Description

Este libro está dirigido, principalmente, a estudiantes de Grado en Filosofía que hayan cursado una introducción a la Lógica. Esto no excluye a otros posibles lectores: he procurado que el libro estuviera totalmente auto-contenido (excluyendo, quizá, este prefacio). La unidad del texto es de procedimiento más que temática, pues muestra cómo los árboles de Smullyan pueden adaptarse para diversos grupos de lógicas no clásicas. En la parte final de la redacción del libro me puse romántico y decidí llamarlo como se llama, así que está también muy románticamente dividido en cuatro paisajes: el bosque clásico, el bosque de tres valores, el bosque modal y otros paisajes. Los contenidos de cada parte están vagamente significados en sus nombres y no me parece apropiado desvelar aquí todos los secretos. Solamente diré que, además del material que puede encontrarse en otros libros en inglés (particularmente el libro de Priest [33], aunque éste cubre muchos más temas que los tratados en este libro), en este se habla de lógicas no-reflexivas y no-transitivas, consecuencia global y metainferencias.

Files

Una_Oda_A_Los_Arboles.pdf

Files (982.4 kB)

Name Size Download all
md5:1dba4e8953088aad63d3f6ccb9b2c201
982.4 kB Preview Download

Additional details

Identifiers

ISBN
978-84-8081-798-1
Handle
10171/69488

Funding

European Commission
PLEXUS - Philosophical, Logical, and Experimental routes to substructurality 101086295

Dates

Available
2024-05-24

References

  • Irving H. Anellis. "From Semantic Tableaux to Smullyan Trees: A History of the Development of the Falsifiability Tree Method". Modern Logic 1.1 (1990), 36–69.
  • Florencio G. Asenjo. "A Calculus of Antinomies". Notre Dame Journal of Formal Logic 7.1 (1975), 103–205.
  • Roberta Ballarin. "Modern Origins of Modal Logic". Stanford Encyclopedia of Philosophy (2021).
  • Eduardo Barrio, Federico Pailos, and Damian Szmuc. "A Hierarchy of Classical and Paraconsistent Logics". Journal of Philosophical Logic 49.1 (2020), 93–120.
  • Eduardo Barrio, Lucas Rosenblatt, and Diego Tajer. "The Logics of Strict-Tolerant Logic". Journal of Philosophical Logic 44.5 (2015), 551–571.
  • Patrick Blackburn, Maarten Rijke, and Y. de Venema. Modal Logic. Cambridge University Press (Reprinted with corrections: 2004), 2001.
  • Pablo Cobreros. "Supervaluationism and Logical Consequence: a Third Way". Studia Logica 90 (2008), 291–312.
  • Pablo Cobreros. "Varzi on Supervaluationism and Logical Consequence". Mind 120.479 (2011), 833–843.
  • Pablo Cobreros, Paul Egré, David Ripley, and Robert van Rooij. "Tolerant, Classical, Strict". Journal of Philosophical Logic 41.2 (2012), 347–385.
  • Pablo Cobreros, Paul Égré, David Ripley, and Robert Van Rooij. "Reaching Transparent Truth". Mind 122.488 (2013), 841–866.
  • Pablo Cobreros, Paul Egré, David Ripley, and Robert van Rooij. "Vagueness, truth and permissive consequence". In: Achourioti, Galinon, Martínez-Fernández and Fujimoto (eds.). Unifying the Philosophy of Truth, Springer, (2015), 409–430.
  • Bogdan Dicher and Francesco Paoli. "ST, LP, and tolerant metainferences." In: C. Baskent and T. M. Ferguson (eds.). Graham Priest on Dialetheism and Paraconsistency. Dordrecht: Springer, (2019).
  • Delia G. Fara. "Gap Principles, Penumbral Consequence and Infinitely Higher-Order Vagueness." In: J. C. Beall (ed.). Liars and Heaps: New Essays on Paradox. Oxford: Oxford University Press. Originally published under the name 'Delia Graff' (2003), 195–221.
  • Delia G. Fara and Timothy Williamson. Vagueness. New York: Routledge, 2002. Originally published under the name 'Delia Graff'.
  • Hartry Field. Saving Truth from Paradox. Oxford: Oxford University Press, 2008.
  • Hartry Field. "This Magic Moment: Horwich on the Boundaries of Vague Terms." In: R. Dietz and S. Moruzzi (eds.), Cuts and Clouds. Oxford: Oxford University Press. (2010), 200–208.
  • Kit Fine. "Vagueness, Truth and Logic." Synthese 30 (1975), 265–300.
  • Bas C. van Fraassen. "Singular Terms, Truth-value Gaps and Free Logic." The Journal of Philosophy 63.17 (1966).
  • Gottlob Frege. "Sense and Reference." The Philosophical Review 57.3 (1948), 209–230.
  • Gerhard Gentzen. "Untersuchungen über das logische Schließen. I." Mathematische zeitschrift 39.1 (1935), 176–210.
  • Shawn Hedman. A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Oxford: Oxford University Press, 2004.
  • Hughes and M. Cresswell. A New Introduction to Modal Logic. London: Routledge, 1996.
  • Richard Jeffrey. Formal Logic: Its Scope and Limits. New York: McGraw-Hill, 1967.
  • Rosanna Keefe. Theories of Vagueness. Cambridge University Press, 2000.
  • Rosanna Keefe and Peter Smith (eds). Vagueness: A Reader. Cambridge Mass: MIT Press, 1997.
  • Stephen Cole Kleene. Introduction to Metamathematics. Amsterdam: North-Holland, 1952.
  • Saul Kripke. "Outline of a Theory of Truth." The Journal of Philosophy 72.19 (1975), 690–716.
  • H. Leitgeb. "What Theories of Truth Should Be Like (but Cannot Be)." Philosophy Compass 2.2 (2007), 276–290.
  • Clarence Irving Lewis. "Implication and the Algebra of Logic." Mind 21.84 (1912), 522–531.
  • Clarence Irving Lewis. A Survey of Symbolic Logic. Berkeley: University of California Press, 1918.
  • Clarence Irving Lewis and C. H. Langford. Symbolic Logic. New York: The Century Co., 1932.
  • Federico Pailos and Bruno Da Ré. Metainferential Logics. Vol. 61. Trends in Logic. Springer Nature, 2023.
  • Francesco Paoli. Substructural Logics: A Primer. Trends in Logic. Springer, 2002.
  • Graham Priest. "The Logic of Paradox." The Journal of Philosophy 8.1 (1979), 219–241.
  • Graham Priest. An Introduction to Non-Classical Logic: From If to Is. Cambridge: Cambridge University Press, 2008.
  • Greg Restall. An Introduction to Substructural Logics. London: Routledge, 2002.
  • Greg Restall. Proof Theory, Rules and Meaning. Manuscript, 2019.
  • David Ripley. "Paradoxes and Failures of Cut." Australasian Journal of Philosophy 91.1 (2013), 139–164.
  • David Ripley. "Anything Goes." Topoi 34 (2015), 25–36.
  • Raymond Smullyan. First-Order Logic. Berlin, Heidelberg: Springer-Verlag, 1968.
  • Richmond Thomason. "Indeterminist Time and Truth-Value Gaps." Theoria 36.3 (1970), 264–281.
  • Timothy Williamson. Vagueness. London: Routledge, 1994.
  • Timothy Williamson. "Definiteness and Knowability." Southern Journal of Philosophy 35.5 (1995), 171–192.
  • José Luis Zalabardo. Introducción a la Teoría de la Lógica. Madrid: Alianza, 2002.