24 ideas
21406 | Because there is only one human reason, there can only be one true philosophy from principles [Kant] |
10751 | Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg] |
10757 | Henkin semantics has a second domain of predicates and relations (in upper case) [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] |
21081 | We are equipped with the a priori intuitions needed for the concept of right [Kant] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
21082 | A power-based state of nature may not be unjust, but there is no justice without competent judges [Kant] |
21089 | Monarchs have the highest power; autocrats have complete power [Kant] |
21086 | Hereditary nobility has not been earned, and probably won't be earned [Kant] |
21080 | Actions are right if the maxim respects universal mutual freedoms [Kant] |
21083 | Women have no role in politics [Kant] |
21407 | Equality is not being bound in ways you cannot bind others [Kant] |
21084 | In the contract people lose their rights, but immediately regain them, in the new commonwealth [Kant] |
21090 | If someone has largely made something, then they own it [Kant] |
21087 | Human life is pointless without justice [Kant] |
21088 | Justice asserts the death penalty for murder, from a priori laws [Kant] |
21085 | The church has a political role, by offering a supreme power over people [Kant] |