Combining Texts

All the ideas for 'Perception', 'Db (ideas)' and 'The Concept of Truth for Formalized Languages'

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


78 ideas

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 / A. Truth Problems / 2. Defining Truth
Tarski proved that truth cannot be defined from within a given theory [Tarski, by Halbach]
Tarski proved that any reasonably expressive language suffers from the liar paradox [Tarski, by Horsten]
'True sentence' has no use consistent with logic and ordinary language, so definition seems hopeless [Tarski]
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
Tarski's Theorem renders any precise version of correspondence impossible [Tarski, by Halbach]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
Tarski gave up on the essence of truth, and asked how truth is used, or how it functions [Tarski, by Horsten]
Tarski did not just aim at a definition; he also offered an adequacy criterion for any truth definition [Tarski, by Halbach]
Tarski enumerates cases of truth, so it can't be applied to new words or languages [Davidson on Tarski]
Tarski define truths by giving the extension of the predicate, rather than the meaning [Davidson on Tarski]
Tarski made truth relative, by only defining truth within some given artificial language [Tarski, by O'Grady]
Tarski has to avoid stating how truths relate to states of affairs [Kirkham on Tarski]
Tarskian semantics says that a sentence is true iff it is satisfied by every sequence [Tarski, by Hossack]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth
Truth only applies to closed formulas, but we need satisfaction of open formulas to define it [Burgess on Tarski]
Tarski uses sentential functions; truly assigning the objects to variables is what satisfies them [Tarski, by Rumfitt]
We can define the truth predicate using 'true of' (satisfaction) for variables and some objects [Tarski, by Horsten]
For physicalism, reduce truth to satisfaction, then define satisfaction as physical-plus-logic [Tarski, by Kirkham]
Insight: don't use truth, use a property which can be compositional in complex quantified sentence [Tarski, by Kirkham]
Tarski gave axioms for satisfaction, then derived its explicit definition, which led to defining truth [Tarski, by Davidson]
3. Truth / F. Semantic Truth / 2. Semantic Truth
Tarski made truth respectable, by proving that it could be defined [Tarski, by Halbach]
Tarski defined truth for particular languages, but didn't define it across languages [Davidson on Tarski]
Tarski didn't capture the notion of an adequate truth definition, as Convention T won't prove non-contradiction [Halbach on Tarski]
Tarski says that his semantic theory of truth is completely neutral about all metaphysics [Tarski, by Haack]
Physicalists should explain reference nonsemantically, rather than getting rid of it [Tarski, by Field,H]
A physicalist account must add primitive reference to Tarski's theory [Field,H on Tarski]
Tarski had a theory of truth, and a theory of theories of truth [Tarski, by Read]
Tarski's 'truth' is a precise relation between the language and its semantics [Tarski, by Walicki]
Tarskian truth neglects the atomic sentences [Mulligan/Simons/Smith on Tarski]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
Tarski defined truth, but an axiomatisation can be extracted from his inductive clauses [Tarski, by Halbach]
Tarski's had the first axiomatic theory of truth that was minimally adequate [Tarski, by Horsten]
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 / D. Assumptions for Logic / 4. Identity in Logic
Identity is invariant under arbitrary permutations, so it seems to be a logical term [Tarski, by McGee]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
A name denotes an object if the object satisfies a particular sentential function [Tarski]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
Tarski built a compositional semantics for predicate logic, from dependent satisfactions [Tarski, by McGee]
Tarksi invented the first semantics for predicate logic, using this conception of truth [Tarski, by Kirkham]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
The object language/ metalanguage distinction is the basis of model theory [Tarski, by Halbach]
5. Theory of Logic / L. Paradox / 1. Paradox
Monty Hall Dilemma: do you abandon your preference after Monty eliminates one of the rivals? [PG]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
Tarski avoids the Liar Paradox, because truth cannot be asserted within the object language [Tarski, by Fisher]
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Tarski's theory of truth shifted the approach away from syntax, to set theory and semantics [Feferman/Feferman on Tarski]
7. Existence / D. Theories of Reality / 6. Physicalism
For physicalists, the only relations are spatial, temporal and causal [Robinson,H]
8. Modes of Existence / B. Properties / 6. Categorical Properties
If reality just has relational properties, what are its substantial ontological features? [Robinson,H]
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]
When a red object is viewed, the air in between does not become red [Robinson,H]
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / c. Representative realism
Representative realists believe that laws of phenomena will apply to the physical world [Robinson,H]
Representative realists believe some properties of sense-data are shared by the objects themselves [Robinson,H]
11. Knowledge Aims / C. Knowing Reality / 2. Phenomenalism
Phenomenalism can be theistic (Berkeley), or sceptical (Hume), or analytic (20th century) [Robinson,H]
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]
12. Knowledge Sources / B. Perception / 1. Perception
Can we reduce perception to acquisition of information, which is reduced to causation or disposition? [Robinson,H]
Would someone who recovered their sight recognise felt shapes just by looking? [Robinson,H]
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / b. Primary/secondary
Secondary qualities have one sensory mode, but primary qualities can have more [Robinson,H]
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / c. Primary qualities
We say objects possess no intrinsic secondary qualities because physicists don't need them [Robinson,H]
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / d. Secondary qualities
If objects are not coloured, and neither are sense-contents, we are left saying that nothing is coloured [Robinson,H]
Shape can be experienced in different ways, but colour and sound only one way [Robinson,H]
If secondary qualities match senses, would new senses create new qualities? [Robinson,H]
12. Knowledge Sources / B. Perception / 3. Representation
Most moderate empiricists adopt Locke's representative theory of perception [Robinson,H]
12. Knowledge Sources / B. Perception / 4. Sense Data / a. Sense-data theory
Sense-data leads to either representative realism or phenomenalism or idealism [Robinson,H]
12. Knowledge Sources / B. Perception / 4. Sense Data / b. Nature of sense-data
Sense-data do not have any intrinsic intentionality [Robinson,H]
For idealists and phenomenalists sense-data are in objects; representative realists say they resemble objects [Robinson,H]
12. Knowledge Sources / B. Perception / 4. Sense Data / d. Sense-data problems
Sense-data are rejected because they are a veil between us and reality, leading to scepticism [Robinson,H]
12. Knowledge Sources / B. Perception / 8. Adverbial Theory
'Sense redly' sounds peculiar, but 'senses redly-squarely tablely' sounds far worse [Robinson,H]
Adverbialism sees the contents of sense-experience as modes, not objects [Robinson,H]
If there are only 'modes' of sensing, then an object can no more be red or square than it can be proud or lazy. [Robinson,H]
14. Science / D. Explanation / 1. Explanation / b. Aims of explanation
An explanation presupposes something that is improbable unless it is explained [Robinson,H]
If all possibilities are equal, order seems (a priori) to need an explanation - or does it? [Robinson,H]
15. Nature of Minds / B. Features of Minds / 4. Intentionality / a. Nature of intentionality
If intentional states are intrinsically about other things, what are their own properties? [Robinson,H]
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
Physicalism cannot allow internal intentional objects, as brain states can't be 'about' anything [Robinson,H]
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]
21. Aesthetics / A. Aesthetic Experience / 3. Taste
Taste is the capacity to judge an object or representation which is thought to be beautiful [Tarski, by Schellekens]
23. Ethics / E. Utilitarianism / 4. Unfairness
Utilitarianism seems to justify the discreet murder of unhappy people [PG]
26. Natural Theory / A. Speculations on Nature / 7. Later Matter Theories / c. Matter as extension
Locke's solidity is not matter, because that is impenetrability and hardness combined [Robinson,H]
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]