Combining Philosophers

All the ideas for Hermarchus, Jos L. Zalabardo and Christopher Peacocke

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


40 ideas

2. Reason / D. Definition / 13. Against Definition
Most people can't even define a chair [Peacocke]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Sets can be defined by 'enumeration', or by 'abstraction' (based on a property) [Zalabardo]
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
The 'Cartesian Product' of two sets relates them by pairing every element with every element [Zalabardo]
A 'partial ordering' is reflexive, antisymmetric and transitive [Zalabardo]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Determinacy: an object is either in a set, or it isn't [Zalabardo]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / l. Axiom of Specification
Specification: Determinate totals of objects always make a set [Zalabardo]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
A first-order 'sentence' is a formula with no free variables [Zalabardo]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
Γ |= φ for sentences if φ is true when all of Γ is true [Zalabardo]
Γ |= φ if φ is true when all of Γ is true, for all structures and interpretations [Zalabardo]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / b. Basic connectives
Propositional logic just needs ¬, and one of ∧, ∨ and → [Zalabardo]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
The semantics shows how truth values depend on instantiations of properties and relations [Zalabardo]
We can do semantics by looking at given propositions, or by building new ones [Zalabardo]
5. Theory of Logic / I. Semantics of Logic / 2. Formal Truth
We make a truth assignment to T and F, which may be true and false, but merely differ from one another [Zalabardo]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
'Logically true' (|= φ) is true for every truth-assignment [Zalabardo]
Logically true sentences are true in all structures [Zalabardo]
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
A sentence-set is 'satisfiable' if at least one truth-assignment makes them all true [Zalabardo]
Some formulas are 'satisfiable' if there is a structure and interpretation that makes them true [Zalabardo]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
A structure models a sentence if it is true in the model, and a set of sentences if they are all true in the model [Zalabardo]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / f. Mathematical induction
If a set is defined by induction, then proof by induction can be applied to it [Zalabardo]
12. Knowledge Sources / B. Perception / 1. Perception
Perceptual concepts causally influence the content of our experiences [Peacocke]
12. Knowledge Sources / B. Perception / 6. Inference in Perception
Perception has proto-propositions, between immediate experience and concepts [Peacocke]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / f. Higher-order thought
Consciousness of a belief isn't a belief that one has it [Peacocke]
18. Thought / A. Modes of Thought / 6. Judgement / a. Nature of Judgement
Concepts are distinguished by roles in judgement, and are thus tied to rationality [Peacocke]
18. Thought / D. Concepts / 1. Concepts / b. Concepts in philosophy
Philosophy should merely give necessary and sufficient conditions for concept possession [Peacocke, by Machery]
Peacocke's account of possession of a concept depends on one view of counterfactuals [Peacocke, by Machery]
Peacocke's account separates psychology from philosophy, and is very sketchy [Machery on Peacocke]
18. Thought / D. Concepts / 2. Origin of Concepts / a. Origin of concepts
The concept 'red' is tied to what actually individuates red things [Peacocke]
18. Thought / D. Concepts / 3. Ontology of Concepts / a. Concepts as representations
If concepts just are mental representations, what of concepts we may never acquire? [Peacocke]
18. Thought / D. Concepts / 3. Ontology of Concepts / b. Concepts as abilities
Possessing a concept is being able to make judgements which use it [Peacocke]
A concept is just what it is to possess that concept [Peacocke]
Employing a concept isn't decided by introspection, but by making judgements using it [Peacocke]
18. Thought / D. Concepts / 3. Ontology of Concepts / c. Fregean concepts
A sense is individuated by the conditions for reference [Peacocke]
Fregean concepts have their essence fixed by reference-conditions [Peacocke]
18. Thought / D. Concepts / 4. Structure of Concepts / a. Conceptual structure
Concepts have distinctive reasons and norms [Peacocke]
18. Thought / D. Concepts / 4. Structure of Concepts / b. Analysis of concepts
An analysis of concepts must link them to something unconceptualized [Peacocke]
Any explanation of a concept must involve reference and truth [Peacocke]
18. Thought / D. Concepts / 4. Structure of Concepts / f. Theory theory of concepts
Concepts are constituted by their role in a group of propositions to which we are committed [Peacocke, by Greco]
19. Language / B. Reference / 1. Reference theories
A concept's reference is what makes true the beliefs of its possession conditions [Peacocke, by Horwich]
19. Language / C. Assigning Meanings / 4. Compositionality
Encountering novel sentences shows conclusively that meaning must be compositional [Peacocke]
25. Social Practice / F. Life Issues / 6. Animal Rights
Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley]