19 ideas
10476 | The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W] |
1564 | True and false statements can use exactly the same words [Anon (Diss)] |
10478 | Since first-order languages are complete, |= and |- have the same meaning [Hodges,W] |
10477 | |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W] |
10474 | |= should be read as 'is a model for' or 'satisfies' [Hodges,W] |
10473 | Model theory studies formal or natural language-interpretation using set-theory [Hodges,W] |
10475 | A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W] |
10481 | Models in model theory are structures, not sets of descriptions [Hodges,W] |
10480 | First-order logic can't discriminate between one infinite cardinal and another [Hodges,W] |
12739 | If we are dreaming, it is sufficient that the events are coherent, and obey laws [Leibniz] |
1561 | Anything can be acceptable in some circumstances and unacceptable in others [Anon (Diss)] |
1560 | Lydians prostitute their daughters to raise a dowery, but no Greek would marry such a girl [Anon (Diss)] |
1559 | Thracians think tattooing adds to a girl's beauty, but elsewhere it is a punishment [Anon (Diss)] |
12738 | Successful prediction shows proficiency in nature [Leibniz] |
1567 | How could someone who knows everything fail to act correctly? [Anon (Diss)] |
1563 | Every apparent crime can be right in certain circumstances [Anon (Diss), by PG] |
1562 | It is right to lie to someone, to get them to take medicine they are reluctant to take [Anon (Diss)] |
1566 | The first priority in elections is to vote for people who support democracy [Anon (Diss)] |
1565 | We learn language, and we don't know who teaches us it [Anon (Diss)] |