Combining Texts

All the ideas for 'Function and Concept', 'Db (lexicon)' and 'Parts of Classes'

expand these ideas     |    start again     |     specify just one area for these texts


125 ideas

1. Philosophy / B. History of Ideas / 3. Greek-English Lexicon
Agathon: good [PG]
Aisthesis: perception, sensation, consciousness [PG]
Aitia / aition: cause, explanation [PG]
Akrasia: lack of control, weakness of will [PG]
Aletheia: truth [PG]
Anamnesis: recollection, remembrance [PG]
Ananke: necessity [PG]
Antikeimenon: object [PG]
Apatheia: unemotional [PG]
Apeiron: the unlimited, indefinite [PG]
Aphairesis: taking away, abstraction [PG]
Apodeixis: demonstration [PG]
Aporia: puzzle, question, anomaly [PG]
Arche: first principle, the basic [PG]
Arete: virtue, excellence [PG]
Chronismos: separation [PG]
Diairesis: division [PG]
Dialectic: dialectic, discussion [PG]
Dianoia: intellection [cf. Noesis] [PG]
Diaphora: difference [PG]
Dikaiosune: moral goodness, justice [PG]
Doxa: opinion, belief [PG]
Dunamis: faculty, potentiality, capacity [PG]
Eidos: form, idea [PG]
Elenchos: elenchus, interrogation [PG]
Empeiron: experience [PG]
Energeia: employment, actuality, power? [PG]
Enkrateia: control [PG]
Entelecheia: entelechy, having an end [PG]
Epagoge: induction, explanation [PG]
Episteme: knowledge, understanding [PG]
Epithumia: appetite [PG]
Ergon: function [PG]
Eristic: polemic, disputation [PG]
Eros: love [PG]
Eudaimonia: flourishing, happiness, fulfilment [PG]
Genos: type, genus [PG]
Hexis: state, habit [PG]
Horismos: definition [PG]
Hule: matter [PG]
Hupokeimenon: subject, underlying thing [cf. Tode ti] [PG]
Kalos / kalon: beauty, fineness, nobility [PG]
Kath' hauto: in virtue of itself, essentially [PG]
Kinesis: movement, process [PG]
Kosmos: order, universe [PG]
Logos: reason, account, word [PG]
Meson: the mean [PG]
Metechein: partaking, sharing [PG]
Mimesis: imitation, fine art [PG]
Morphe: form [PG]
Noesis: intellection, rational thought [cf. Dianoia] [PG]
Nomos: convention, law, custom [PG]
Nous: intuition, intellect, understanding [PG]
Orexis: desire [PG]
Ousia: substance, (primary) being, [see 'Prote ousia'] [PG]
Pathos: emotion, affection, property [PG]
Phantasia: imagination [PG]
Philia: friendship [PG]
Philosophia: philosophy, love of wisdom [PG]
Phronesis: prudence, practical reason, common sense [PG]
Physis: nature [PG]
Praxis: action, activity [PG]
Prote ousia: primary being [PG]
Psuche: mind, soul, life [PG]
Sophia: wisdom [PG]
Sophrosune: moderation, self-control [PG]
Stoicheia: elements [PG]
Sullogismos: deduction, syllogism [PG]
Techne: skill, practical knowledge [PG]
Telos: purpose, end [PG]
Theoria: contemplation [PG]
Theos: god [PG]
Ti esti: what-something-is, essence [PG]
Timoria: vengeance, punishment [PG]
To ti en einai: essence, what-it-is-to-be [PG]
To ti estin: essence [PG]
Tode ti: this-such, subject of predication [cf. hupokeimenon] [PG]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Sets are mereological sums of the singletons of their members [Lewis, by Armstrong]
We can build set theory on singletons: classes are then fusions of subclasses, membership is the singleton [Lewis]
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
Classes divide into subclasses in many ways, but into members in only one way [Lewis]
A subclass of a subclass is itself a subclass; a member of a member is not in general a member [Lewis]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
We needn't accept this speck of nothingness, this black hole in the fabric of Reality! [Lewis]
We can accept the null set, but there is no null class of anything [Lewis]
There are four main reasons for asserting that there is an empty set [Lewis]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
If we don't understand the singleton, then we don't understand classes [Lewis]
We can replace the membership relation with the member-singleton relation (plus mereology) [Lewis]
If singleton membership is external, why is an object a member of one rather than another? [Lewis]
Maybe singletons have a structure, of a thing and a lasso? [Lewis]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Set theory has some unofficial axioms, generalisations about how to understand it [Lewis]
Set theory reduces to a mereological theory with singletons as the only atoms [Lewis, by MacBride]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / a. Sets as existing
If singletons are where their members are, then so are all sets [Lewis]
A huge part of Reality is only accepted as existing if you have accepted set theory [Lewis]
Set theory isn't innocent; it generates infinities from a single thing; but mathematics needs it [Lewis]
5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic
First-level functions have objects as arguments; second-level functions take functions as arguments [Frege]
5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic
Relations are functions with two arguments [Frege]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
Plural quantification lacks a complete axiom system [Lewis]
I like plural quantification, but am not convinced of its connection with second-order logic [Lewis]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / f. Zermelo numbers
Zermelo's model of arithmetic is distinctive because it rests on a primitive of set theory [Lewis]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Giving up classes means giving up successful mathematics because of dubious philosophy [Lewis]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
To be a structuralist, you quantify over relations [Lewis]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege]
7. Existence / A. Nature of Existence / 2. Types of Existence
Existence doesn't come in degrees; once asserted, it can't then be qualified [Lewis]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
Frege takes the existence of horses to be part of their concept [Frege, by Sommers]
7. Existence / C. Structure of Existence / 8. Stuff / a. Pure stuff
We have no idea of a third sort of thing, that isn't an individual, a class, or their mixture [Lewis]
Atomless gunk is an individual whose parts all have further proper parts [Lewis]
8. Modes of Existence / B. Properties / 10. Properties as Predicates
Frege allows either too few properties (as extensions) or too many (as predicates) [Mellor/Oliver on Frege]
8. Modes of Existence / B. Properties / 11. Properties as Sets
A property is any class of possibilia [Lewis]
9. Objects / A. Existence of Objects / 3. Objects in Thought
The concept 'object' is too simple for analysis; unlike a function, it is an expression with no empty place [Frege]
9. Objects / C. Structure of Objects / 5. Composition of an Object
The many are many and the one is one, so they can't be identical [Lewis]
Lewis affirms 'composition as identity' - that an object is no more than its parts [Lewis, by Merricks]
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
In mereology no two things consist of the same atoms [Lewis]
Trout-turkeys exist, despite lacking cohesion, natural joints and united causal power [Lewis]
Given cats, a fusion of cats adds nothing further to reality [Lewis]
The one has different truths from the many; it is one rather than many, one rather than six [Lewis]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
Lewis only uses fusions to create unities, but fusions notoriously flatten our distinctions [Oliver/Smiley on Lewis]
A commitment to cat-fusions is not a further commitment; it is them and they are it [Lewis]
Lewis prefers giving up singletons to giving up sums [Lewis, by Fine,K]
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / a. Qualities in perception
Some say qualities are parts of things - as repeatable universals, or as particulars [Lewis]
18. Thought / D. Concepts / 3. Ontology of Concepts / c. Fregean concepts
Concepts are the ontological counterparts of predicative expressions [Frege, by George/Velleman]
An assertion about the concept 'horse' must indirectly speak of an object [Frege, by Hale]
A concept is a function whose value is always a truth-value [Frege]
18. Thought / D. Concepts / 4. Structure of Concepts / a. Conceptual structure
Unlike objects, concepts are inherently incomplete [Frege, by George/Velleman]
19. Language / B. Reference / 5. Speaker's Reference
I may regard a thought about Phosphorus as true, and the same thought about Hesperus as false [Frege]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
The Ontological Argument fallaciously treats existence as a first-level concept [Frege]