125 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] |
13395 | If an analysis shows the features of a concept, it doesn't seem to 'reduce' the concept [Jubien] |
21752 | Prior to Gödel we thought truth in mathematics consisted in provability [Gödel, by Quine] |
17835 | Gödel show that the incompleteness of set theory was a necessity [Gödel, by Hallett,M] |
13378 | It is a mistake to think that the logic developed for mathematics can clarify language and philosophy [Jubien] |
13402 | We only grasp a name if we know whether to apply it when the bearer changes [Jubien] |
13405 | The baptiser picks the bearer of a name, but social use decides the category [Jubien] |
13399 | Examples show that ordinary proper names are not rigid designators [Jubien] |
13398 | We could make a contingent description into a rigid and necessary one by adding 'actual' to it [Jubien] |
13392 | Philosophers reduce complex English kind-quantifiers to the simplistic first-order quantifier [Jubien] |
17886 | The limitations of axiomatisation were revealed by the incompleteness theorems [Gödel, by Koellner] |
10071 | Second Incompleteness: nice theories can't prove their own consistency [Gödel, by Smith,P] |
19123 | If soundness can't be proved internally, 'reflection principles' can be added to assert soundness [Gödel, by Halbach/Leigh] |
10621 | Gödel's First Theorem sabotages logicism, and the Second sabotages Hilbert's Programme [Smith,P on Gödel] |
17888 | The undecidable sentence can be decided at a 'higher' level in the system [Gödel] |
10132 | There can be no single consistent theory from which all mathematical truths can be derived [Gödel, by George/Velleman] |
3198 | Gödel showed that arithmetic is either incomplete or inconsistent [Gödel, by Rey] |
10072 | First Incompleteness: arithmetic must always be incomplete [Gödel, by Smith,P] |
9590 | Arithmetical truth cannot be fully and formally derived from axioms and inference rules [Gödel, by Nagel/Newman] |
11069 | Gödel's Second says that semantic consequence outruns provability [Gödel, by Hanna] |
10118 | First Incompleteness: a decent consistent system is syntactically incomplete [Gödel, by George/Velleman] |
10122 | Second Incompleteness: a decent consistent system can't prove its own consistency [Gödel, by George/Velleman] |
10611 | There is a sentence which a theory can show is true iff it is unprovable [Gödel, by Smith,P] |
10867 | 'This system can't prove this statement' makes it unprovable either way [Gödel, by Clegg] |
8747 | Realists are happy with impredicative definitions, which describe entities in terms of other existing entities [Gödel, by Shapiro] |
13404 | To exist necessarily is to have an essence whose own essence must be instantiated [Jubien] |
13386 | If objects are just conventional, there is no ontological distinction between stuff and things [Jubien] |
13403 | The category of Venus is not 'object', or even 'planet', but a particular class of good-sized object [Jubien] |
13375 | The idea that every entity must have identity conditions is an unfortunate misunderstanding [Jubien] |
13393 | Any entity has the unique property of being that specific entity [Jubien] |
13388 | It is incoherent to think that a given entity depends on its kind for its existence [Jubien] |
13384 | Objects need conventions for their matter, their temporal possibility, and their spatial possibility [Jubien] |
13385 | Basically, the world doesn't have ready-made 'objects'; we carve objects any way we like [Jubien] |
13383 | If the statue is loved and the clay hated, that is about the object first qua statue, then qua clay [Jubien] |
13400 | If one entity is an object, a statue, and some clay, these come apart in at least three ways [Jubien] |
13401 | The idea of coincident objects is a last resort, as it is opposed to commonsense naturalism [Jubien] |
13380 | Parts seem to matter when it is just an object, but not matter when it is a kind of object [Jubien] |
13376 | We should not regard essentialism as just nontrivial de re necessity [Jubien] |
13381 | Thinking of them as 'ships' the repaired ship is the original, but as 'objects' the reassembly is the original [Jubien] |
13382 | Rearranging the planks as a ship is confusing; we'd say it was the same 'object' with a different arrangement [Jubien] |
13379 | If two objects are indiscernible across spacetime, how could we decide whether or not they are the same? [Jubien] |
13394 | Entailment does not result from mutual necessity; mutual necessity ensures entailment [Jubien] |
13391 | Modality concerns relations among platonic properties [Jubien] |
13374 | To analyse modality, we must give accounts of objects, properties and relations [Jubien] |
13389 | The love of possible worlds is part of the dream that technical logic solves philosophical problems [Jubien] |
13390 | Possible worlds don't explain necessity, because they are a bunch of parallel contingencies [Jubien] |
3192 | Basic logic can be done by syntax, with no semantics [Gödel, by Rey] |
13396 | Analysing mental concepts points to 'inclusionism' - that mental phenomena are part of the physical [Jubien] |
13377 | First-order logic tilts in favour of the direct reference theory, in its use of constants for objects [Jubien] |