40 ideas
| 11051 | Frege's logical approach dominates the analytical tradition [Hanna] |
| 11054 | Scientism says most knowledge comes from the exact sciences [Hanna] |
| 7807 | The laws of thought are true, but they are not the axioms of logic [Bolzano, by George/Van Evra] |
| 11070 | 'Denying the antecedent' fallacy: φ→ψ, ¬φ, so ¬ψ [Hanna] |
| 11071 | 'Affirming the consequent' fallacy: φ→ψ, ψ, so φ [Hanna] |
| 11088 | We can list at least fourteen informal fallacies [Hanna] |
| 11059 | Circular arguments are formally valid, though informally inadmissible [Hanna] |
| 11089 | Formally, composition and division fallacies occur in mereology [Hanna] |
| 9987 | An aggregate in which order does not matter I call a 'set' [Bolzano] |
| 11058 | Logic is explanatorily and ontologically dependent on rational animals [Hanna] |
| 11072 | Logic is personal and variable, but it has a universal core [Hanna] |
| 11061 | Intensional consequence is based on the content of the concepts [Hanna] |
| 9618 | Bolzano wanted to reduce all of geometry to arithmetic [Bolzano, by Brown,JR] |
| 10856 | A truly infinite quantity does not need to be a variable [Bolzano] |
| 9830 | Bolzano began the elimination of intuition, by proving something which seemed obvious [Bolzano, by Dummett] |
| 11063 | Logicism struggles because there is no decent theory of analyticity [Hanna] |
| 17265 | Philosophical proofs in mathematics establish truths, and also show their grounds [Bolzano, by Correia/Schnieder] |
| 11055 | Supervenience can add covariation, upward dependence, and nomological connection [Hanna] |
| 11083 | A sentence is necessary if it is true in a set of worlds, and nonfalse in the other worlds [Hanna] |
| 11086 | Metaphysical necessity can be 'weak' (same as logical) and 'strong' (based on essences) [Hanna] |
| 11084 | Logical necessity is truth in all logically possible worlds, because of laws and concepts [Hanna] |
| 11085 | Nomological necessity is truth in all logically possible worlds with our laws [Hanna] |
| 9185 | Bolzano wanted to avoid Kantian intuitions, and prove everything that could be proved [Bolzano, by Dummett] |
| 11077 | Intuition includes apriority, clarity, modality, authority, fallibility and no inferences [Hanna] |
| 11080 | Intuition is more like memory, imagination or understanding, than like perception [Hanna] |
| 11078 | Intuition is only outside the 'space of reasons' if all reasons are inferential [Hanna] |
| 11053 | Explanatory reduction is stronger than ontological reduction [Hanna] |
| 11081 | Imagination grasps abstracta, generates images, and has its own correctness conditions [Hanna] |
| 11082 | Should we take the 'depictivist' or the 'descriptivist/propositionalist' view of mental imagery? [Hanna] |
| 11067 | Rational animals have a normative concept of necessity [Hanna] |
| 11068 | One tradition says talking is the essence of rationality; the other says the essence is logic [Hanna] |
| 11047 | Hegelian holistic rationality is the capacity to seek coherence [Hanna] |
| 11048 | Humean Instrumental rationality is the capacity to seek contingent truths [Hanna] |
| 11046 | Kantian principled rationality is recognition of a priori universal truths [Hanna] |
| 11045 | Most psychologists are now cognitivists [Hanna] |
| 22276 | Bolzano saw propositions as objective entities, existing independently of us [Bolzano, by Potter] |
| 17264 | Propositions are abstract structures of concepts, ready for judgement or assertion [Bolzano, by Correia/Schnieder] |
| 12232 | A 'proposition' is the sense of a linguistic expression, and can be true or false [Bolzano] |
| 12233 | The ground of a pure conceptual truth is only in other conceptual truths [Bolzano] |
| 20239 | Unlike us, the early Greeks thought envy was a good thing, and hope a bad thing [Hesiod, by Nietzsche] |