display all the ideas for this combination of philosophers
2 ideas
9244 | Logic is easy, but what about logic to the point of death? [Camus] |
Full Idea: It is always easy to be logical. It is almost impossible to be logical to the bitter end. The only problem that interests me is: is there a logic to the point of death? | |
From: Albert Camus (The Myth of Sisyphus [1942], 'Abs and Suic') | |
A reaction: This is a lovely hand grenade to lob into an analytical logic class! It is very hard to get logicians to actually ascribe a clear value to their activity. They tend to present it as a marginal private game, and yet it has high status. |
9725 | 'Predicate abstraction' abstracts predicates from formulae, giving scope for constants and functions [Fitting/Mendelsohn] |
Full Idea: 'Predicate abstraction' is a key idea. It is a syntactic mechanism for abstracting a predicate from a formula, providing a scoping mechanism for constants and function symbols similar to that provided for variables by quantifiers. | |
From: M Fitting/R Mendelsohn (First-Order Modal Logic [1998], Pref) |