Combining Texts

All the ideas for 'Intensional Logic', 'Impossible Objects: interviews' and 'Against the Professors (six books)'

unexpand these ideas     |    start again     |     specify just one area for these texts


22 ideas

1. Philosophy / C. History of Philosophy / 2. Ancient Philosophy / b. Pre-Socratic philosophy
Philosophy really got started as the rival mode of discourse to tragedy [Critchley]
     Full Idea: The pre-Socratics are interesting, but philosophy really begins in drama; it's a competitive discourse to tragedy. Which is why Plato's 'Republic' excludes the poets: they're the competition; gotta get rid of them.
     From: Simon Critchley (Impossible Objects: interviews [2012], 6)
     A reaction: That's an interesting and novel perspective. So what was the 'discourse' of tragedy saying, and why did that provoke the new rival? Was it too fatalistic?
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / d. Philosophy as puzzles
Philosophy begins in disappointment, notably in religion and politics [Critchley]
     Full Idea: I claim that philosophy begins in disappointment, and there are two forms of disappointment that interest me: religious and political disappointment
     From: Simon Critchley (Impossible Objects: interviews [2012], 2)
     A reaction: You are only disappointed by reality if you expected something better. To be disappointed by the failures of religion strikes me as rather old-fashioned, which Critchley sort of admits. Given the size and tumult of modern states, politics isn't promising.
1. Philosophy / G. Scientific Philosophy / 3. Scientism
Science gives us an excessively theoretical view of life [Critchley]
     Full Idea: One of the problems with the scientific worldview is that it leads human beings to have an overwhelmingly theoretical relationship to the world.
     From: Simon Critchley (Impossible Objects: interviews [2012], 2)
     A reaction: Critchley is defending phenomenology, but this also supports its cousin, existentialism. I keep meeting bright elderly men who have immersed themselves in the study of science, and they seem very remote from the humanist culture I love.
1. Philosophy / H. Continental Philosophy / 2. Phenomenology
Phenomenology uncovers and redescribes the pre-theoretical layer of life [Critchley]
     Full Idea: Phenomenology is a philosophical method that tries to uncover the pre-theoretical layer of human experience and redescribe it.
     From: Simon Critchley (Impossible Objects: interviews [2012], 2)
     A reaction: I would be delighted if someone could tell me what this means in practice. I have the impression of lots of talk about phenomenology, but not much doing of it. Clearly I must enquire further.
3. Truth / A. Truth Problems / 5. Truth Bearers
It is only when we say a proposition that we speak truly or falsely [Sext.Empiricus]
     Full Idea: It is only when we say a proposition that we speak truly or falsely.
     From: Sextus Empiricus (Against the Professors (six books) [c.180], 8.74)
     A reaction: This makes assertions truth-bearers, rather than propositions. But a proposition can be true or false if it is stamped with a date and/or place. "Shakespeare was born in Stratford on 23rd April 1664". No one needs to assert that.
4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
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.
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)
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
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]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
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)
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
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)
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
'Man is a rational mortal animal' is equivalent to 'if something is a man, that thing is a rational mortal animal' [Sext.Empiricus]
     Full Idea: Definitions are identical to universal propositions in meaning, and only differ in syntax, for whoever says 'Man is a rational mortal animal' says the same thing in meaning as whoever says 'If something is a man, that thing is a rational mortal animal'.
     From: Sextus Empiricus (Against the Professors (six books) [c.180], 11.8)
     A reaction: How strikingly like Bertrand Russell's interest and solutions. Sextus shows a straightforward interest in logical form, of a kind we associate with the twentieth century. Did Sextus Empiricus invent quantification?
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
λ-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.
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
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.
14. Science / A. Basis of Science / 1. Observation
How can you investigate without some preconception of your object? [Sext.Empiricus]
     Full Idea: A preconception and conception must precede every object of investigation, for how can anyone even investigate without some conception of the object of investigation?
     From: Sextus Empiricus (Against the Professors (six books) [c.180], 8.331a)
     A reaction: The Duhem-Quine thesis about the 'theory-ladenness of observation' is just a revival of some routine ancient scepticism. As well as a conceptual scheme to accommodate the observation, there must also be some motivation for the investigation.
21. Aesthetics / B. Nature of Art / 8. The Arts / b. Literature
Wallace Stevens is the greatest philosophical poet of the twentieth century in English [Critchley]
     Full Idea: Wallace Stevens is the greatest philosophical poet of the twentieth century in the English language - full stop - in my humble opinion.
     From: Simon Critchley (Impossible Objects: interviews [2012], 6)
     A reaction: I include this because I tend to agree, and love Stevens. Hear recordings of him reading. I once mentioned Stevens in a conversation with Ted Hughes, and he just shrugged and said Stevens 'wasn't much of a poet'. Wrong.
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
Interesting art is always organised around ethical demands [Critchley]
     Full Idea: I don't think that art can be unethical. I think that interesting art is always ethical. It is organised around ethical demands.
     From: Simon Critchley (Impossible Objects: interviews [2012], 8)
     A reaction: It is a struggle to make this fit instrumental music. Critchley likes punk rock, so he might not see the problem. How to compare Bachian, Mozart, Beethovenian and Debussyian ethics? Not impossible.
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / d. Ethical theory
The problems is not justifying ethics, but motivating it. Why should a self seek its good? [Critchley]
     Full Idea: The issue is not so much justification as motivation, that in virtue of which the self can be motivated to act on some conception of the good. ...How does a self bind itself to whatever it determines as its good?
     From: Simon Critchley (Impossible Objects: interviews [2012], 2)
     A reaction: That is a bold and interesting idea about the starting point for ethics. It is always a problem for Aristotle, that he can offer no motivation for the quest for virtue. Contractarians start from existing motivations, but that isn't impressive.
23. Ethics / B. Contract Ethics / 9. Contractualism
Right actions, once done, are those with a reasonable justification [Sext.Empiricus]
     Full Idea: Right action is whatever, once it has been done, has a reasonable justification.
     From: Sextus Empiricus (Against the Professors (six books) [c.180], 7.158)
     A reaction: Why does he add 'once it has been done'? Wouldn't a proposed action be right if it had a reasonable justification? This grows out of the classical and Stoic emphasis on reason in ethics, and leads towards Scanlon's Contractualism.
24. Political Theory / D. Ideologies / 2. Anarchism
Anarchism used to be libertarian (especially for sexuality), but now concerns responsibility [Critchley]
     Full Idea: Anarchism in the 1960s was libertarian and organised around issues of sexual liberation. That moment has passed. People are and should be organising around responsibility.
     From: Simon Critchley (Impossible Objects: interviews [2012], 3)
     A reaction: So there are two types of anarchism, focused on freedom or on responsibility. An organisation like Greenpeace might represent the latter.
The state, law, bureaucracy and capital are limitations on life, so I prefer federalist anarchism [Critchley]
     Full Idea: I begin with the ontological premise that the state is a limitation on human existence. I am against the state, law, bureaucracy, and capital. I see anarchism as the only desirable way of organising, politically. ...Its political form is federalist.
     From: Simon Critchley (Impossible Objects: interviews [2012], 3)
     A reaction: Hm. Some sympathy, but caution. All systems, even federalist anarchism, are limitations on our lives, so which limitations do we prefer? The law aspires to a calm egalitarian neutrality, which seems promising to me.
24. Political Theory / D. Ideologies / 3. Conservatism
Belief that humans are wicked leads to authoritarian politics [Critchley]
     Full Idea: If you think human beings are wicked, you turn to an authoritarian conception of politics, the Hobbesian-Machiavellian-Straussian lie.
     From: Simon Critchley (Impossible Objects: interviews [2012], 3)
     A reaction: Right-wingers also tend to believe in free will, so they can blame and punish. Good people are more inspired by a great leader than bad people are? (Later, Critchley says authoritarians usually believe in original sin).
26. Natural Theory / A. Speculations on Nature / 4. Mathematical Nature
The tektraktys (1+2+3+4=10) is the 'fount of ever-flowing nature' [Sext.Empiricus]
     Full Idea: The tektraktys (1+2+3+4=10) is the 'fount of ever-flowing nature', because nature is a harmony of three concords (4th,5th and octave), and these ratios (4:3, 3:2, and 2:1) are found in the tektraktys.
     From: Sextus Empiricus (Against the Professors (six books) [c.180], 7.95)