27 ideas
18915 | If facts are the truthmakers, they are not in the world [Engelbretsen] |
Full Idea: If there are such things as truthmakers (facts), they are not to be found in the world. As Strawson would say to Austin: there is the cat, there is the mat, but where in the world is the fact that the cat is on the mat? | |
From: George Engelbretsen (Trees, Terms and Truth [2005], 4) | |
A reaction: He cites Strawson, Quine and Davidson for this point. |
18919 | There are no 'falsifying' facts, only an absence of truthmakers [Engelbretsen] |
Full Idea: A false proposition is not made false by anything like a 'falsifying' fact. A false proposition simply fails to be made true by any fact. | |
From: George Engelbretsen (Trees, Terms and Truth [2005], 4) | |
A reaction: Sounds good. In truthmaker theory, one truth-value (T) is 'made', but the other one is not, so there is no symmetry between the two. Better to talk of T and not-T? See ideas on Excluded Middle. |
1564 | True and false statements can use exactly the same words [Anon (Diss)] |
Full Idea: There is no difference between a true statement and a false statement, because they can use exactly the same words. | |
From: Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §4) |
18913 | Traditional term logic struggled to express relations [Engelbretsen] |
Full Idea: The greatest challenge for traditional term logicians was the proper formulation and treatment of relational expressions. | |
From: George Engelbretsen (Trees, Terms and Truth [2005]) | |
A reaction: The modern term logic of Fred Sommers claims to have solved this problem. |
18907 | Term logic rests on negated terms or denial, and that propositions are tied pairs [Engelbretsen] |
Full Idea: That terms can be negated, that such negation is distinguishable from denial, and that propositions can be construed syntactically as predicationally tied pairs of terms, are important for the tree theory of predication, and for term logic. | |
From: George Engelbretsen (Trees, Terms and Truth [2005], 2) |
18912 | Was logic a branch of mathematics, or mathematics a branch of logic? [Engelbretsen] |
Full Idea: Nineteenth century logicians debated whether logic should be treated simply as a branch of mathematics, and mathematics could be applied to it, or whether mathematics is a branch of logic, with no mathematics used in formulating logic. | |
From: George Engelbretsen (Trees, Terms and Truth [2005], 3) | |
A reaction: He cites Boole, De Morgan and Peirce for the first view, and Frege and Russell (and their 'logicism') for the second. The logic for mathematics slowly emerged from doing it, long before it was formalised. Mathematics is the boss? |
18922 | Logical syntax is actually close to surface linguistic form [Engelbretsen] |
Full Idea: The underlying logical syntax of language is close to the surface syntax of ordinary language. | |
From: George Engelbretsen (Trees, Terms and Truth [2005], 5) | |
A reaction: This is the boast of the Term logicians, in opposition to the strained and unnatural logical forms of predicate logic, which therefore don't give a good account of the way ordinary speakers reason. An attractive programme. 'Terms' are the key. |
18905 | Propositions can be analysed as pairs of terms glued together by predication [Engelbretsen] |
Full Idea: Sommers's 'tree theory' of predication assumes that propositions can be analysed as pairs of terms joined by some kind of predicational glue. | |
From: George Engelbretsen (Trees, Terms and Truth [2005], 2) | |
A reaction: This is the basis of Sommers's upgraded Aristotelian logic, known as Term Logic. The idea of reasoning with 'terms', rather than with objects, predicates and quantifiers, seems to me very appealing. I think I reason more about facts than about objects. |
18908 | Standard logic only negates sentences, even via negated general terms or predicates [Engelbretsen] |
Full Idea: Standard logic recognises only one kind of negation: sentential negation. Consequently, negation of a general term/predicate always amounts to negation of the entire sentence. | |
From: George Engelbretsen (Trees, Terms and Truth [2005], 3) |
18917 | Existence and nonexistence are characteristics of the world, not of objects [Engelbretsen] |
Full Idea: Existence and nonexistence are not primarily properties of individual objects (dogs, unicorns), but of totalities. To say that some object exists is just to say that it is a constituent of the world, which is a characteristic of the world, not the object. | |
From: George Engelbretsen (Trees, Terms and Truth [2005], 4) | |
A reaction: This has important implications for the problem of truthmakers for negative existential statements (like 'there are no unicorns'). It is obviously a relative of Armstrong's totality facts that do the job. Not sure about 'a characteristic of'. |
18916 | Facts are not in the world - they are properties of the world [Engelbretsen] |
Full Idea: Facts must be viewed as properties of the world - not as things in the world. | |
From: George Engelbretsen (Trees, Terms and Truth [2005], 4) | |
A reaction: Not sure I'm happy with either of these. Do animals grasp facts? If not, are they (as Strawson said) just the truths expressed by true sentences? That is not a clear idea either, given that facts are not the sentences themselves. Facts overlap. |
18921 | Individuals are arranged in inclusion categories that match our semantics [Engelbretsen] |
Full Idea: The natural categories of individuals are arranged in a hierarchy of inclusion relations that is isomorphic with the linguistic semantic structure. | |
From: George Engelbretsen (Trees, Terms and Truth [2005], 5) | |
A reaction: This is the conclusion of a summary of modern Term Logic. The claim is that Sommers discerned this structure in our semantics (via the study of 'terms'), and was pleasantly surprised to find that it matched a plausible structure of natural categories. |
1559 | Thracians think tattooing adds to a girl's beauty, but elsewhere it is a punishment [Anon (Diss)] |
Full Idea: Thracians think that tattooing enhances a girl's beauty, whereas for everyone else tattooing is a punishment for a crime. | |
From: Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §2) |
1561 | Anything can be acceptable in some circumstances and unacceptable in others [Anon (Diss)] |
Full Idea: Anything can be acceptable under the right circumstances, and unacceptable under the wrong circumstances. | |
From: Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §2) |
1560 | Lydians prostitute their daughters to raise a dowery, but no Greek would marry such a girl [Anon (Diss)] |
Full Idea: The Lydians find it acceptable for their daughters to work as prostitutes to raise money for getting married, but no one in Greece would be prepared to marry such a girl. | |
From: Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §2) |
3539 | Personal identity is just causally related mental states [Parfit, by Maslin] |
Full Idea: For Parfit all personal identity really amounts to is a chain of experiences and other psychological features causally related to each other in 'direct' sorts of ways. | |
From: report of Derek Parfit (Personal Identity [1971]) by Keith T. Maslin - Introduction to the Philosophy of Mind 10.5 | |
A reaction: When summarised like this, it strikes me that Parfit is just false to our experience, whatever Hume may say. I suspect that Parfit (and those like him) concentrate too much on rather passive perceptual experience, and neglect the will. |
1393 | One of my future selves will not necessarily be me [Parfit] |
Full Idea: If I say 'It will not be me, but one of my future selves', I do not imply that I will be that future self. He is one of my later selves, and I am one of his earlier selves. There is no underlying person we both are. | |
From: Derek Parfit (Personal Identity [1971], §5) | |
A reaction: The problem here seems to be explaining why I should care about my later self, if it isn't me. If the answer is only that it will be psychologically very similar to me, then I would care more about my current identical twin than about my future self. |
1392 | If we split like amoeba, we would be two people, neither of them being us [Parfit] |
Full Idea: In the case of the man who, like an amoeba, divides….we can suggest that he survives as two different people without implying that he is those people. | |
From: Derek Parfit (Personal Identity [1971], §1) | |
A reaction: Maybe an amoeba is a homogeneous substance for which splitting is insignificant, but when a person has certain parts that are totally crucial, splitting them is catastrophic, and quite different. I'm not sure that splitting a self would leave persons. |
1391 | Concern for our own lives isn't the source of belief in identity, it is the result of it [Parfit] |
Full Idea: Egoism, and the fear not of near but of distant death, and the regret that so much of one's life should have gone by - these are not, I think, wholly natural or instinctive. They are strengthened by a false belief in stable identity. | |
From: Derek Parfit (Personal Identity [1971], §6) | |
A reaction: This raises some very nice questions, about the extent to which various aspects of self-concern are instinctive and natural, or culturally induced, and even totally misguided and false. I can worry about the distant death of my guinea pig, or my grandson. |
18918 | Terms denote objects with properties, and statements denote the world with that property [Engelbretsen] |
Full Idea: In term logic, what a term denotes are the objects having the property it signifies. What a statement denotes is the world, that which has the constitutive property it signifies. | |
From: George Engelbretsen (Trees, Terms and Truth [2005], 4) |
18920 | 'Socrates is wise' denotes a sentence; 'that Socrates is wise' denotes a proposition [Engelbretsen] |
Full Idea: Whereas 'Socrates is wise' denotes a sentence, 'that Socrates is wise' denotes a proposition. | |
From: George Engelbretsen (Trees, Terms and Truth [2005], 4) | |
A reaction: In traditional parlance, 'reported speech' refers to the underlying proposition, because it does not commit to the actual words being used. As a lover of propositions (as mental events, not mysterious abstract objects), I like this. |
18906 | Negating a predicate term and denying its unnegated version are quite different [Engelbretsen] |
Full Idea: There is a crucial distinction in term logic between affirming a negated predicate term of some subject and denying the unnegated version of that term of that same subject. We must distinguish 'X is non-P' from 'X is not P'. | |
From: George Engelbretsen (Trees, Terms and Truth [2005], 2) | |
A reaction: The first one affirms something about X, but the second one just blocks off a possible description of X. 'X is non-harmful' and 'X is not harmful' - if X had ceased to exist, the second would be appropriate and the first wouldn't? I'm guessing. |
1567 | How could someone who knows everything fail to act correctly? [Anon (Diss)] |
Full Idea: If someone knows the nature of everything, how could he fail to be able also to act correctly in every case? | |
From: Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §8) |
1563 | Every apparent crime can be right in certain circumstances [Anon (Diss), by PG] |
Full Idea: It can be right, in certain circumstances, to steal, to break a solemn promise, to rob temples, and even (as Orestes did) to murder one's nearest and dearest. | |
From: report of Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §3) by PG - Db (ideas) | |
A reaction: Not sure about the last one! I suppose you can justify any hideousness if the fate of the universe depends on it. It must be better to die than the perform certain extreme deeds. |
1562 | It is right to lie to someone, to get them to take medicine they are reluctant to take [Anon (Diss)] |
Full Idea: It is right to lie to your parents, in order to get them to take a good medicine they are reluctant to take. | |
From: Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §3) | |
A reaction: I dread to think what the medicines were which convinced the writer of this. A rule such as this strikes me as dangerous. Justifiable in extreme cases. House on fire etc. |
1566 | The first priority in elections is to vote for people who support democracy [Anon (Diss)] |
Full Idea: A lottery is not democratic, because every state contains people who are not democratic, and if the lottery chooses them they will destroy the democracy. People should elect those who are observed to favour democracy. | |
From: Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §7) |
1565 | We learn language, and we don't know who teaches us it [Anon (Diss)] |
Full Idea: We learn language, and we don't know who teaches us it. | |
From: Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §6) |