10751
|
Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg]
|
|
Full Idea:
Second-order logic raises doubts because of its ontological commitment to the set-theoretic hierarchy, and the allegedly problematic epistemic status of the second-order consequence relation.
|
|
From:
Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §1)
|
|
A reaction:
The 'epistemic' problem is whether you can know the truths, given that the logic is incomplete, and so they cannot all be proved. Rossberg defends second-order logic against the second problem. A third problem is that it may be mathematics.
|
10753
|
Logical consequence is intuitively semantic, and captured by model theory [Rossberg]
|
|
Full Idea:
Logical consequence is intuitively taken to be a semantic notion, ...and it is therefore the formal semantics, i.e. the model theory, that captures logical consequence.
|
|
From:
Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §2)
|
|
A reaction:
If you come at the issue from normal speech, this seems right, but if you start thinking about the necessity of logical consequence, that formal rules and proof-theory seem to be the foundation.
|
10752
|
Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg]
|
|
Full Idea:
Deductive consequence, written Γ|-S, is loosely read as 'the sentence S can be deduced from the sentences Γ', and semantic consequence Γ|=S says 'all models that make Γ true make S true as well'.
|
|
From:
Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §2)
|
|
A reaction:
We might read |= as 'true in the same model as'. What is the relation, though, between the LHS and the RHS? They seem to be mutually related to some model, but not directly to one another.
|
10756
|
A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg]
|
|
Full Idea:
A standard model is a set of objects called the 'domain', and an interpretation function, assigning objects in the domain to names, subsets to predicate letters, subsets of the Cartesian product of the domain with itself to binary relation symbols etc.
|
|
From:
Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §3)
|
|
A reaction:
The model actually specifies which objects have which predicates, and which objects are in which relations. Tarski's account of truth in terms of 'satisfaction' seems to be just a description of those pre-decided facts.
|
10758
|
If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg]
|
|
Full Idea:
A mathematical theory is 'categorical' if, and only if, all of its models are isomorphic. Such a theory then essentially has just one model, the standard one.
|
|
From:
Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §3)
|
|
A reaction:
So the term 'categorical' is gradually replacing the much-used phrase 'up to isomorphism'.
|
5845
|
Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon]
|
|
Full Idea:
Niceratus said that his father, because he was concerned to make him a good man, made him learn the whole works of Homer, and he could still repeat by heart the entire 'Iliad' and 'Odyssey'.
|
|
From:
Xenophon (Symposium [c.391 BCE], 3.5)
|
|
A reaction:
This clearly shows the status which Homer had in the teaching of morality in the time of Socrates, and it is precisely this acceptance of authority which he was challenging, in his attempts to analyse the true basis of virtue
|
23896
|
We see our character as a restricting limit, but also as an unshakable support [Weil]
|
|
Full Idea:
Our character appears to us as a limit by which we do not want to be imprisoned, …but also as a support that we want to believe is unshakable.
|
|
From:
Simone Weil (On the Concept of Character [1941], p.100)
|
|
A reaction:
A nice perception. It is fairly easy to criticise, or even laugh at, one's own actions, but extremely hard to criticise our own character. Maybe we all wish we were more determined in our projects, but not much else.
|
23893
|
We don't see character in a single moment, but only over a period of time [Weil]
|
|
Full Idea:
Character is constant over a period of time; the way a person is at a single moment does not at all reflect the character of this person. We do, however, concede that character changes.
|
|
From:
Simone Weil (On the Concept of Character [1941], p.98)
|
|
A reaction:
I do think, though, that there are moments in behaviour which are hugely revealing of character, even in a single remark. But I agree that most single moments do not show much.
|
23895
|
We modify our character by placing ourselves in situations, or by attending to what seems trivial [Weil]
|
|
Full Idea:
We can modify our character, by putting ourselves in circumstances that will act on us from the outside, …or by the orientation of our attention in the moments that appear most insignificant or indifferent in our lives.
|
|
From:
Simone Weil (On the Concept of Character [1941], p.99)
|
|
A reaction:
I've never seen anyone address this question (apart from Aristotle's emphasis on training habits). Choosing your source for current affairs information strikes me as very important. What you read, what you watch, who you spend time with…
|