Combining Texts

All the ideas for 'The Evolution of Modern Metaphysics', 'First-Order Modal Logic' and 'A Short History of Decay'

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


93 ideas

1. Philosophy / A. Wisdom / 3. Wisdom Deflated
Wisdom is just the last gasp of a dying civilization [Cioran]
1. Philosophy / B. History of Ideas / 1. History of Ideas
Intelligence only fully flourishes at the end of a historical period [Cioran]
Ideas are neutral, but people fill them with passion and weakness [Cioran]
The history of ideas (and deeds) occurs in a meaningless environment [Cioran]
Some thinkers would have been just as dynamic, no matter when they had lived [Cioran]
A nation gives expression to its sum of values, and is then exhausted [Cioran]
1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
I abandoned philosophy because it didn't acknowledge melancholy and human weakness [Cioran]
Originality in philosophy is just the invention of terms [Cioran]
The mind is superficial, only concerned with the arrangement of events, not their significance [Cioran]
1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
Metaphysics is the most general attempt to make sense of things [Moore,AW]
Metaphysics is a universalisation of physical anguish [Cioran]
1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
Great systems of philosophy are just brilliant tautologies [Cioran]
2. Reason / C. Styles of Reason / 1. Dialectic
No great idea ever emerged from a dialogue [Cioran]
3. Truth / A. Truth Problems / 9. Rejecting Truth
Truth is just an error insufficiently experienced [Cioran]
Eventually every 'truth' is guaranteed by the police [Cioran]
4. Formal Logic / B. Propositional Logic PL / 3. Truth Tables
Each line of a truth table is a model [Fitting/Mendelsohn]
4. Formal Logic / D. Modal Logic ML / 2. Tools of Modal Logic / a. Symbols of ML
Modal logic adds □ (necessarily) and ◊ (possibly) to classical logic [Fitting/Mendelsohn]
We let 'R' be the accessibility relation: xRy is read 'y is accessible from x' [Fitting/Mendelsohn]
The symbol ||- is the 'forcing' relation; 'Γ ||- P' means that P is true in world Γ [Fitting/Mendelsohn]
The prefix σ names a possible world, and σ.n names a world accessible from that one [Fitting/Mendelsohn]
4. Formal Logic / D. Modal Logic ML / 2. Tools of Modal Logic / b. Terminology of ML
A 'constant' domain is the same for all worlds; 'varying' domains can be entirely separate [Fitting/Mendelsohn]
Modern modal logic introduces 'accessibility', saying xRy means 'y is accessible from x' [Fitting/Mendelsohn]
A 'model' is a frame plus specification of propositions true at worlds, written < G,R,||- > [Fitting/Mendelsohn]
A 'frame' is a set G of possible worlds, with an accessibility relation R, written < G,R > [Fitting/Mendelsohn]
Accessibility relations can be 'reflexive' (self-referring), 'transitive' (carries over), or 'symmetric' (mutual) [Fitting/Mendelsohn]
4. Formal Logic / D. Modal Logic ML / 2. Tools of Modal Logic / c. Derivation rules of ML
S5: a) if n ◊X then kX b) if n ¬□X then k ¬X c) if n □X then k X d) if n ¬◊X then k ¬X [Fitting/Mendelsohn]
If a proposition is possibly true in a world, it is true in some world accessible from that world [Fitting/Mendelsohn]
If a proposition is necessarily true in a world, it is true in all worlds accessible from that world [Fitting/Mendelsohn]
Conj: a) if σ X∧Y then σ X and σ Y b) if σ ¬(X∧Y) then σ ¬X or σ ¬Y [Fitting/Mendelsohn]
Bicon: a)if σ(X↔Y) then σ(X→Y) and σ(Y→X) b) [not biconditional, one or other fails] [Fitting/Mendelsohn]
Implic: a) if σ ¬(X→Y) then σ X and σ ¬Y b) if σ X→Y then σ ¬X or σ Y [Fitting/Mendelsohn]
Universal: a) if σ ¬◊X then σ.m ¬X b) if σ □X then σ.m X [m exists] [Fitting/Mendelsohn]
Negation: if σ ¬¬X then σ X [Fitting/Mendelsohn]
Disj: a) if σ ¬(X∨Y) then σ ¬X and σ ¬Y b) if σ X∨Y then σ X or σ Y [Fitting/Mendelsohn]
Existential: a) if σ ◊X then σ.n X b) if σ ¬□X then σ.n ¬X [n is new] [Fitting/Mendelsohn]
T reflexive: a) if σ □X then σ X b) if σ ¬◊X then σ ¬X [Fitting/Mendelsohn]
D serial: a) if σ □X then σ ◊X b) if σ ¬◊X then σ ¬□X [Fitting/Mendelsohn]
B symmetric: a) if σ.n □X then σ X b) if σ.n ¬◊X then σ ¬X [n occurs] [Fitting/Mendelsohn]
4 transitive: a) if σ □X then σ.n □X b) if σ ¬◊X then σ.n ¬◊X [n occurs] [Fitting/Mendelsohn]
4r rev-trans: a) if σ.n □X then σ □X b) if σ.n ¬◊X then σ ¬◊X [n occurs] [Fitting/Mendelsohn]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / b. System K
The system K has no accessibility conditions [Fitting/Mendelsohn]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / c. System D
□P → P is not valid in D (Deontic Logic), since an obligatory action may be not performed [Fitting/Mendelsohn]
The system D has the 'serial' conditon imposed on its accessibility relation [Fitting/Mendelsohn]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / d. System T
The system T has the 'reflexive' conditon imposed on its accessibility relation [Fitting/Mendelsohn]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / e. System K4
The system K4 has the 'transitive' condition on its accessibility relation [Fitting/Mendelsohn]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / f. System B
The system B has the 'reflexive' and 'symmetric' conditions on its accessibility relation [Fitting/Mendelsohn]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
The system S4 has the 'reflexive' and 'transitive' conditions on its accessibility relation [Fitting/Mendelsohn]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
System S5 has the 'reflexive', 'symmetric' and 'transitive' conditions on its accessibility relation [Fitting/Mendelsohn]
4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
Modality affects content, because P→◊P is valid, but ◊P→P isn't [Fitting/Mendelsohn]
4. Formal Logic / D. Modal Logic ML / 5. Epistemic Logic
In epistemic logic knowers are logically omniscient, so they know that they know [Fitting/Mendelsohn]
Read epistemic box as 'a knows/believes P' and diamond as 'for all a knows/believes, P' [Fitting/Mendelsohn]
4. Formal Logic / D. Modal Logic ML / 6. Temporal Logic
F: will sometime, P: was sometime, G: will always, H: was always [Fitting/Mendelsohn]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
The Barcan says nothing comes into existence; the Converse says nothing ceases; the pair imply stability [Fitting/Mendelsohn]
The Barcan corresponds to anti-monotonicity, and the Converse to monotonicity [Fitting/Mendelsohn]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
'Predicate abstraction' abstracts predicates from formulae, giving scope for constants and functions [Fitting/Mendelsohn]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
An axiom has no more authority than a frenzy [Cioran]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
The Indiscernibility of Identicals has been a big problem for modal logic [Fitting/Mendelsohn]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
□ must be sensitive as to whether it picks out an object by essential or by contingent properties [Fitting/Mendelsohn]
Objects retain their possible properties across worlds, so a bundle theory of them seems best [Fitting/Mendelsohn]
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
Counterpart relations are neither symmetric nor transitive, so there is no logic of equality for them [Fitting/Mendelsohn]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / b. Transcendental idealism
Appearances are nothing beyond representations, which is transcendental ideality [Moore,AW]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / a. Consciousness
Our instincts had to be blunted and diminished, to make way for consciousness! [Cioran]
18. Thought / D. Concepts / 2. Origin of Concepts / a. Origin of concepts
We use concepts to master our fears; saying 'death' releases us from confronting it [Cioran]
20. Action / C. Motives for Action / 3. Acting on Reason / c. Reasons as causes
I want to suppress in myself the normal reasons people have for action [Cioran]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / c. Purpose of ethics
At a civilisation's peak values are all that matters, and people unconsciously live by them [Cioran]
22. Metaethics / B. Value / 1. Nature of Value / a. Nature of value
Values don't accumulate; they are ruthlessly replaced [Cioran]
22. Metaethics / B. Value / 2. Values / g. Love
Lovers are hateful, apart from their hovering awareness of death [Cioran]
23. Ethics / F. Existentialism / 1. Existentialism
Man is never himself; he always aims at less than life, or more than life [Cioran]
To live authentically, we must see that philosophy is totally useless [Cioran]
23. Ethics / F. Existentialism / 2. Nihilism
The pointlessness of our motives and irrelevance of our gestures reveals our vacuity [Cioran]
Evidence suggests that humans do not have a purpose [Cioran]
The universe is dirty and fragile, as if a scandal in nothingness had produced its matter [Cioran]
23. Ethics / F. Existentialism / 3. Angst
Unlike other creatures, mankind seems lost in nature [Cioran]
We can only live because our imagination and memory are poor [Cioran]
Life is now more dreaded than death [Cioran]
23. Ethics / F. Existentialism / 4. Boredom
No one is brave enough to say they don't want to do anything; we despise such a view [Cioran]
If you lack beliefs, boredom is your martyrdom [Cioran]
You are stuck in the past if you don't know boredom [Cioran]
History is the bloody rejection of boredom [Cioran]
24. Political Theory / B. Nature of a State / 2. State Legitimacy / b. Natural authority
It is pointless to refuse or accept the social order; we must endure it like the weather [Cioran]
24. Political Theory / C. Ruling a State / 2. Leaders / a. Autocracy
Opportunists can save a nation, and heroes can ruin it [Cioran]
25. Social Practice / E. Policies / 2. Religion in Society
The ideal is to impose a religion by force, and then live in doubt about its beliefs [Cioran]
25. Social Practice / E. Policies / 5. Education / d. Study of history
Despite endless suggestions, no one has found a goal for history [Cioran]
History is wonderfully devoid of meaning [Cioran]
25. Social Practice / F. Life Issues / 4. Suicide
Religions see suicide as insubordination [Cioran]
No one has ever found a good argument against suicide [Cioran]
If you have not contemplated suicide, you are a miserable worm [Cioran]
25. Social Practice / F. Life Issues / 5. Sexual Morality
We all need sexual secrets! [Cioran]
28. God / C. Attitudes to God / 4. God Reflects Humanity
Why is God so boring, and why does God resemble humanity so little? [Cioran]
29. Religion / C. Spiritual Disciplines / 2. Taoism
As the perfect wisdom of detachment, philosophy offers no rivals to Taoism [Cioran]
29. Religion / D. Religious Issues / 1. Religious Commitment / a. Religious Belief
When man abandons religion, he then follows new fake gods and mythologies [Cioran]
A religion needs to motivate killings, and cannot tolerate rivals [Cioran]
29. Religion / D. Religious Issues / 2. Immortality / e. Hell
Circles of hell are ridiculous; all that matters is to be there [Cioran]