Unanswered Questions
68 questions with no upvoted or accepted answers
5
votes
0
answers
205
views
Truth/actuality as an operator
Frege claimed that "it is true that" adds nothing to the actual meaning of an assertion, and following him along this line are prosentential theories of truth. However, I wonder if this is ...
CommunityBot
- 1
4
votes
0
answers
75
views
Contradictory unprovable statements in Tarski's "The Concept of Truth in Formalized Languages"
In Tarski's "The Concept of Truth in Formalized Languages", he glosses over the proof of a difficult lemma. I am looking for help writing a proof of it. In Tarski's notation, it is:
In ...
- 71
4
votes
0
answers
264
views
What's the difference between deflationism and correspondence theories of truth?
To my knowledge, the correspondence theory of truth posits that a proposition is true iff there are states of affairs that reflect what the proposition indicates. E.g. "Snow is white" is true iff snow ...
3
votes
0
answers
45
views
Is, "This sentence is made false/bears falsehood," interchangeable with, "This sentence has no truthmaker/is not a truthbearer"?
Truthmaker theory is a position in alethology such that:
The notion of a truthmaker cannot ultimately be understood in isolation from the notion of what it makes true, a truthbearer. This is ...
- 2,637
3
votes
0
answers
84
views
What is Robert Brandom's view of truth/objectivity of claims and does it ending being "Relativist"?
I have read a few of Brandom's papers on truth, "Why Truth is Not Important in Philosophy" and I am starting "Articulating Reasons". It is still unclear to me, even after reading ...
- 133
3
votes
0
answers
70
views
Talking about objects in mereological nihilism: correct but untrue?
Accodrding to T. Sider (p. 248–253)*, a distinction between truth and correctness is possible, such that for the mereological nihilist, statements about wholes can be untrue yet correct: ‘Correct ...
- 1,211
3
votes
0
answers
41
views
For "⊰" = "grounds" and {C, D} = {~A, ~B}, does (C | D) ⊰ ~(~A ∧ ~B) ⊰ (A ∨ B)?
One paradigmatic example of grounding is supposed to be that of conjunctions-in-their-conjuncts and disjunctions-in-their-disjuncts. But per the duality of classical conjunction and disjunction, and ...
CommunityBot
- 1
3
votes
0
answers
63
views
Grounding vs. metaphysical explanation vs. ontological dependence vs. supervenience
Here are links to the four dedicated SEP entries regarding each topic:
Grounding
Metaphysical Explanation
Ontological Dependence
Supervenience
Determinables and Determnates
These are notoriously ...
- 39.2k
3
votes
0
answers
62
views
Is it possible to define 'not(p)' in a deflationary theory of truth?
This question is a follow-up question to another recent question about deflationary theories of truth.
According to one comment:
The point of the deflationary account of truth is that there is ...
- 8,140
3
votes
0
answers
104
views
What does it mean for T-biconditionals to be derivable unrestrictedly?
I have been reading Leitgeb's What Theories of Truth Should be Like, and one of the desiderata for a theory of truth, he argues, is to have unrestricted derivable T-biconditionals. But I am having ...
3
votes
0
answers
93
views
A Paradox for Anti-Realism?
Semantic Anti-Realists hold that a claim has a (constructive) proof if the claim is true. I wonder whether this position runs into a version of Yablo's supposedly non-circular version of the liar ...
- 1,398
3
votes
1
answer
538
views
Does Gödel’s findings boil down to part of classical mathematics (as opposed to computation) is flawed?
According to artificial intelligence researcher Joscha Bach, only classical mathematics is affected by Gödel’s incompleteness theorem however not computation where calculations are performed in a step-...
CommunityBot
- 1
2
votes
0
answers
38
views
Help understanding the value of sincerity and authentic choices etc
authenticity as a virtue term is seen as referring to a way of acting
that is choiceworthy in itself
https://plato.stanford.edu/entries/authenticity/
Can someone make an intrinsically non-...
CommunityBot
- 1
2
votes
0
answers
61
views
Do ⊢ and ⊣ (as "demitrue" and "demifalse") conform to the classical, or to neo-Hegelian, absorption rules for disjunction and conjunction?
The use of the word "absorption" in a logical and/or mathematical context is varied. Per the examples on Wikipedia, the uptack and the downtack are absorbing elements modulo conjunction and ...
CommunityBot
- 1
2
votes
0
answers
42
views
Does the ideal-limit-of-inquiry theory of truth involve a very different set-theoretic analogy from the classical {} = False, {{}} = True metaphor?
It has (and it shouldn't have surprised me, though it did) turned out that the coherence theory of truth can be defined in terms of metaphysically coherentistic grounding, so that a replacement ...
CommunityBot
- 1