Questions tagged [truth-conditional-semantics]
The truth-conditional-semantics tag has no summary.
26 questions
4
votes
1
answer
132
views
Alternatives to alethic/truth-conditional/theoretic semantics for natural languages (especially intensional ones)
Good evening, everyone.
Since Frege the meaning of sentences has been conditioned to its truth-condition (be it as a truth-value being the referent of a sentence or truth being a property of a true ...
- 399
8
votes
1
answer
175
views
Which systems of formal logic do not admit vacuous truth for universal statements?
As I understand it there are systems of formal logic that do not admit vacuous truth for universal statements, what known systems of formal logic satisfy this constraint?
An example Kripke as I ...
- 181
6
votes
2
answers
129
views
The Duhem-Quine thesis was extended by Quine. Can it be extended even further?
On the issue of Underdetermination, the Stanford Encyclopedia of Philosophy mentions that
“Quine suggested that such challenges applied not only to the confirmation of all types of scientific theories,...
- 745
3
votes
2
answers
70
views
Possible variants of T-schema
Let me use this notation:
"xxx"(OL) means that "xxx" is a proposition in the Object Language;
"xxx"(ML) means that "xxx" is a proposition in the Meta-Language.
...
- 588
6
votes
9
answers
5k
views
Can a function have a set as its value? [closed]
In relation to his possible worlds analysis of natural language conditionals (e.g. 1975 Indicative Conditionals) Robert Stalnaker posited a function which takes an antecedent proposition and a ...
1
vote
5
answers
285
views
By what generic method do we correctly determine that an analytical expression of language is true?
The answer to this is a philosophy of logic question would seem to unify the notion of analytic truth across all formal and natural languages. This subject of this question seems to refer to the ...
- 521
1
vote
1
answer
178
views
Do Gödel's incompleteness theorems and Tarski's theorem of indefinability of truth show we can never discover and prove every truth?
I thought I had a grasp on this. Do Gödel's apply to just math; logic, too; or more, and what does its applicability entail? If it applies to math, does it apply to physics? Similarly with Tarski: can ...
- 151
0
votes
0
answers
48
views
How would demi-conditionals work?
Let 𝒜 = an actuality operator and √→ be demi-if. Which, if any, of the following conversions would go through?
𝒜A √→ 𝒜B = √𝒜A → √𝒜B
𝒜A √→ 𝒜B = √𝒜A → 𝒜B
𝒜A √→ 𝒜B = 𝒜A → √𝒜B
𝒜A √→ 𝒜B = √�...
user40843
0
votes
1
answer
128
views
I think I finally understand alethic nihilism
So the definition of truth is that p is true if and only if p.
However, since the Liar Paradox states that p is true if and only if p is false, this is a contradiction.
So the words truth and falsity ...
- 621
3
votes
5
answers
182
views
How Does Alethic Nihlism Address The "Changing Of Subject" Objection?
I recently read this article in my pursuit to understand what alethic nihlism is trying to say:
https://philarchive.org/archive/ASASIT
One of the objections to alethic nihlism is that alethic nihlism ...
- 621
0
votes
1
answer
161
views
Trivialism vs Alethic Nihlism
What are the similiarities and differences between the two theories (as well as arguments for and counterarguments against).
From what I know, trivialism states that everything is true (and I believe ...
- 621
5
votes
1
answer
641
views
What's so special about Tarski's T-Schema?
It seems fairly obvious. Even a five year old could probably come up with it. Its obvious that if something is the case, it is true (literally synonyms).
So, am I missing something? Is there a gulf ...
- 621
3
votes
4
answers
227
views
How can alethic nihilism be justified?
I read the article “On the Advantages of Believing that Nothing is True”. I just don't understand how someone can believe something is the case, but is not true. It's like saying you believe unmarried ...
- 621
0
votes
0
answers
96
views
√◊ (or generally √M, for whatever modal operator(s) M)
I tried Googling "demi-possibility demi-negation" and got nothing (just "demi-possibility" gave results mostly related to demisexuality). And my analysis of demi-negation didn't ...
user40843
-1
votes
6
answers
4k
views
How is Truth Different From Reality?
Is the whole question like "what is truth" just about finding definitions to things we know but can't put into words to explain (things that are currently ineffable). For example, everyone ...
- 621
4
votes
3
answers
529
views
What is Alethic Nihilism?
I recently came across this reddit post:
https://www.reddit.com/r/askphilosophy/comments/15chen5/comment/jtwnkkw/
I think it has something to do with denying the truth predicate without denying the ...
- 621
5
votes
1
answer
105
views
Questions Regarding Tarski's Semantical Formalization of the Colloquial Usage of Truth
My question is in regard to a problem (albeit a simple one) that I ran into reading Tarski's paper "Concept of Truth in Formalized Languages".
On page 159 Tarski states:
(5) for all p, ‘p' ...
- 903
3
votes
1
answer
174
views
What are the arguments of philosophers against the reasoning which justifies the horseshoe from truth-functionality?
There is a reasoning in mathematical logic which is meant to prove that the horseshoe is the only logical operation which fits our notion of conditional.
The reasoning starts from the idea that the ...
- 12k
5
votes
2
answers
512
views
Book request: A nosology of untruths
I recall reading several philosophical articles which deal with various types of untruths: lies, misrepresentations, contradictions, omissions, confabulations, delusions, hallucinations, apparitions, ...
- 1,751
4
votes
2
answers
351
views
The limits on formal semantics: compositionality, context and truth values
I am a little bit surprised by the principle of composionality in semantics (I'm very new to all of this), which states that the meaning of a complex expression is determined by the meanings of its ...
- 113
2
votes
1
answer
87
views
Is this a legitimate way to reframe structuralism in the philosophy of mathematics?
As an umbrella term, "structuralism" has to cover realist and nonrealist versions, while also carrying through the theme of its name nontrivially (for there is a trivial way to make ...
user40843
2
votes
0
answers
53
views
When does a conditional statement hold true according to Dialetheists?
I understand that for the consequent to really follow from the antecedent, it (the consequent) must be both relevant and necessary given the antecedent.
So my question is: which types of conditional ...
- 97
0
votes
1
answer
82
views
Semantic consequence and Sound Argument
Is that correct to say that semantic consequence is equivalent to the concept of sound argument in classical propositional logic?
If it is the case, arguments or theories with contradictory premises ...
2
votes
1
answer
435
views
Lewis's truth condition for counterfactuals
According to SEP, Lewis's theory of counterfactual conditionals defines truth for counterfactuals as follows:
[...] the truth condition for the counterfactual “If A were (or had been)
the case, C ...
- 137
1
vote
2
answers
110
views
Truth value for objects that are not included in definitions
Consider the statement "This triangle has radius 3" and the statement "This cat is a chihuahua". Both radius and chihuahua are terms defined for different kind of objects than the objects we are ...
- 791
23
votes
11
answers
23k
views
What is the difference between Law of Excluded Middle and Principle of Bivalence?
Law of Excluded Middle:
In logic, the law of excluded middle (or the principle of excluded
middle) is the third of the so-called three classic laws of thought.
It states that for any proposition, ...
- 1,027