31 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] |
14082 | No sortal could ever exactly pin down which set of particles count as this 'cup' [Schaffer,J] |
14081 | Identities can be true despite indeterminate reference, if true under all interpretations [Schaffer,J] |
23125 | Most good social changes are incremental, rather than revolutionary [Gopnik] |
23126 | Conservatives often want peace, prosperity and tolerance, but not social fairness [Gopnik] |
23132 | Conservatives believe obedience and rank are essential to social order [Gopnik] |
23128 | The opposite of liberalism is dogmatism [Gopnik] |
23142 | People are fallible, so liberalism tries to distribute power [Gopnik] |
23143 | Liberals have tried very hard to build a conscience into their institutions [Gopnik] |
23141 | Left-wingers are inconsistent in their essentialist descriptions of social groups [Gopnik] |
23124 | Liberal community is not blood ties or tradition, but shared choices, and sympathy for the losers [Gopnik] |
23127 | Liberal community includes flight from the family, into energetic reforming groups [Gopnik] |
23138 | Modern left-wingers criticise liberalism's control of culture [Gopnik] |
23129 | Right-wingers attack liberal faith in reason, left-wingers attack its faith in reform [Gopnik] |
23133 | Cosmopolitan liberals lack national loyalty, and welcome excessive immigration [Gopnik] |
23139 | Liberalism's attempt to be neutral and colour-blind erases cultural identities [Gopnik] |
23135 | Classic Marxists see liberalism as the ideology of the bourgeoisie [Gopnik] |
23140 | Environmental disasters result not from capitalism, but from a general drive for growth [Gopnik] |
23130 | Popular imperialism gives the poor the belief that their acts have world historical meaning [Gopnik] |
23131 | Patriots love their place, but nationalists have a paranoid ethnic hostility [Gopnik] |
23136 | Liberal free speech is actually paid speech [Gopnik] |
23134 | A 'free' society implies a free market, which always produces predatory capitalism and inequalities [Gopnik] |