PhilArchive
open access
A Plea for Automated Language-to-Logical-Form Converters
This has been made available gratis by the publisher. This piece gives the raison d'etre for the development of the converters mentioned in the title. Three reasons are given, one linguistic, one philosophical, and one practical. It is suggested that at least /two/ independent converters are needed. This piece ties together the extended paper "Abstracts from Logical Form I/II," and the short piece providing the comprehensive theory alluded to in the abstract of that extended paper in "Pragmatics, Montague, and 'Abstracts from Logical Form'" by motivating the entire project from beginning to end.
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
- Some Logical Notations for Pragmatic Assertions#708248
- Translations between logical systems: a manifesto#708265
- On Not Saying What We Shouldn't Have to Say#749109
- Karel Lambert, Free Logics: Their Foundations, Character, and Some Applications Thereof (Prophil Projekte zur Philosophie Bd. 1. Eine Schriftenreihe des Forschungsinstituts Philosophie/Technik/Wirtschaft an der Universität Salzburg). Sankt Augustin: Academia-Verlag, 1997. 156 pp. Asch. 239. ISBN 3-89665-000-9#747755
- Trivalent Semantics for Conditional Obligations#80874
Record · ID 735218
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