Concept
Logic translation

Overview
translation of a text into a logical system
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Philosophers who discussed Logic translation
Related ideas
- Formal language
- First-order logic
- Anaphora (linguistics)
- Argument
- Informal logic
- Negation
- Informal fallacy
- Intuitionistic logic
- Logic programming
- Formal grammar
- Logical connective
- Propositional logic
- Translation
- Modus ponens
- Machine translation
- Holism
- Natural language
- Validity (logic)
- Philosophy of logic
- Linguistics
- Prolog
- Knowledge
- Rule of inference
- Science
Opposing perspectives
- Informal logic
- Logic programming
- Function (mathematics)
- Science
- Vagueness
- Modal logic
- Logical consequence
- Metalogic
- Structure (mathematical logic)
- Logic
- Humanities
- Ambiguity
- Existence
- Outline of philosophy
- Tacit knowledge
Place in the tradition
Part of Outline of philosophy.
Narrower topics: