20 ideas
10757 | Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg] |
10751 | Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg] |
10759 | There are at least seven possible systems of semantics for second-order logic [Rossberg] |
10753 | Logical consequence is intuitively semantic, and captured by model theory [Rossberg] |
10752 | Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg] |
10754 | In proof-theory, logical form is shown by the logical constants [Rossberg] |
10756 | A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg] |
10758 | If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg] |
10761 | Completeness can always be achieved by cunning model-design [Rossberg] |
10755 | A deductive system is only incomplete with respect to a formal semantics [Rossberg] |
6019 | If someone squashed a horse to make a dog, something new would now exist [Mnesarchus] |
23438 | Full rationality must include morality [Foot] |
23437 | Practical reason is goodness in choosing actions [Foot] |
23436 | It is an odd Humean view to think a reason to act must always involve caring [Foot] |
23431 | Human defects are just like plant or animal defects [Foot] |
23433 | Humans need courage like a plant needs roots [Foot] |
23432 | Concepts such as function, welfare, flourishing and interests only apply to living things [Foot] |
23434 | There is no fact-value gap in 'owls should see in the dark' [Foot] |
23439 | Principles are not ultimate, but arise from the necessities of human life [Foot] |
23435 | If you demonstrate the reason to act, there is no further question of 'why should I?' [Foot] |