335 ideas
11300 | Agathon: good [PG] |
11301 | Aisthesis: perception, sensation, consciousness [PG] |
11302 | Aitia / aition: cause, explanation [PG] |
11303 | Akrasia: lack of control, weakness of will [PG] |
11304 | Aletheia: truth [PG] |
11305 | Anamnesis: recollection, remembrance [PG] |
11306 | Ananke: necessity [PG] |
11307 | Antikeimenon: object [PG] |
11375 | Apatheia: unemotional [PG] |
11308 | Apeiron: the unlimited, indefinite [PG] |
11376 | Aphairesis: taking away, abstraction [PG] |
11309 | Apodeixis: demonstration [PG] |
11310 | Aporia: puzzle, question, anomaly [PG] |
11311 | Arche: first principle, the basic [PG] |
11312 | Arete: virtue, excellence [PG] |
11313 | Chronismos: separation [PG] |
11314 | Diairesis: division [PG] |
11315 | Dialectic: dialectic, discussion [PG] |
11316 | Dianoia: intellection [cf. Noesis] [PG] |
11317 | Diaphora: difference [PG] |
11318 | Dikaiosune: moral goodness, justice [PG] |
11319 | Doxa: opinion, belief [PG] |
11320 | Dunamis: faculty, potentiality, capacity [PG] |
11321 | Eidos: form, idea [PG] |
11322 | Elenchos: elenchus, interrogation [PG] |
11323 | Empeiron: experience [PG] |
11324 | Energeia: employment, actuality, power? [PG] |
11325 | Enkrateia: control [PG] |
11326 | Entelecheia: entelechy, having an end [PG] |
11327 | Epagoge: induction, explanation [PG] |
11328 | Episteme: knowledge, understanding [PG] |
11329 | Epithumia: appetite [PG] |
11330 | Ergon: function [PG] |
11331 | Eristic: polemic, disputation [PG] |
11332 | Eros: love [PG] |
11333 | Eudaimonia: flourishing, happiness, fulfilment [PG] |
11334 | Genos: type, genus [PG] |
11335 | Hexis: state, habit [PG] |
11336 | Horismos: definition [PG] |
11337 | Hule: matter [PG] |
11338 | Hupokeimenon: subject, underlying thing [cf. Tode ti] [PG] |
11339 | Kalos / kalon: beauty, fineness, nobility [PG] |
11340 | Kath' hauto: in virtue of itself, essentially [PG] |
11341 | Kinesis: movement, process [PG] |
11342 | Kosmos: order, universe [PG] |
11343 | Logos: reason, account, word [PG] |
11344 | Meson: the mean [PG] |
11345 | Metechein: partaking, sharing [PG] |
11377 | Mimesis: imitation, fine art [PG] |
11346 | Morphe: form [PG] |
11347 | Noesis: intellection, rational thought [cf. Dianoia] [PG] |
11348 | Nomos: convention, law, custom [PG] |
11349 | Nous: intuition, intellect, understanding [PG] |
11350 | Orexis: desire [PG] |
11351 | Ousia: substance, (primary) being, [see 'Prote ousia'] [PG] |
11352 | Pathos: emotion, affection, property [PG] |
11353 | Phantasia: imagination [PG] |
11354 | Philia: friendship [PG] |
11355 | Philosophia: philosophy, love of wisdom [PG] |
11356 | Phronesis: prudence, practical reason, common sense [PG] |
11357 | Physis: nature [PG] |
11358 | Praxis: action, activity [PG] |
11359 | Prote ousia: primary being [PG] |
11360 | Psuche: mind, soul, life [PG] |
11361 | Sophia: wisdom [PG] |
11362 | Sophrosune: moderation, self-control [PG] |
11363 | Stoicheia: elements [PG] |
11364 | Sullogismos: deduction, syllogism [PG] |
11365 | Techne: skill, practical knowledge [PG] |
11366 | Telos: purpose, end [PG] |
11367 | Theoria: contemplation [PG] |
11368 | Theos: god [PG] |
11369 | Ti esti: what-something-is, essence [PG] |
11370 | Timoria: vengeance, punishment [PG] |
11371 | To ti en einai: essence, what-it-is-to-be [PG] |
11372 | To ti estin: essence [PG] |
11373 | Tode ti: this-such, subject of predication [cf. hupokeimenon] [PG] |
11461 | 323 (roughly): Euclid wrote 'Elements', summarising all of geometry [PG] |
11390 | 1000 (roughly): Upanishads written (in Sanskrit); religious and philosophical texts [PG] |
11391 | 750 (roughly): the Book of Genesis written by Hebrew writers [PG] |
11392 | 586: eclipse of the sun on the coast of modern Turkey was predicted by Thales of Miletus [PG] |
11395 | 570: Anaximander flourished in Miletus [PG] |
11396 | 563: the Buddha born in northern India [PG] |
11398 | 540: Lao Tzu wrote 'Tao Te Ching', the basis of Taoism [PG] |
11400 | 529: Pythagoras created his secretive community at Croton in Sicily [PG] |
11403 | 500: Heraclitus flourishes at Ephesus, in modern Turkey [PG] |
11404 | 496: Confucius travels widely, persuading rulers to be more moral [PG] |
11408 | 472: Empedocles persuades his city (Acragas in Sicily) to become a democracy [PG] |
11412 | 450 (roughly): Parmenides and Zeno visit Athens from Italy [PG] |
11414 | 445: Protagoras helps write laws for the new colony of Thurii [PG] |
11417 | 436 (roughly): Anaxagoras is tried for impiety, and expelled from Athens [PG] |
11535 | 170 (roughly): Marcus Aurelius wrote his private stoic meditations [PG] |
11537 | -200 (roughly): Sextus Empiricus wrote a series of books on scepticism [PG] |
11541 | 263: Porphyry began to study with Plotinus in Rome [PG] |
11545 | 310: Christianity became the official religion of the Roman empire [PG] |
11549 | 387: Ambrose converts Augustine to Christianity [PG] |
11555 | 523: Boethius imprisoned at Pavia, and begins to write [PG] |
11557 | 529: the emperor Justinian closes all the philosophy schools in Athens [PG] |
11421 | 427: Gorgias visited Athens as ambassador for Leontini [PG] |
11425 | 399: Socrates executed (with Plato absent through ill health) [PG] |
11432 | 387 (roughly): Plato returned to Athens, and founded the Academy [PG] |
11433 | 387 (roughly): Aristippus the Elder founder a hedonist school at Cyrene [PG] |
11440 | 367: the teenaged Aristotle came to study at the Academy [PG] |
11443 | 360 (roughly): Diogenes of Sinope lives in a barrel in central Athens [PG] |
11445 | 347: death of Plato [PG] |
11454 | 343: Aristotle becomes tutor to 13 year old Alexander (the Great) [PG] |
11456 | 335: Arisotle founded his school at the Lyceum in Athens [PG] |
11459 | 330 (roughly): Chuang Tzu wrote his Taoist book [PG] |
11465 | 322: Aristotle retired to Chalcis, and died there [PG] |
11468 | 307 (roughly): Epicurus founded his school at the Garden in Athens [PG] |
11470 | 301 (roughly): Zeno of Citium founded Stoicism at the Stoa Poikile in Athens [PG] |
11483 | 261: Cleanthes replaced Zeno as head of the Stoa [PG] |
11486 | 229 (roughly): Chrysippus replaced Cleanthes has head of the Stoa [PG] |
11492 | 157 (roughly): Carneades became head of the Academy [PG] |
11509 | 85: most philosophical activity moves to Alexandria [PG] |
11513 | 78: Cicero visited the stoic school on Rhodes [PG] |
11516 | 60 (roughly): Lucretius wrote his Latin poem on epicureanism [PG] |
11528 | 65: Seneca forced to commit suicide by Nero [PG] |
11531 | 80: the discourses of the stoic Epictetus are written down [PG] |
11564 | 1090: Anselm publishes his proof of the existence of God [PG] |
11558 | 622 (roughly): Mohammed writes the Koran [PG] |
11559 | 642: Arabs close the philosophy schools in Alexandria [PG] |
11560 | 910 (roughly): Al-Farabi wrote Arabic commentaries on Aristotle [PG] |
11562 | 1015 (roughly): Ibn Sina (Avicenna) writes a book on Aristotle [PG] |
11566 | 1115: Abelard is the chief logic teacher in Paris [PG] |
11573 | 1166: Ibn Rushd (Averroes) wrote extensive commentaries on Aristotle [PG] |
11581 | 1266: Aquinas began writing 'Summa Theologica' [PG] |
11586 | 1280: after his death, the teaching of Aquinas becomes official Dominican doctrine [PG] |
11591 | 1328: William of Ockham decides the Pope is a heretic, and moves to Munich [PG] |
17916 | 1347: the Church persecutes philosophical heresies [PG] |
11593 | 1470: Marsilio Ficino founds a Platonic Academy in Florence [PG] |
11596 | 1513: Machiavelli wrote 'The Prince' [PG] |
11599 | 1543: Copernicus publishes his heliocentric view of the solar system [PG] |
11601 | 1580: Montaigne publishes his essays [PG] |
11607 | 1600: Giordano Bruno was burned at the stake in Rome [PG] |
11613 | 1619: Descartes's famous day of meditation inside a stove [PG] |
11614 | 1620: Bacon publishes 'Novum Organum' [PG] |
11619 | 1633: Galileo convicted of heresy by the Inquisition [PG] |
11623 | 1641: Descartes publishes his 'Meditations' [PG] |
11626 | 1650: death of Descartes, in Stockholm [PG] |
11627 | 1651: Hobbes publishes 'Leviathan' [PG] |
11633 | 1662: the Port Royal Logic is published [PG] |
11634 | 1665: Spinoza writes his 'Ethics' [PG] |
11643 | 1676: Leibniz settled as librarian to the Duke of Brunswick [PG] |
11649 | 1687: Newton publishes his 'Principia Mathematica' [PG] |
11652 | 1690: Locke publishes his 'Essay' [PG] |
11654 | 1697: Bayle publishes his 'Dictionary' [PG] |
11659 | 1713: Berkeley publishes his 'Three Dialogues' [PG] |
11666 | 1734: Voltaire publishes his 'Philosophical Letters' [PG] |
11667 | 1739: Hume publishes his 'Treatise' [PG] |
11675 | 1762: Rousseau publishes his 'Social Contract' [PG] |
11682 | 1781: Kant publishes his 'Critique of Pure Reason' [PG] |
11683 | 1785: Reid publishes his essays defending common sense [PG] |
11687 | 1798: the French Revolution [PG] |
11694 | 1807: Hegel publishes his 'Phenomenology of Spirit' [PG] |
11701 | 1818: Schopenhauer publishes his 'World as Will and Idea' [PG] |
11710 | 1840: Kierkegaard is writing extensively in Copenhagen [PG] |
11713 | 1843: Mill publishes his 'System of Logic' [PG] |
11715 | 1848: Marx and Engels publis the Communist Manifesto [PG] |
11717 | 1859: Darwin publishes his 'Origin of the Species' [PG] |
11721 | 1861: Mill publishes 'Utilitarianism' [PG] |
11724 | 1867: Marx begins publishing 'Das Kapital' [PG] |
11733 | 1879: Peirce taught for five years at Johns Hopkins University [PG] |
17907 | 1879: Frege invents predicate logic [PG] |
17909 | 1892: Frege's essay 'Sense and Reference' [PG] |
17908 | 1884: Frege publishes his 'Foundations of Arithmetic' [PG] |
11735 | 1885: Nietzsche completed 'Thus Spake Zarathustra' [PG] |
17911 | 1888: Dedekind publishes axioms for arithmetic [PG] |
11740 | 1890: James published 'Principles of Psychology' [PG] |
11742 | 1895 (roughly): Freud developed theories of the unconscious [PG] |
11745 | 1900: Husserl began developing Phenomenology [PG] |
17917 | 1953: Wittgenstein's 'Philosophical Investigations' [PG] |
17919 | 1956: Place proposed mind-brain identity [PG] |
11804 | 1962: Kuhn's 'Structure of Scientific Revolutions' [PG] |
17921 | 1967: Putnam proposed functionalism of the mind [PG] |
11808 | 1971: Rawls's 'A Theory of Justice' [PG] |
11810 | 1972: Kripke publishes 'Naming and Necessity' [PG] |
11813 | 1975: Singer publishes 'Animal Rights' [PG] |
17920 | 1975: Putnam published his Twin Earth example [PG] |
11820 | 1986: David Lewis publishes 'On the Plurality of Worlds' [PG] |
11746 | 1903: Moore published 'Principia Ethica' [PG] |
11747 | 1904: Dewey became professor at Columbia University [PG] |
17910 | 1908: Zermelo publishes axioms for set theory [PG] |
11752 | 1910: Russell and Whitehead begin publishing 'Principia Mathematica' [PG] |
11756 | 1912: Russell meets Wittgenstein in Cambridge [PG] |
11762 | 1921: Wittgenstein's 'Tractatus' published [PG] |
11765 | 1927: Heidegger's 'Being and Time' published [PG] |
11768 | 1930: Frank Ramsey dies at 27 [PG] |
11770 | 1931: Gödel's Incompleteness Theorems [PG] |
11773 | 1933: Tarski's theory of truth [PG] |
11783 | 1942: Camus published 'The Myth of Sisyphus' [PG] |
11784 | 1943: Sartre's 'Being and Nothingness' [PG] |
11787 | 1945: Merleau-Ponty's 'Phenomenology of Perception' [PG] |
17918 | 1947: Carnap published 'Meaning and Necessity' [PG] |
11794 | 1950: Quine's essay 'Two Dogmas of Empiricism' [PG] |
4465 | Note that "is" can assert existence, or predication, or identity, or classification [PG] |
20768 | Like spiderswebs, dialectical arguments are clever but useless [Ariston, by Diog. Laertius] |
18137 | Impredicative definitions are wrong, because they change the set that is being defined? [Bostock] |
4686 | Fallacies are errors in reasoning, 'formal' if a clear rule is breached, and 'informal' if more general [PG] |
7415 | Question-begging assumes the proposition which is being challenged [PG] |
7414 | What is true of a set is also true of its members [PG] |
6696 | The Ad Hominem Fallacy criticises the speaker rather than the argument [PG] |
4687 | Minimal theories of truth avoid ontological commitment to such things as 'facts' or 'reality' [PG] |
13439 | Venn Diagrams map three predicates into eight compartments, then look for the conclusion [Bostock] |
13421 | 'Disjunctive Normal Form' is ensuring that no conjunction has a disjunction within its scope [Bostock] |
13422 | 'Conjunctive Normal Form' is ensuring that no disjunction has a conjunction within its scope [Bostock] |
13352 | 'Cutting' allows that if x is proved, and adding y then proves z, you can go straight to z [Bostock] |
13353 | 'Negation' says that Γ,¬φ|= iff Γ|=φ [Bostock] |
13355 | 'Disjunction' says that Γ,φ∨ψ|= iff Γ,φ|= and Γ,ψ|= [Bostock] |
13350 | 'Assumptions' says that a formula entails itself (φ|=φ) [Bostock] |
13351 | 'Thinning' allows that if premisses entail a conclusion, then adding further premisses makes no difference [Bostock] |
13356 | The 'conditional' is that Γ|=φ→ψ iff Γ,φ|=ψ [Bostock] |
13354 | 'Conjunction' says that Γ|=φ∧ψ iff Γ|=φ and Γ|=ψ [Bostock] |
13610 | A logic with ¬ and → needs three axiom-schemas and one rule as foundation [Bostock] |
18122 | Classical interdefinitions of logical constants and quantifiers is impossible in intuitionism [Bostock] |
13846 | A 'free' logic can have empty names, and a 'universally free' logic can have empty domains [Bostock] |
18114 | There is no single agreed structure for set theory [Bostock] |
18107 | A 'proper class' cannot be a member of anything [Bostock] |
18115 | We could add axioms to make sets either as small or as large as possible [Bostock] |
18139 | The Axiom of Choice relies on reference to sets that we are unable to describe [Bostock] |
18105 | Replacement enforces a 'limitation of size' test for the existence of sets [Bostock] |
18109 | The completeness of first-order logic implies its compactness [Bostock] |
18108 | First-order logic is not decidable: there is no test of whether any formula is valid [Bostock] |
13346 | Truth is the basic notion in classical logic [Bostock] |
13545 | Elementary logic cannot distinguish clearly between the finite and the infinite [Bostock] |
13822 | Fictional characters wreck elementary logic, as they have contradictions and no excluded middle [Bostock] |
13623 | The syntactic turnstile |- φ means 'there is a proof of φ' or 'φ is a theorem' [Bostock] |
13349 | Γ|=φ is 'entails'; Γ|= is 'is inconsistent'; |=φ is 'valid' [Bostock] |
13347 | Validity is a conclusion following for premises, even if there is no proof [Bostock] |
13348 | It seems more natural to express |= as 'therefore', rather than 'entails' [Bostock] |
13617 | MPP is a converse of Deduction: If Γ |- φ→ψ then Γ,φ|-ψ [Bostock] |
13614 | MPP: 'If Γ|=φ and Γ|=φ→ψ then Γ|=ψ' (omit Γs for Detachment) [Bostock] |
13803 | If we are to express that there at least two things, we need identity [Bostock] |
13799 | The sign '=' is a two-place predicate expressing that 'a is the same thing as b' (a=b) [Bostock] |
13800 | |= α=α and α=β |= φ(α/ξ ↔ φ(β/ξ) fix identity [Bostock] |
13357 | Truth-functors are usually held to be defined by their truth-tables [Bostock] |
13812 | A 'zero-place' function just has a single value, so it is a name [Bostock] |
13811 | A 'total' function ranges over the whole domain, a 'partial' function over appropriate inputs [Bostock] |
13360 | In logic, a name is just any expression which refers to a particular single object [Bostock] |
13361 | An expression is only a name if it succeeds in referring to a real object [Bostock] |
13813 | Definite descriptions don't always pick out one thing, as in denials of existence, or errors [Bostock] |
13848 | We are only obliged to treat definite descriptions as non-names if only the former have scope [Bostock] |
13814 | Definite desciptions resemble names, but can't actually be names, if they don't always refer [Bostock] |
13816 | Because of scope problems, definite descriptions are best treated as quantifiers [Bostock] |
13817 | Definite descriptions are usually treated like names, and are just like them if they uniquely refer [Bostock] |
13815 | Names do not have scope problems (e.g. in placing negation), but Russell's account does have that problem [Bostock] |
13438 | 'Prenex normal form' is all quantifiers at the beginning, out of the scope of truth-functors [Bostock] |
13818 | If we allow empty domains, we must allow empty names [Bostock] |
18123 | Substitutional quantification is just standard if all objects in the domain have a name [Bostock] |
13801 | An 'informal proof' is in no particular system, and uses obvious steps and some ordinary English [Bostock] |
13619 | Quantification adds two axiom-schemas and a new rule [Bostock] |
13622 | Axiom systems from Frege, Russell, Church, Lukasiewicz, Tarski, Nicod, Kleene, Quine... [Bostock] |
13615 | 'Conditonalised' inferences point to the Deduction Theorem: If Γ,φ|-ψ then Γ|-φ→ψ [Bostock] |
13616 | The Deduction Theorem greatly simplifies the search for proof [Bostock] |
13620 | Proof by Assumptions can always be reduced to Proof by Axioms, using the Deduction Theorem [Bostock] |
13621 | The Deduction Theorem and Reductio can 'discharge' assumptions - they aren't needed for the new truth [Bostock] |
13753 | Natural deduction takes proof from assumptions (with its rules) as basic, and axioms play no part [Bostock] |
13755 | Excluded middle is an introduction rule for negation, and ex falso quodlibet will eliminate it [Bostock] |
13758 | In natural deduction we work from the premisses and the conclusion, hoping to meet in the middle [Bostock] |
13754 | Natural deduction rules for → are the Deduction Theorem (→I) and Modus Ponens (→E) [Bostock] |
18120 | The Deduction Theorem is what licenses a system of natural deduction [Bostock] |
13756 | A tree proof becomes too broad if its only rule is Modus Ponens [Bostock] |
13611 | Tableau proofs use reduction - seeking an impossible consequence from an assumption [Bostock] |
13612 | Non-branching rules add lines, and branching rules need a split; a branch with a contradiction is 'closed' [Bostock] |
13613 | A completed open branch gives an interpretation which verifies those formulae [Bostock] |
13761 | In a tableau proof no sequence is established until the final branch is closed; hypotheses are explored [Bostock] |
13762 | Tableau rules are all elimination rules, gradually shortening formulae [Bostock] |
13757 | Unlike natural deduction, semantic tableaux have recipes for proving things [Bostock] |
13759 | Each line of a sequent calculus is a conclusion of previous lines, each one explicitly recorded [Bostock] |
13760 | A sequent calculus is good for comparing proof systems [Bostock] |
13364 | Interpretation by assigning objects to names, or assigning them to variables first [Bostock, by PG] |
13821 | Extensionality is built into ordinary logic semantics; names have objects, predicates have sets of objects [Bostock] |
13362 | If an object has two names, truth is undisturbed if the names are swapped; this is Extensionality [Bostock] |
13540 | A set of formulae is 'inconsistent' when there is no interpretation which can make them all true [Bostock] |
13542 | A proof-system is 'absolutely consistent' iff we don't have |-(S)φ for every formula [Bostock] |
13541 | For 'negation-consistent', there is never |-(S)φ and |-(S)¬φ [Bostock] |
13544 | Inconsistency or entailment just from functors and quantifiers is finitely based, if compact [Bostock] |
13618 | Compactness means an infinity of sequents on the left will add nothing new [Bostock] |
6516 | Monty Hall Dilemma: do you abandon your preference after Monty eliminates one of the rivals? [PG] |
18125 | Berry's Paradox considers the meaning of 'The least number not named by this name' [Bostock] |
18100 | ω + 1 is a new ordinal, but its cardinality is unchanged [Bostock] |
18101 | Each addition changes the ordinality but not the cardinality, prior to aleph-1 [Bostock] |
18102 | A cardinal is the earliest ordinal that has that number of predecessors [Bostock] |
18106 | Aleph-1 is the first ordinal that exceeds aleph-0 [Bostock] |
18095 | Instead of by cuts or series convergence, real numbers could be defined by axioms [Bostock] |
18099 | The number of reals is the number of subsets of the natural numbers [Bostock] |
18093 | For Eudoxus cuts in rationals are unique, but not every cut makes a real number [Bostock] |
18110 | Infinitesimals are not actually contradictory, because they can be non-standard real numbers [Bostock] |
18156 | Modern axioms of geometry do not need the real numbers [Bostock] |
18097 | The Peano Axioms describe a unique structure [Bostock] |
13358 | Ordinary or mathematical induction assumes for the first, then always for the next, and hence for all [Bostock] |
13359 | Complete induction assumes for all numbers less than n, then also for n, and hence for all numbers [Bostock] |
18149 | There are many criteria for the identity of numbers [Bostock] |
18148 | Hume's Principle is a definition with existential claims, and won't explain numbers [Bostock] |
18145 | Many things will satisfy Hume's Principle, so there are many interpretations of it [Bostock] |
18143 | Frege makes numbers sets to solve the Caesar problem, but maybe Caesar is a set! [Bostock] |
18116 | Numbers can't be positions, if nothing decides what position a given number has [Bostock] |
18117 | Structuralism falsely assumes relations to other numbers are numbers' only properties [Bostock] |
18141 | Nominalism about mathematics is either reductionist, or fictionalist [Bostock] |
18157 | Nominalism as based on application of numbers is no good, because there are too many applications [Bostock] |
18150 | Actual measurement could never require the precision of the real numbers [Bostock] |
18158 | Ordinals are mainly used adjectively, as in 'the first', 'the second'... [Bostock] |
18127 | Simple type theory has 'levels', but ramified type theory has 'orders' [Bostock] |
18144 | Neo-logicists agree that HP introduces number, but also claim that it suffices for the job [Bostock] |
18147 | Neo-logicists meet the Caesar problem by saying Hume's Principle is unique to number [Bostock] |
18111 | Treating numbers as objects doesn't seem like logic, since arithmetic fixes their totality [Bostock] |
18129 | Many crucial logicist definitions are in fact impredicative [Bostock] |
18146 | If Hume's Principle is the whole story, that implies structuralism [Bostock] |
18159 | Higher cardinalities in sets are just fairy stories [Bostock] |
18155 | A fairy tale may give predictions, but only a true theory can give explanations [Bostock] |
18140 | The best version of conceptualism is predicativism [Bostock] |
18138 | Conceptualism fails to grasp mathematical properties, infinity, and objective truth values [Bostock] |
18133 | The usual definitions of identity and of natural numbers are impredicative [Bostock] |
18131 | If abstracta only exist if they are expressible, there can only be denumerably many of them [Bostock] |
18134 | Predicativism makes theories of huge cardinals impossible [Bostock] |
18135 | If mathematics rests on science, predicativism may be the best approach [Bostock] |
18136 | If we can only think of what we can describe, predicativism may be implied [Bostock] |
18132 | The predicativity restriction makes a difference with the real numbers [Bostock] |
13543 | A relation is not reflexive, just because it is transitive and symmetrical [Bostock] |
13802 | Relations can be one-many (at most one on the left) or many-one (at most one on the right) [Bostock] |
13847 | If non-existent things are self-identical, they are just one thing - so call it the 'null object' [Bostock] |
13820 | The idea that anything which can be proved is necessary has a problem with empty names [Bostock] |
24054 | Everything has a probability, something will happen, and probabilities add up [PG] |
3875 | If reality is just what we perceive, we would have no need for a sixth sense [PG] |
3876 | If my team is losing 3-1, I have synthetic a priori knowledge that they need two goals for a draw [PG] |
7734 | Maybe a mollusc's brain events for pain ARE of the same type (broadly) as a human's [PG] |
7735 | Maybe a frog's brain events for fear are functionally like ours, but not phenomenally [PG] |
13363 | A (modern) predicate is the result of leaving a gap for the name in a sentence [Bostock] |
18121 | In logic a proposition means the same when it is and when it is not asserted [Bostock] |
3049 | The chief good is indifference to what lies midway between virtue and vice [Ariston, by Diog. Laertius] |
3549 | Ariston says rules are useless for the virtuous and the non-virtuous [Ariston, by Annas] |
3877 | Utilitarianism seems to justify the discreet murder of unhappy people [PG] |
6126 | Life is Movement, Respiration, Sensation, Nutrition, Excretion, Reproduction, Growth (MRS NERG) [PG] |
3874 | How could God know there wasn't an unknown force controlling his 'free' will? [PG] |
3873 | An omniscient being couldn't know it was omniscient, as that requires information from beyond its scope of knowledge [PG] |