31 ideas
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] |
22744 | Parts are not parts if their whole is nothing more than the parts [Sext.Empiricus] |
16721 | Changes in secondary qualities are caused by changes in primary qualities [Giles of Orleans] |
22748 | Some say motion is perceived by sense, but others say it is by intellect [Sext.Empiricus] |
22746 | If we try to conceive of a line with no breadth, it ceases to exist, and so has no length [Sext.Empiricus] |
22741 | The incorporeal is not in the nature of body, and so could not emerge from it [Sext.Empiricus] |
22747 | A man walking backwards on a forwards-moving ship is moving in a fixed place [Sext.Empiricus] |
22749 | Time doesn't end with the Universe, because tensed statements about destruction remain true [Sext.Empiricus] |
22750 | Time is divisible, into past, present and future [Sext.Empiricus] |
22742 | Socrates either dies when he exists (before his death) or when he doesn't (after his death) [Sext.Empiricus] |
22751 | If the present is just the limit of the past or the future, it can't exist because they don't exist [Sext.Empiricus] |
22730 | All men agree that God is blessed, imperishable, happy and good [Sext.Empiricus] |
22739 | God must suffer to understand suffering [Sext.Empiricus] |
22738 | The Divine must lack the virtues of continence and fortitude, because they are not needed [Sext.Empiricus] |
22734 | God is defended by agreement, order, absurdity of denying God, and refutations [Sext.Empiricus] |
22736 | God's sensations imply change, and hence perishing, which is absurd, so there is no such God [Sext.Empiricus] |
22740 | God without virtue is absurd, but God's virtues will be better than God [Sext.Empiricus] |
22735 | The original substance lacked motion or shape, and was given these by a cause [Sext.Empiricus] |
22732 | The perfections of God were extrapolations from mankind [Sext.Empiricus] |
22728 | Gods were invented as watchers of people's secret actions [Sext.Empiricus] |
22737 | An incorporeal God could do nothing, and a bodily god would perish, so there is no God [Sext.Empiricus] |
22731 | It is mad to think that what is useful to us, like lakes and rivers, are gods [Sext.Empiricus] |