13 ideas
| 9777 | Kant was the first philosopher [Zizek] |
| Full Idea: From today's perspective it is in a way clear that Kant was the first philosopher. Pre-Kantian philosophy cannot think in his transcendental aspect. | |
| From: Slavoj Zizek (Conversations, with Glyn Daly [2004], §1) | |
| A reaction: It is probably equally plausible to say that Kant was the last philosopher. More thought-provoking than true. |
| 9778 | There is no dialogue in philosophy [Zizek] |
| Full Idea: I think I truly became a philosopher when I realised that there is no dialogue in philosophy. Plato's dialogues are clearly fakes, with one guy talking most of the time. ...Philosophy as an interdisciplinary project is the ultimate nightmare. | |
| From: Slavoj Zizek (Conversations, with Glyn Daly [2004], §1) | |
| A reaction: This goes against all my prejudices in favour of teamwork and mutual criticism (e.g. Idea 1576), but I was a bit shaken by it, and have begun to wonder whether I must just face up to the solitary nature of the enterprise. |
| 9779 | Philosophy is transcendental questioning (not supporting science or constructing ontology) [Zizek] |
| Full Idea: Philosophy can no longer play its traditional roles, giving foundations to science, or constructing general ontology. It should simply fulfil its task of transcendental questioning. | |
| From: Slavoj Zizek (Conversations, with Glyn Daly [2004], §2) | |
| A reaction: I remain unsure what is being recommended, unless it is for philosophy to start asking questions just at the point where everyone else gives up. |
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3) | |
| A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.3) |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
| A reaction: [He cites Fagin and Halpern 1988 for this] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
| From: Melvin Fitting (Intensional Logic [2007], §1) |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
| From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
| A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
| 13120 | Chisholm divides things into contingent and necessary, and then individuals, states and non-states [Chisholm, by Westerhoff] |
| Full Idea: Chisholm's Ontological Categories: ENTIA - {Contingent - [Individual - (Boundaries)(Substances)] [States - (Events)]} {Necessary - [States] [Non-States - (Attributes)(Substance)]} | |
| From: report of Roderick Chisholm (A Realistic Theory of Categories [1996], p.3) by Jan Westerhoff - Ontological Categories §01 | |
| A reaction: [I am attempting a textual representation of a tree diagram! The bracket-styles indicate the levels.] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
| A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
| 9780 | Consciousness is a malfunction of evolution [Zizek] |
| Full Idea: Consciousness is a kind of mistake, a malfunction of evolution, and out of this mistake a miracle occurred. | |
| From: Slavoj Zizek (Conversations, with Glyn Daly [2004], §2) | |
| A reaction: Rather hard to prove, but actually quite an uplifting thought. If consciousness only evolved so that we could navigate and defend ourselves, our 'higher' activities seem irrelevant. But Zizek's view means we can make them central. Nice. |
| 9781 | Tolerance and love are strategies to avoid encountering our neighbours [Zizek] |
| Full Idea: All this preaching about tolerance, love for one's neighbour and so on, are ultimately strategies to avoid encountering the neighbour. | |
| From: Slavoj Zizek (Conversations, with Glyn Daly [2004], §2) | |
| A reaction: I have begun to wonder whether some such motivation underlies the modern obsession with raising huge sums for charity. |