PhilArchive
open access
Lógica, lenguajes formales y modalidad
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.
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Ontology of sentential moods#117375
- Cláusula de multa y penal pecuniaria en los contratos de apoyo a la gestión : una estipulación incompatible con el servicio que se presta#686744
- El Tractatus al rescate de Principia Mathematica: Ramsey y los fundamentos logicistas de las matemáticas#730910
- Prison and Moral Persuasion#694417
- Jezik in javno: reorganizacija trivija v Lockovem Eseju in v Portroyalski logiki#746347
Record · ID 118798
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive