Lógica, lenguajes formales y modalidad

&
Andamios 20 (53):45-60 (2023)
  Copy   BIBTEX

Abstract

This paper examines two alleged limitations in the use of formal languages: on the one hand, the trade-offs between expressive and inferential power, and on the other, the phenomenon of system imprisonment. After reconceptualizing the issue, we consider the role played by modality in the understanding of certain aspects of mathematical structures and argue for its centrality.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

What Can You Say? Measuring the Expressive Power of Languages.Alexander Kocurek - 2018 - Dissertation, University of California, Berkeley
The languages of relevant logic: a model-theoretic perspective.Guillermo Badia Hernandez - unknown
Inferential power, formalisms, and scientific models.Vincent Ardourel, Anouk Barberousse & Cyrille Imbert - unknown
On fork arrow logic and its expressive power.Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
On the Expressive Power of Equality-Free First Order Languages.. Ecsedi-tóth P. - 1986 - Mathematical Logic Quarterly 32 (19-24):371-375.
Comparing The Expressive Power of Some Languages for Boolean Algebras.Lutz Heindorf - 1981 - Mathematical Logic Quarterly 27 (25‐30):419-434.
On the Expressive Power of Equality‐Free First Order Languages.P. Ecsedi‐Tóth - 1986 - Mathematical Logic Quarterly 32 (19‐24):371-375.
Elimination problems in logic: a brief history.William Craig - 2008 - Synthese 164 (3):321-332.
Cardinalities Of Models And The Expressive Power Of Monadic Predicate Logic.Andrzej Pietruszczak - 1996 - Reports on Mathematical Logic:49-64.
The modal logic of stepwise removal.Johan van Benthem, Krzysztof Mierzewski & Francesca Zaffora Blando - 2022 - Review of Symbolic Logic 15 (1):36-63.

Analytics

Added to PP
2023-10-30

Downloads
215 (#118,710)

6 months
75 (#81,479)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Melisa Vivanco
University of Texas Rio Grande Valley
Otávio Bueno
University of Miami

Citations of this work

No citations found.

Add more citations

References found in this work

Mathematical truth.Paul Benacerraf - 1973 - Journal of Philosophy 70 (19):661-679.
Realism, Mathematics, and Modality.Hartry Field - 1988 - Philosophical Topics 16 (1):57-107.
Dirac and the dispensability of mathematics.Otavio Bueno - 2005 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 36 (3):465-490.

View all 7 references / Add more references