Philosophy of logic
Following the developments in formal logic with symbolic logic in the late nineteenth century and mathematical logic in the twentieth, topics traditionally treated by logic not being part of formal lo...
Penn Jillette's amazing rant about the religious belief paradox
In this (profane) installment of Penn Jillette's Atheist's Guide to the 2012 Election, the Penn and Teller illusionist (and outspoken atheist) shoots straight to the heart of the religious belief para...
Paradox
It's Paradox Week on Rocketboom. Today, Molly explains the ontological paradox. Ontological Paradox http://en.wikipedia.org/wiki/Ontological_paradox For more...
Truthbearer
A truth-bearer is an entity that is said to be either true or false and nothing else. The thesis that some things are true while others are false has led to different theories about the nature of thes...
Necessary truth
Logical truth is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretation...
Logical truth
Logical truth is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretation...
Validity (logic)
In logic, an argument is valid if and only if its conclusion is logically entailed by its premises. A formula is valid if and only if it is true under every interpretation, and an argument form (or sc...
Corresponding conditional (logic)
In logic, the corresponding conditional of an argument (or derivation) is a material conditional whose antecedent is the conjunction of the argument's (or derivation's) premises and whose consequent i...
Logical consequence
Logical consequence (also entailment) is one of the most fundamental concepts in logic. It is the relationship between statements that holds true when one logically "follows from" one or more others....
Entailment
Logical consequence (also entailment) is one of the most fundamental concepts in logic. It is the relationship between statements that holds true when one logically "follows from" one or more others....
Analytic-synthetic distinction
The analytic–synthetic distinction (also called the analytic–synthetic dichotomy) is a conceptual distinction, used primarily in philosophy to distinguish propositions (in particular, statements that ...
Truth
Truth is most often used to mean being in accord with fact or reality, or fidelity to an original or to a standard or ideal.The commonly understood opposite of truth is falsehood, which, corresponding...
Truth - Wikipedia
Validity
In logic, an argument is valid if and only if its conclusion is logically entailed by its premises. A formula is valid if and only if it is true under every interpretation, and an argument form (or sc...
Paradox
A paradox is a statement that apparently contradicts itself and yet might be true. Some logical paradoxes are known to be invalid arguments but are still valuable in promoting critical thinking.Some p...
Logical constant
In logic, a logical constant of a language is a symbol that has the same semantic value under every interpretation of . Two important types of logical constants are logical connectives and quantifier...
Logical constant - Wikipedia
Logical connective
In logic, a logical connective (also called a logical operator) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such ...
Quantifiers
Quantifer may refer to:
Quantifiers - Wikipedia
Modal logic
Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality. Modals—words that express moda...
Deviant logic
Philosopher Susan Haack uses the term "deviant logic" to describe certain non-classical systems of logic. In these logics,The set of theorems of a deviant logic can differ in any possible way from cla...
Classical logic
Classical logic identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well. They are characterised by a numb...
Abstraction
Abstraction in its main sense is a conceptual process by which general rules and concepts are derived from the usage and classification of specific examples, literal ("real" or "concrete") signifiers,...
Abstraction - Wikipedia
Ambiguity
Ambiguity is an attribute of any concept, idea, statement or claim whose meaning, intention or interpretation cannot be definitively resolved according to a rule or process consisting of a finite numb...
Ambiguity - Wikipedia
Meaning (philosophy of language)
The nature of meaning, its definition, elements, and types, was discussed by philosophers Aristotle, Augustine, and Aquinas. According to them "meaning is a relationship between two sorts of things: s...
Meaning (philosophy of language) - Wikipedia
Non-classical logic
Non-classical logics (and sometimes alternative logics) is the name given to formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. Th...
Syntax (logic)
In logic, syntax is anything having to do with formal languages or formal systems without regard to any interpretation or meaning given to them. Syntax is concerned with the rules used for constructin...
Cognitive synonymy
Cognitive synonymy is a type of synonymy in which synonyms are so similar in meaning that they cannot be differentiated either denotatively or connotatively, that is, not even by mental associations, ...
Sense and reference
Sinn and Bedeutung are usually translated, respectively, as sense and reference. Two different aspects of some terms' meanings, a term's reference is the object to which the term refers, while the te...
Sense and reference - Wikipedia
C-value enigma
The C-value enigma or C-value paradox is the complex puzzle surrounding the extensive variation in nuclear genome size among eukaryotic species. At the center of the C-value enigma is the observation ...
Mediated reference theory
The mediated reference theory is a semantic theory that posits that words refer to something in the external world, but insists that there is more to the meaning of a name than simply the object to wh...
Interval temporal logic
Interval temporal logic (also interval logic) is a temporal logic for representing both propositional and first-order logical reasoning about periods of time that is capable of handling both sequentia...