10 ideas
14965 | Truth rests on Elimination ('A' is true → A) and Introduction (A → 'A' is true) [Gupta] |
Full Idea: The basic principles governing truth are Truth Elimination (sentence A follows from ''A' is true') and the converse Truth Introduction (''A' is true' follows from A), which combine into Tarski's T-schema - 'A' is true if and only if A. | |
From: Anil Gupta (Truth [2001], 5.1) | |
A reaction: Introduction and Elimination rules are the basic components of natural deduction systems, so 'true' now works in the same way as 'and', 'or' etc. This is the logician's route into truth. |
14968 | A weakened classical language can contain its own truth predicate [Gupta] |
Full Idea: If a classical language is expressively weakened - for example, by dispensing with negation - then it can contain its own truth predicate. | |
From: Anil Gupta (Truth [2001], 5.2) | |
A reaction: Thus the Tarskian requirement to move to a metalanguage for truth is only a requirement of a reasonably strong language. Gupta uses this to criticise theories that dispense with the metalanguage. |
14964 | The Liar reappears, even if one insists on propositions instead of sentences [Gupta] |
Full Idea: There is the idea that the Liar paradox is solved simply by noting that truth is a property of propositions (not of sentences), and the Liar sentence does not express a proposition. But we then say 'I am not now expressing a true proposition'! | |
From: Anil Gupta (Truth [2001], 5.1) | |
A reaction: Disappointed to learn this, since I think focusing on propositions (which are unambiguous) rather than sentences solves a huge number of philosophical problems. |
14969 | Strengthened Liar: either this sentence is neither-true-nor-false, or it is not true [Gupta] |
Full Idea: An example of the Strengthened Liar is the following statement SL: 'Either SL is neither-true-nor-false or it is not true'. This raises a serious problem for any theory that assesses the paradoxes to be neither true nor false. | |
From: Anil Gupta (Truth [2001], 5.4.2) | |
A reaction: If the sentence is either true or false it reduces to the ordinary Liar. If it is neither true nor false, then it is true. |
3286 | An organism is conscious if and only if there is something it is like to be that organism [Nagel] |
Full Idea: An organism only has conscious mental states if and only if there is something that it is like to be that organism. | |
From: Thomas Nagel (What is it like to be a bat? [1974], p.166) | |
A reaction: It is hard to argue with this, but one should push on and ask what features of its consciousness make it such that there is a 'what it is like'. What is it like to have a subconscious mind, or be deeply asleep, or drive while daydreaming? |
3288 | Can we describe our experiences to zombies? [Nagel] |
Full Idea: The goal of an objective phenomenology would be to describe, at least in part, the subjective character of experiences in a form comprehensible to beings incapable of having those experiences. | |
From: Thomas Nagel (What is it like to be a bat? [1974], p.179) | |
A reaction: This seems a bizarre expectation. We can already explain visual experience to the blind up to a point, but no one is dreaming of an "objective phenomenology" which will give blind people total understanding, just by reading about it in braille. |
4883 | Nagel's title creates an impenetrable mystery, by ignoring a bat's ways that may not be "like" anything [Dennett on Nagel] |
Full Idea: Nagel's title invites us to ignore all the different ways in which bats might accomplish their cunning feats without its "being like" anything for them. We create an impenetrable mystery for ourselves if we assume that Nagel's title makes sense. | |
From: comment on Thomas Nagel (What is it like to be a bat? [1974]) by Daniel C. Dennett - Kinds of Minds Ch.6 | |
A reaction: This could well be correct about bats, but the question applies to humans as well, and we can't deny that "what it is like" is a feature of some creatures' realities. On the fringes of our own consciousness there are mental events that are "like" nothing. |
3287 | We can't be objective about experience [Nagel] |
Full Idea: If the subjective character of experience is fully comprehensible only from one point of view, then any shift to greater objectivity does not take us nearer to the real nature of the phenomenon: it takes us further away from it. | |
From: Thomas Nagel (What is it like to be a bat? [1974], p.174) | |
A reaction: We can, however, talk to one another about our subjectivity, and compare notes, and such 'inter-subjectivity' may be one approach to objectivity. We must concede Nagel's point, but we also miss something about a stone if we must remain outside of it. |
4989 | Physicalism should explain how subjective experience is possible, but not 'what it is like' [Kirk,R on Nagel] |
Full Idea: A physicalist account of conscious experience must explain how it is possible for a physical system to be a conscious subject, but not 'what it is like' for some organism. | |
From: comment on Thomas Nagel (What is it like to be a bat? [1974]) by Robert Kirk - Mind and Body §4.2 | |
A reaction: You can't entirely evade Nagel's challenge. We are trying to discover the 'neural correlate of consciousness', which will explain why we are conscious, but we also want to know why we experience green for one wavelength, and red for another. |
6017 | Nomos is king [Pindar] |
Full Idea: Nomos is king. | |
From: Pindar (poems [c.478 BCE], S 169), quoted by Thomas Nagel - The Philosophical Culture | |
A reaction: This seems to be the earliest recorded shot in the nomos-physis wars (the debate among sophists about moral relativism). It sounds as if it carries the full relativist burden - that all that matters is what has been locally decreed. |