39 ideas
1542 | Diogenes of Apollonia was the last natural scientist [Diogenes of Apollonia, by Simplicius] |
6947 | Metaphysics does not rest on facts, but on what we are inclined to believe [Peirce] |
6937 | Reason aims to discover the unknown by thinking about the known [Peirce] |
18781 | Inconsistency doesn't prevent us reasoning about some system [Mares] |
18789 | Intuitionist logic looks best as natural deduction [Mares] |
18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
18787 | Three-valued logic is useful for a theory of presupposition [Mares] |
18793 | Material implication (and classical logic) considers nothing but truth values for implications [Mares] |
18784 | In classical logic the connectives can be related elegantly, as in De Morgan's laws [Mares] |
18786 | Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares] |
18780 | Standard disjunction and negation force us to accept the principle of bivalence [Mares] |
18782 | The connectives are studied either through model theory or through proof theory [Mares] |
18783 | Many-valued logics lack a natural deduction system [Mares] |
18792 | Situation semantics for logics: not possible worlds, but information in situations [Mares] |
18785 | Consistency is semantic, but non-contradiction is syntactic [Mares] |
18788 | For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares] |
21492 | Realism is basic to the scientific method [Peirce] |
6949 | If someone doubted reality, they would not actually feel dissatisfaction [Peirce] |
489 | Each thing must be in some way unique [Diogenes of Apollonia] |
6940 | The feeling of belief shows a habit which will determine our actions [Peirce] |
6941 | We are entirely satisfied with a firm belief, even if it is false [Peirce] |
6942 | We want true beliefs, but obviously we think our beliefs are true [Peirce] |
6943 | A mere question does not stimulate a struggle for belief; there must be a real doubt [Peirce] |
483 | Start a thesis with something undisputable [Diogenes of Apollonia] |
1544 | Perception must be an internal matter, because we can fail to perceive when we are preoccupied [Diogenes of Apollonia, by Theophrastus] |
6598 | We need our beliefs to be determined by some external inhuman permanency [Peirce] |
6944 | Demonstration does not rest on first principles of reason or sensation, but on freedom from actual doubt [Peirce] |
6948 | Doubts should be satisfied by some external permanency upon which thinking has no effect [Peirce] |
6945 | Once doubt ceases, there is no point in continuing to argue [Peirce] |
24042 | The older Diogenes said the soul is air, made of the smallest particles [Diogenes of Apollonia] |
18791 | In 'situation semantics' our main concepts are abstracted from situations [Mares] |
5995 | Diogenes of Apollonia offered the first teleological account of cosmology [Diogenes of Apollonia, by Robinson,TM] |
488 | Air is divine, because it is in and around everything, and arranges everything [Diogenes of Apollonia] |
484 | Everything is ultimately a variation of one underlying thing [Diogenes of Apollonia] |
486 | Plants and animals can only come into existence if something fixes their species [Diogenes of Apollonia] |
485 | Things must retain their essential nature during change, or mixing would be impossible [Diogenes of Apollonia] |
6939 | What is true of one piece of copper is true of another (unlike brass) [Peirce] |
6938 | Natural selection might well fill an animal's mind with pleasing thoughts rather than true ones [Peirce] |
6946 | If death is annihilation, belief in heaven is a cheap pleasure with no disappointment [Peirce] |