Combining Texts

All the ideas for 'Wiener Logik', 'Truthmakers and Converse Barcan Formula' and 'A Study of Concepts'

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


28 ideas

2. Reason / D. Definition / 2. Aims of Definition
A simplification which is complete constitutes a definition [Kant]
2. Reason / D. Definition / 13. Against Definition
Most people can't even define a chair [Peacocke]
3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
The truthmaker principle requires some specific named thing to make the difference [Williamson]
3. Truth / B. Truthmakers / 7. Making Modal Truths
Truthmaker is incompatible with modal semantics of varying domains [Williamson]
The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
If metaphysical possibility is not a contingent matter, then S5 seems to suit it best [Williamson]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson]
Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson]
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
Logic gives us the necessary rules which show us how we ought to think [Kant]
5. Theory of Logic / G. Quantification / 1. Quantification
Not all quantification is either objectual or substitutional [Williamson]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
Not all quantification is objectual or substitutional [Williamson]
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson]
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
Our ability to count objects across possibilities favours the Barcan formulas [Williamson]
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]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / b. Pro-externalism
If we knew what we know, we would be astonished [Kant]
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 / 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 / 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 / 4. Structure of Concepts / b. Analysis of concepts
An analysis of concepts must link them to something unconceptualized [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]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
A thing can't be the only necessary existent, because its singleton set would be as well [Williamson]