# Logic and Language

Language, Logic and Intuition:

A summary of the philosophy underpinning this site and which points out that logic cannot be separated completely from the language in which it is stated

Formal Language:

What a formal language is and what can be said within in and what can be said about it

Natural Language and Reality:

How philosophers have managed to become befuddled by natural language and how the difficulties are easily resolved

Thinking and Being:

How the philosopher Irad Kimhi conjures up imaginary difficulties regarding statements of non-existence

Mathematical Proofs:

Despite claims to the contrary, the reality is that much of mathematics is not supported by logical proof

Logic and Language:

Why logic is not independent of the language in which it is stated

Pseudo-mathematics:

A term that mathematicians sometimes apply disparagingly to the work of others while ignoring the logical inconsistencies in their own work

Computer Proofs:

Are computer proofs as infallible as their programmers claim? The fact is that what the programmers claim can be quite different to the reality of what they have written

Rationale: Every logical argument must be defined in some language, and every language has limitations. Attempting to construct a logical argument while ignoring how the limitations of language might affect that argument is a bizarre approach. The correct acknowledgment of the interactions of logic and language explains almost all of the paradoxes, and resolves almost all of the contradictions, conundrums, and contentious issues in modern philosophy and mathematics.Site MissionPlease see the menu for numerous articles of interest. Please leave a comment or send an email if you are interested in the material on this site.

Interested in supporting this site?You can help by sharing the site with others. You can also donate at

_{}where there are full details.