Combining Texts

All the ideas for 'Natural Goodness', 'First-order Logic, 2nd-order, Completeness' and 'Db (ideas)'

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


40 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
Wisdom only implies the knowledge achievable in any normal lifetime [Foot]
1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
Note that "is" can assert existence, or predication, or identity, or classification [PG]
2. Reason / F. Fallacies / 1. Fallacy
Fallacies are errors in reasoning, 'formal' if a clear rule is breached, and 'informal' if more general [PG]
2. Reason / F. Fallacies / 3. Question Begging
Question-begging assumes the proposition which is being challenged [PG]
2. Reason / F. Fallacies / 6. Fallacy of Division
What is true of a set is also true of its members [PG]
2. Reason / F. Fallacies / 7. Ad Hominem
The Ad Hominem Fallacy criticises the speaker rather than the argument [PG]
3. Truth / H. Deflationary Truth / 3. Minimalist Truth
Minimal theories of truth avoid ontological commitment to such things as 'facts' or 'reality' [PG]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg]
Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg]
There are at least seven possible systems of semantics for second-order logic [Rossberg]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
Logical consequence is intuitively semantic, and captured by model theory [Rossberg]
5. Theory of Logic / B. Logical Consequence / 3. Deductive Consequence |-
Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
In proof-theory, logical form is shown by the logical constants [Rossberg]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg]
5. Theory of Logic / K. Features of Logics / 4. Completeness
Completeness can always be achieved by cunning model-design [Rossberg]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
A deductive system is only incomplete with respect to a formal semantics [Rossberg]
5. Theory of Logic / L. Paradox / 1. Paradox
Monty Hall Dilemma: do you abandon your preference after Monty eliminates one of the rivals? [PG]
10. Modality / B. Possibility / 6. Probability
Everything has a probability, something will happen, and probabilities add up [PG]
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / a. Naïve realism
If reality is just what we perceive, we would have no need for a sixth sense [PG]
12. Knowledge Sources / A. A Priori Knowledge / 5. A Priori Synthetic
If my team is losing 3-1, I have synthetic a priori knowledge that they need two goals for a draw [PG]
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / b. Multiple realisability
Maybe a mollusc's brain events for pain ARE of the same type (broadly) as a human's [PG]
Maybe a frog's brain events for fear are functionally like ours, but not phenomenally [PG]
20. Action / C. Motives for Action / 3. Acting on Reason / a. Practical reason
All criterions of practical rationality derive from goodness of will [Foot]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / b. Rational ethics
Moral reason is not just neutral, because morality is part of the standard of rationality [Foot, by Hacker-Wright]
Practical rationality must weigh both what is morally and what is non-morally required [Foot]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
Moral virtues arise from human nature, as part of what makes us good human beings [Foot, by Hacker-Wright]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / k. Ethics from nature
Virtues are as necessary to humans as stings are to bees [Foot]
Sterility is a human defect, but the choice to be childless is not [Foot]
22. Metaethics / B. Value / 1. Nature of Value / b. Fact and value
Moral evaluations are not separate from facts, but concern particular facts about functioning [Foot]
22. Metaethics / C. The Good / 2. Happiness / a. Nature of happiness
Deep happiness usually comes from the basic things in life [Foot]
Happiness is enjoying the pursuit and attainment of right ends [Foot]
23. Ethics / A. Egoism / 1. Ethical Egoism
Good actions can never be justified by the good they brings to their agent [Foot]
23. Ethics / B. Contract Ethics / 5. Free Rider
We all know that just pretending to be someone's friend is not the good life [Foot]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / e. Character
Someone is a good person because of their rational will, not their body or memory [Foot]
23. Ethics / E. Utilitarianism / 4. Unfairness
Utilitarianism seems to justify the discreet murder of unhappy people [PG]
23. Ethics / F. Existentialism / 7. Existential Action
Refraining from murder is not made good by authenticity or self-fulfilment [Foot]
27. Natural Reality / G. Biology / 2. Life
Life is Movement, Respiration, Sensation, Nutrition, Excretion, Reproduction, Growth (MRS NERG) [PG]
28. God / A. Divine Nature / 4. Divine Contradictions
How could God know there wasn't an unknown force controlling his 'free' will? [PG]
An omniscient being couldn't know it was omniscient, as that requires information from beyond its scope of knowledge [PG]