Combining Texts

All the ideas for 'On Carnap's Views on Ontology', 'A Study of Concepts' and 'Logical Necessity'

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


28 ideas

1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
Quine rejects Carnap's view that science and philosophy are distinct [Quine, by Boulter]
2. Reason / D. Definition / 13. Against Definition
Most people can't even define a chair [Peacocke]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
The logic of metaphysical necessity is S5 [Rumfitt]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Soundness in argument varies with context, and may be achieved very informally indeed [Rumfitt]
There is a modal element in consequence, in assessing reasoning from suppositions [Rumfitt]
We reject deductions by bad consequence, so logical consequence can't be deduction [Rumfitt]
5. Theory of Logic / D. Assumptions for Logic / 3. Contradiction
Contradictions include 'This is red and not coloured', as well as the formal 'B and not-B' [Rumfitt]
5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof
Geometrical axioms in logic are nowadays replaced by inference rules (which imply the logical truths) [Rumfitt]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
Names have no ontological commitment, because we can deny that they name anything [Quine]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / b. Commitment of quantifiers
We can use quantification for commitment to unnameable things like the real numbers [Quine]
10. Modality / A. Necessity / 3. Types of Necessity
A distinctive type of necessity is found in logical consequence [Rumfitt, by Hale/Hoffmann,A]
10. Modality / A. Necessity / 6. Logical Necessity
Logical necessity is when 'necessarily A' implies 'not-A is contradictory' [Rumfitt]
A logically necessary statement need not be a priori, as it could be unknowable [Rumfitt]
Narrow non-modal logical necessity may be metaphysical, but real logical necessity is not [Rumfitt]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
If a world is a fully determinate way things could have been, can anyone consider such a thing? [Rumfitt]
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 / 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]
19. Language / E. Analyticity / 3. Analytic and Synthetic
Without the analytic/synthetic distinction, Carnap's ontology/empirical distinction collapses [Quine]