Questions tagged [natural-language]

Does there exist a "valid" application of Gödel's incompleteness to "logical natural language statements"? It can be found to sometimes be naively applied that way, even when the incompleteness theorems are a specific application. But I find it…

Logic consists of proofs, not bold assertions. Semantics means assigning truth-values, it's kind of unavoidable, syntax alone is just string concatenation. You can't do away with axioms either. Also, is it correct to say that a model could suffer…

Need some help putting these two examples of natural language into sentence logic. For reference, use the transcription guide below: D = you think so; E = I think so; F = it is true If you think so, I think so. And if I think so, you think so. (is…