35 ideas
| 4187 | 'There is nothing without a reason why it should be rather than not be' (a generalisation of 'Why?') [Schopenhauer] |
| 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] |
| 14703 | Superficial necessity is true in all worlds; deep necessity is thus true, no matter which world is actual [Schroeter] |
| 4192 | All necessity arises from causation, which is conditioned; there is no absolute or unconditioned necessity [Schopenhauer] |
| 14714 | Contradictory claims about a necessary god both seem apriori coherent [Schroeter] |
| 4190 | All understanding is an immediate apprehension of the causal relation [Schopenhauer] |
| 14704 | 2D semantics gives us apriori knowledge of our own meanings [Schroeter] |
| 4191 | What we know in ourselves is not a knower but a will [Schopenhauer] |
| 21368 | The knot of the world is the use of 'I' to refer to both willing and knowing [Schopenhauer] |
| 14706 | Your view of water depends on whether you start from the actual Earth or its counterfactual Twin [Schroeter] |
| 14711 | Rationalists say knowing an expression is identifying its extension using an internal cognitive state [Schroeter] |
| 14717 | Internalist meaning is about understanding; externalist meaning is about embedding in a situation [Schroeter] |
| 14720 | Semantic theory assigns meanings to expressions, and metasemantics explains how this works [Schroeter] |
| 14695 | Semantic theories show how truth of sentences depends on rules for interpreting and joining their parts [Schroeter] |
| 14696 | Simple semantics assigns extensions to names and to predicates [Schroeter] |
| 14697 | 'Federer' and 'best tennis player' can't mean the same, despite having the same extension [Schroeter] |
| 14698 | Possible worlds semantics uses 'intensions' - functions which assign extensions at each world [Schroeter] |
| 14699 | Possible worlds make 'I' and that person's name synonymous, but they have different meanings [Schroeter] |
| 14709 | Possible worlds semantics implies a constitutive connection between meanings and modal claims [Schroeter] |
| 14719 | In the possible worlds account all necessary truths are same (because they all map to the True) [Schroeter] |
| 14701 | Array worlds along the horizontal, and contexts (world,person,time) along the vertical [Schroeter] |
| 14702 | If we introduce 'actually' into modal talk, we need possible worlds twice to express this [Schroeter] |
| 14705 | Do we know apriori how we refer to names and natural kinds, but their modal profiles only a posteriori? [Schroeter] |
| 14715 | 2D fans defend it for conceptual analysis, for meaning, and for internalist reference [Schroeter] |
| 14716 | 2D semantics can't respond to contingent apriori claims, since there is no single proposition involved [Schroeter] |
| 4189 | Time may be defined as the possibility of mutually exclusive conditions of the same thing [Schopenhauer] |