Combining Texts

All the ideas for 'Knowledge by Agreement', 'On Second-Order Logic' and 'What Does It Take to Refer?'

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


56 ideas

3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Correspondence could be with other beliefs, rather than external facts [Kusch]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
Tarskians distinguish truth from falsehood by relations between members of sets [Kusch]
4. Formal Logic / E. Nonclassical Logics / 6. Free Logic
Free logic at least allows empty names, but struggles to express non-existence [Bach]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley]
Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos]
In first-order we can't just assert existence, and it is very hard to deny something's existence [Bach]
5. Theory of Logic / E. Structures of Logic / 3. Constants in Logic
In logic constants play the role of proper names [Bach]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
Proper names can be non-referential - even predicate as well as attributive uses [Bach]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
Millian names struggle with existence, empty names, identities and attitude ascription [Bach]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / a. Descriptions
An object can be described without being referred to [Bach]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
Definite descriptions can be used to refer, but are not semantically referential [Bach]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
'∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos]
5. Theory of Logic / K. Features of Logics / 4. Completeness
Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos]
5. Theory of Logic / K. Features of Logics / 6. Compactness
Why should compactness be definitive of logic? [Boolos, by Hacking]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / e. Peano arithmetic 2nd-order
Many concepts can only be expressed by second-order logic [Boolos]
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
We can have knowledge without belief, if others credit us with knowledge [Kusch]
11. Knowledge Aims / C. Knowing Reality / 4. Solipsism
Methodological Solipsism assumes all ideas could be derived from one mind [Kusch]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / f. Foundationalism critique
Foundations seem utterly private, even from oneself at a later time [Kusch]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
Testimony is reliable if it coheres with evidence for a belief, and with other beliefs [Kusch]
The coherentist restricts the space of reasons to the realm of beliefs [Kusch]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / c. Coherentism critique
Individualistic coherentism lacks access to all of my beliefs, or critical judgement of my assessment [Kusch]
Individual coherentism cannot generate the necessary normativity [Kusch]
13. Knowledge Criteria / C. External Justification / 2. Causal Justification
Cultures decide causal routes, and they can be critically assessed [Kusch]
13. Knowledge Criteria / C. External Justification / 3. Reliabilism / a. Reliable knowledge
Process reliabilism has been called 'virtue epistemology', resting on perception, memory, reason [Kusch]
13. Knowledge Criteria / C. External Justification / 6. Contextual Justification / a. Contextualism
Justification depends on the audience and one's social role [Kusch]
13. Knowledge Criteria / C. External Justification / 7. Testimony
Vindicating testimony is an expression of individualism [Kusch]
Testimony does not just transmit knowledge between individuals - it actually generates knowledge [Kusch]
Some want to reduce testimony to foundations of perceptions, memories and inferences [Kusch]
Testimony won't reduce to perception, if perception depends on social concepts and categories [Kusch]
A foundation is what is intelligible, hence from a rational source, and tending towards truth [Kusch]
Testimony is an area in which epistemology meets ethics [Kusch]
Powerless people are assumed to be unreliable, even about their own lives [Kusch]
13. Knowledge Criteria / C. External Justification / 8. Social Justification
Communitarian Epistemology says 'knowledge' is a social status granted to groups of people [Kusch]
Private justification is justification to imagined other people [Kusch]
Myths about lonely genius are based on epistemological individualism [Kusch]
16. Persons / E. Rejecting the Self / 2. Self as Social Construct
To be considered 'an individual' is performed by a society [Kusch]
18. Thought / D. Concepts / 1. Concepts / a. Nature of concepts
Our experience may be conceptual, but surely not the world itself? [Kusch]
19. Language / B. Reference / 1. Reference theories
Fictional reference is different inside and outside the fiction [Bach]
We can refer to fictional entities if they are abstract objects [Bach]
You 'allude to', not 'refer to', an individual if you keep their identity vague [Bach]
19. Language / B. Reference / 4. Descriptive Reference / b. Reference by description
What refers: indefinite or definite or demonstrative descriptions, names, indexicals, demonstratives? [Bach]
If we can refer to things which change, we can't be obliged to single out their properties [Bach]
We can think of an individual without have a uniquely characterizing description [Bach]
It can't be real reference if it could refer to some other thing that satisfies the description [Bach]
Since most expressions can be used non-referentially, none of them are inherently referential [Bach]
Just alluding to or describing an object is not the same as referring to it [Bach]
19. Language / B. Reference / 5. Speaker's Reference
Context does not create reference; it is just something speakers can exploit [Bach]
'That duck' may not refer to the most obvious one in the group [Bach]
What a pronoun like 'he' refers back to is usually a matter of speaker's intentions [Bach]
Information comes from knowing who is speaking, not just from interpretation of the utterance [Bach]
19. Language / F. Communication / 1. Rhetoric
Often socialising people is the only way to persuade them [Kusch]
19. Language / F. Communication / 5. Pragmatics / a. Contextual meaning
People slide from contextual variability all the way to contextual determination [Bach]
24. Political Theory / D. Ideologies / 7. Communitarianism / a. Communitarianism
Communitarianism in epistemology sees the community as the primary knower [Kusch]
26. Natural Theory / B. Natural Kinds / 7. Critique of Kinds
Natural kinds are social institutions [Kusch]
28. God / A. Divine Nature / 4. Divine Contradictions
Omniscience is incoherent, since knowledge is a social concept [Kusch]