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

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
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 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 first-order modal logic with two-dimensional operators.Alexander W. Kocurek - 2018 - Synthese 195 (10):4373-4417.
The languages of relevant logic: a model-theoretic perspective.Guillermo Badia Hernandez - unknown
El análisis lógico de los lenguajes naturales.Cristina Behnisch & Alberto Moretti - 1991 - Páginas de Filosofía (Universidad Nacional del Comahue) 1 (1):41-47.
Elimination problems in logic: a brief history.William Craig - 2008 - Synthese 164 (3):321-332.
Spectra of Formulae with Henkin Quantifiers.Joanna Golińska & Konrad Zdanowski - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 29--45.
Hybrid languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.
Some Remarks on Ultrafilter and Normality Logics.André Fuhrmann - 2003 - Studia Logica 73 (2):197-207.
Some remarks on ultrafilter and normality logics.André Fuhrmann - 2003 - Studia Logica 73 (2):197 - 207.
The Expressive Power of Second-Order Propositional Modal Logic.Michael Kaminski & Michael Tiomkin - 1996 - Notre Dame Journal of Formal Logic 37 (1):35-43.
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams.Fausto Barbero & Fan Yang - 2022 - Notre Dame Journal of Formal Logic 63 (3):301-341.
Expressivity in polygonal, plane mereotopology.Ian Pratt & Dominik Schoop - 2000 - Journal of Symbolic Logic 65 (2):822-838.
Expressivity in polygonal, plane mereotopology.Ian Pratt & Dominik Schoop - 2000 - Journal of Symbolic Logic 65 (2):822-838.

Analytics

Added to PP
2023-10-30

Downloads
96 (#178,670)

6 months
79 (#60,691)

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

The logical syntax of language.Rudolf Carnap - 1937 - London,: K. Paul, Trench, Trubner & co.. Edited by Amethe Smeaton.
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.

View all 9 references / Add more references