18 ideas
6021 | It is only when we say a proposition that we speak truly or falsely [Sext.Empiricus] |
14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
6020 | 'Man is a rational mortal animal' is equivalent to 'if something is a man, that thing is a rational mortal animal' [Sext.Empiricus] |
10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
10833 | Many concepts can only be expressed by second-order logic [Boolos] |
6375 | The taste of chocolate is a 'finer-grained' sensation than the taste of sweetness [Polger] |
6026 | How can you investigate without some preconception of your object? [Sext.Empiricus] |
6381 | The mind and the self are one, and the mind-self is a biological phenomenon [Polger] |
6378 | Teleological functions explain why a trait exists; causal-role functions say what it does [Polger] |
6380 | Identity theory says consciousness is an abstraction: a state, event, process or property [Polger] |
6032 | Right actions, once done, are those with a reasonable justification [Sext.Empiricus] |
6379 | A mummified heart has the teleological function of circulating blood [Polger] |
6377 | Teleological notions of function say what a thing is supposed to do [Polger] |
1517 | The tektraktys (1+2+3+4=10) is the 'fount of ever-flowing nature' [Sext.Empiricus] |