19 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] |
13445 | Descartes showed a one-one order-preserving match between points on a line and the real numbers [Descartes, by Hart,WD] |
16774 | Descartes thinks distinguishing substances from aggregates is pointless [Descartes, by Pasnau] |
7400 | Descartes said images can refer to objects without resembling them (as words do) [Descartes, by Tuck] |
4310 | We have inner awareness of our freedom [Descartes] |
6553 | Descartes discussed the interaction problem, and compared it with gravity [Descartes, by Lycan] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
19676 | Nature is devoid of thought [Descartes, by Meillassoux] |
6518 | Matter can't just be Descartes's geometry, because a filler of the spaces is needed [Robinson,H on Descartes] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |