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

On Denoting:

Bertrand Russell’s classic paper on dealing with entities that are named but do not exist

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

Non-Diagonal Proofs and Enumerations:

Why an enumeration can be possible outside of a mathematical system even though it is not possible within the system

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