# Tag Info

### Can it be proven from pure logic that at least one thing exists?

Gorgias the Sophist says ... Nothing exists Even if something exists nothing can be known about it Even if something can be known about it, it can't be communicated Even if it can be communicated, it ...
• 4,805

### Can it be proven from pure logic that at least one thing exists?

Short Answer No. We cannot fully justify any assumptions, per the Munchausen Trilemma. https://philosophy.stackexchange.com/a/64646/29339 And one must start with assumptions to then do logic. ...
• 15k

### Can it be proven from pure logic that at least one thing exists?

No, it cannot. We must axiomatically declare that something exists, or we may obtain free logics instead. Of course, this depends on one's choice of logic, since choosing a logic includes choosing ...
• 1,612
1 vote

### Can it be proven from pure logic that at least one thing exists?

Can pure logic alone prove that at least one thing exists? Logic doesn't prove things. We do, using hopefully logically arguments. (a) You prove a conclusion true by deriving it, hopefully logically, ...
• 8,626

### Can it be proven from pure logic that at least one thing exists?

You ask: Can it be proven from pure logic that at least one thing exists? Yes, and we can use the meta and object language distinction to prove a thing exists, where this answer is the meta language,...
• 29.7k

### Can it be proven from pure logic that at least one thing exists?

logic by definition, I'll refer to it as a tool even though it may not be as accurate, is a tool that infers the truth of one statement based on previous statements which are given to be true. there ...

### Can it be proven from pure logic that at least one thing exists?

Easy one: In order to prove anything from pure logic, one has to assume the existence of logic. Hence from pure logic, one can infer the existence of logic itself, and logic is something. QED
• 2,416
Accepted

### Can it be proven from pure logic that at least one thing exists?

To expand a little on causative's comment. In standard logic, it is a convention to assume that the universe of quantification is non-empty, which is to say that at least one thing exists. It we don't ...
• 28k

### Can it be proven from pure logic that at least one thing exists?

Just the fact that you are pondering this question confirms that you exist – according to Descartes, see Cogito ergo sum. Also Anselm considered his ontological argument to be a proof of the existence ...
• 35.8k

### Was Frege the first to claim that natural language is logically inconsistent?

natural language is logically inconsistent? I think it is a mistake to look at this question literally. The language and the written word create inconsistencies in our understanding of reality. They ...

### Was Frege the first to claim that natural language is logically inconsistent?

Logical inconsistency (or if you prefer logical incoherence) can be said of propositions, arguments, or claimants, but it is not said widely or generally said of natural languages. Under the ...
• 29.7k

### Was Frege the first to claim that natural language is logically inconsistent?

The term 'consistent' and the predicate 'is consistent' is normally applied to theories - considered as well-defined sets of propositions (assertions of fact or theorems) that are assumed (or proven) ...
• 1,887

### Was Frege the first to claim that natural language is logically inconsistent?

Well, come to think of it there are inconsistencies in (the English) language at the orthographical level. For example, "Argue" (R-GYU) vs. "tongue" (TUNG). The plural of "...
• 4,805

### Was Frege the first to claim that natural language is logically inconsistent?

I'll jot down a brief answer with a view to expand on it later. The natural language is logically inconsistent/semantically opaque/ambiguous and the like, in essence, add up to the idea and question ...
• 2,303

### Is it fair to say truth is used more in logic than in math? If so, what are the reasons for doing so?

I think you overestimate the difference. The branch of logic in which truth plays an important role is model theory. We may say of a sentence that it is 'true under an interpretation' or 'false under ...
• 28k
1 vote

### Is it fair to say truth is used more in logic than in math? If so, what are the reasons for doing so?

Is it fair to say this is how logic and math are taught regarding truth? --This is the main question I would like an answer on. Are there good answers for why? -- I've given a few small speculations (...
• 8,626

### Is it fair to say truth is used more in logic than in math? If so, what are the reasons for doing so?

Your post reviews logic and mathematics under the keywords proposition, definition, axiom, true. Propositions are statements which can be true or false. They are not necessarily true. The standard ...
• 35.8k

### Is it fair to say truth is used more in logic than in math? If so, what are the reasons for doing so?

The short version Math deals with truth, maybe a priori/ analytic; logic deals with truth formally ie. with "truth" not truth. See use-mention distinction. The longer version It is fair to ...
• 4,214