20 ideas
10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
Full Idea: 'Equivocation' is when the terms do not mean the same thing in the premises and in the conclusion. | |
From: JC Beall / G Restall (Logical Consequence [2005], Intro) |
10690 | Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall] |
Full Idea: Logic is purely formal either when it is invariant under permutation of object (Tarski), or when it has totally abstracted away from all contents, or it is the constitutive norms for thought. | |
From: JC Beall / G Restall (Logical Consequence [2005], 2) | |
A reaction: [compressed] The third account sounds rather woolly, and the second one sounds like a tricky operation, but the first one sounds clear and decisive, so I vote for Tarski. |
10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
Full Idea: Technical work on logical consequence has either focused on proofs, where validity is the existence of a proof of the conclusions from the premises, or on models, which focus on the absence of counterexamples. | |
From: JC Beall / G Restall (Logical Consequence [2005], 3) |
10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
Full Idea: Two different views of logical consequence are necessary truth-preservation (based on modelling possible worlds; favoured by Realists), or truth-preservation based on the meanings of the logical vocabulary (differing in various models; for Anti-Realists). | |
From: JC Beall / G Restall (Logical Consequence [2005], 2) | |
A reaction: Thus Dummett prefers the second view, because the law of excluded middle is optional. My instincts are with the first one. |
10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
Full Idea: A logical step is a 'material consequence' and not a formal one, if we need the contents as well as the structure or form. | |
From: JC Beall / G Restall (Logical Consequence [2005], 2) |
10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
Full Idea: If a conclusion follows from an empty collection of premises, it is true by logic alone, and is a 'logical truth' (sometimes a 'tautology'), or, in the proof-centred approach, 'theorems'. | |
From: JC Beall / G Restall (Logical Consequence [2005], 4) | |
A reaction: These truths are written as following from the empty set Φ. They are just implications derived from the axioms and the rules. |
10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |
Full Idea: Models are abstract mathematical structures that provide possible interpretations for each of the non-logical primitives in a formal language. | |
From: JC Beall / G Restall (Logical Consequence [2005], 3) |
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
Full Idea: There are many proof-systems, the main being Hilbert proofs (with simple rules and complex axioms), or natural deduction systems (with few axioms and many rules, and the rules constitute the meaning of the connectives). | |
From: JC Beall / G Restall (Logical Consequence [2005], 3) |
5953 | For the Cyrenaics experience was not enough to give certainty about reality [Aristippus young, by Plutarch] |
Full Idea: The Cyrenaics, placing all experience within themselves, thought such evidence was insufficient warrant for certainty about reality, and withdrew as in a siege from the world, admitting that objects 'appear', but refusing to pronounce the word 'are'. | |
From: report of Aristippus the younger (fragments/reports [c.335 BCE]) by Plutarch - 74: Reply to Colotes §1120 | |
A reaction: This seems to be the most extreme position found in ancient thought. It accompanies their extreme hedonism, based on the reality of experience and lack of interest in anything external. A bit daft, really. |
13768 | Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington] |
Full Idea: If your interest in logic is confined to applications to mathematics or other a priori matters, it is fine for validity to preserve certainty, ..but if you use conditionals when arguing about contingent matters, then great caution will be required. | |
From: Dorothy Edgington (Conditionals [2001], 17.2.1) |
13770 | There are many different conditional mental states, and different conditional speech acts [Edgington] |
Full Idea: As well as conditional beliefs, there are conditional desires, hopes, fears etc. As well as conditional statements, there are conditional commands, questions, offers, promises, bets etc. | |
From: Dorothy Edgington (Conditionals [2001], 17.3.4) |
13764 | Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington] |
Full Idea: Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? Are they non-truth-functional, like 'because' or 'before'? Do the values of A and B, in some cases, leave open the value of 'If A,B'? | |
From: Dorothy Edgington (Conditionals [2001], 17.1) | |
A reaction: I would say they are not truth-functional, because the 'if' asserts some further dependency relation that goes beyond the truth or falsity of A and B. Logical ifs, causal ifs, psychological ifs... The material conditional ⊃ is truth-functional. |
13765 | 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington] |
Full Idea: If it were possible to have A true, B false, and If A,B true, it would be unsafe to infer B from A and If A,B: modus ponens would thus be invalid. Hence 'If A,B' must entail ¬(A & ¬B). | |
From: Dorothy Edgington (Conditionals [2001], 17.1) | |
A reaction: This is a firm defence of part of the truth-functional view of conditionals, and seems unassailable. The other parts of the truth table are open to question, though, if A is false, or they are both true. |
3023 | Even the foolish may have some virtues [Aristippus young, by Diog. Laertius] |
Full Idea: The Cyrenaics say that some of the virtues may exist even in the foolish. | |
From: report of Aristippus the younger (fragments/reports [c.335 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.7.8 |
3026 | Actions are influenced by circumstances, so Cyrenaics say felons should be reformed, not hated [Aristippus young, by Diog. Laertius] |
Full Idea: Cyrenaics say errors should be pardoned, because men do not err intentionally but are influenced by circumstances; one should not hate a person, but only teach him better. | |
From: report of Aristippus the younger (fragments/reports [c.335 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.7.9 | |
A reaction: A very appealing suggestion, and rather wonderful for its time. There is still implied agreement about what is 'error', and what counts as 'better'. |
3024 | Cyrenaics teach that honour, justice and shame are all based on custom and fashion [Aristippus young, by Diog. Laertius] |
Full Idea: The Cyrenaics taught that there was nothing naturally and intrinsically just, or honourable, or disgraceful; but that things were considered so because of law and fashion. | |
From: report of Aristippus the younger (fragments/reports [c.335 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.7.8 | |
A reaction: As we would say now, values and virtues are 'cultural constructs'. This obviously contains a lot of truth, but I don't think our opposition of genocide is just 'fashion'. |
3025 | For a Cyrenaic no one is of equal importance to himself [Aristippus young, by Diog. Laertius] |
Full Idea: A Cyrenaic will not consider anyone else of equal importance with himself. | |
From: report of Aristippus the younger (fragments/reports [c.335 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.7.9 |
3019 | No one pleasure is different from or more pleasant than another [Aristippus young, by Diog. Laertius] |
Full Idea: No one pleasure is different from or more pleasant than another. | |
From: report of Aristippus the younger (fragments/reports [c.335 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.7.8 |
3021 | The Cyrenaics asserted that corporeal pleasures were superior to mental ones [Aristippus young, by Diog. Laertius] |
Full Idea: The Cyrenaics asserted that corporeal pleasures were superior to mental ones. | |
From: report of Aristippus the younger (fragments/reports [c.335 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.7.8 |
3027 | Cyrenaics say wise men are self-sufficient, needing no friends [Aristippus young, by Diog. Laertius] |
Full Idea: Cyrenaics say wise men are sufficient to themselves, and so have no need of friends. | |
From: report of Aristippus the younger (fragments/reports [c.335 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.7.13 |