Talk:Philosophy of logic
|WikiProject Philosophy||(Rated Start-class, High-importance)|
For the record the originally suggested section headings were:
- Truth, Propositions and Meaning
- Logical Truth
- The analytic-synthetic distinction
- Tarski's definition of Truth
- Leibniz's Law
- Rationality and Logic
- Are Logical Truths a priori or a posteriori knowledge? Synthetic or Analytic?
- The problem of non-being
- Vacuous names
- Do unicorns have horns and did Hamlet see a real ghost?
- Does the square root of minus one have the same ontological status at the sqaure root of two===
- Do predicates have properties?
- The status of the Laws of Logic
- Classical Logic
Ps and Qs =
I am just wondering whether the Ps and Qs of the section Philosophy_of_logic#Analytic_Truths.2C_Logical_truth.2C_Validity.2C_Logical_consequence_and_Entailment need to be explained. I would think that p is used for proposition and wondered whether q, in the current sense, might also relate to qualia.