Combining Texts

All the ideas for 'What is Logic?st1=Ian Hacking', 'The Bhagavad Gita' and 'Abstract Objects'

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


46 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
Serene wisdom is freedom from ties, and indifference to fortune [Anon (Bhag)]
1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
Questions about objects are questions about certain non-vacuous singular terms [Hale]
2. Reason / A. Nature of Reason / 7. Status of Reason
Seek salvation in the wisdom of reason [Anon (Bhag)]
2. Reason / D. Definition / 3. Types of Definition
A decent modern definition should always imply a semantics [Hacking]
2. Reason / D. Definition / 12. Paraphrase
An expression is a genuine singular term if it resists elimination by paraphrase [Hale]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / d. Basic theorems of PL
Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking]
Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking]
'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
The various logics are abstractions made from terms like 'if...then' in English [Hacking]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking]
A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Second-order completeness seems to need intensional entities and possible worlds [Hacking]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking]
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking]
5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
We should decide whether singular terms are genuine by their usage [Hale]
Often the same singular term does not ensure reliable inference [Hale]
Plenty of clear examples have singular terms with no ontological commitment [Hale]
If singular terms can't be language-neutral, then we face a relativity about their objects [Hale]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
The abstract/concrete distinction is based on what is perceivable, causal and located [Hale]
Colours and points seem to be both concrete and abstract [Hale]
Token-letters and token-words are concrete objects, type-letters and type-words abstract [Hale]
The abstract/concrete distinction is in the relations in the identity-criteria of object-names [Hale]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / b. Levels of abstraction
There is a hierarchy of abstraction, based on steps taken by equivalence relations [Hale]
8. Modes of Existence / D. Universals / 1. Universals
Realists take universals to be the referrents of both adjectives and of nouns [Hale]
If F can't have location, there is no problem of things having F in different locations [Hale]
It is doubtful if one entity, a universal, can be picked out by both predicates and abstract nouns [Hale]
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
I am all the beauty and goodness of things, says Krishna [Anon (Bhag)]
8. Modes of Existence / E. Nominalism / 1. Nominalism / c. Nominalism about abstracta
Objections to Frege: abstracta are unknowable, non-independent, unstatable, unindividuated [Hale]
9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta
Shapes and directions are of something, but games and musical compositions are not [Hale]
Many abstract objects, such as chess, seem non-spatial, but are not atemporal [Hale]
If the mental is non-spatial but temporal, then it must be classified as abstract [Hale]
Being abstract is based on a relation between things which are spatially separated [Hale]
9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta
The modern Fregean use of the term 'object' is much broader than the ordinary usage [Hale]
9. Objects / A. Existence of Objects / 2. Abstract Objects / d. Problems with abstracta
We can't believe in a 'whereabouts' because we ask 'what kind of object is it?' [Hale]
9. Objects / F. Identity among Objects / 1. Concept of Identity
The relations featured in criteria of identity are always equivalence relations [Hale]
9. Objects / F. Identity among Objects / 3. Relative Identity
We sometimes apply identity without having a real criterion [Hale]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / a. Consciousness
In all living beings I am the light of consciousness, says Krishna [Anon (Bhag)]
20. Action / A. Definition of Action / 1. Action Theory
All actions come from: body, lower self, perception, means of action, or Fate [Anon (Bhag)]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
Hate and lust have their roots in man's lower nature [Anon (Bhag)]
25. Social Practice / E. Policies / 1. War / a. Just wars
There is no greater good for a warrior than to fight in a just war [Anon (Bhag)]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / f. Ancient elements
The visible forms of nature are earth, water, fire, air, ether; mind, reason, and the sense of 'I' [Anon (Bhag)]
28. God / A. Divine Nature / 1. God
Everything, including the gods, comes from me, says Krishna [Anon (Bhag)]
29. Religion / A. Polytheistic Religion / 3. Hinduism
Brahman is supreme, Atman his spirit in man, and Karma is the force of creation [Anon (Bhag)]
29. Religion / D. Religious Issues / 1. Religious Commitment / e. Fideism
Only by love can men see me, know me, and come to me, says Krishna [Anon (Bhag)]
29. Religion / D. Religious Issues / 2. Immortality / e. Hell
The three gates of hell are lust, anger and greed [Anon (Bhag)]