Questions tagged [truth-conditional-semantics]

Filter by
Sorted by
Tagged with
20 votes
11 answers
20k 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, ...
Tames's user avatar
  • 987
5 votes
2 answers
478 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, ...
Corbin's user avatar
  • 634
4 votes
2 answers
113 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 ...
DSP's user avatar
  • 113
4 votes
1 answer
156 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 ...
HelpMePlease's user avatar
4 votes
1 answer
62 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' ...
Max Maxman's user avatar
3 votes
3 answers
195 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 ...
HelpMePlease's user avatar
2 votes
1 answer
100 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 ...
Speakpigeon's user avatar
  • 6,242
2 votes
1 answer
52 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 ...
Kristian Berry's user avatar
2 votes
0 answers
49 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 ...
help-me's user avatar
  • 69
2 votes
1 answer
190 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 ...
Rainer_Zoufal's user avatar
1 vote
2 answers
78 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 ...
ado sar's user avatar
  • 691
0 votes
1 answer
74 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 ...
HelpMePlease's user avatar
0 votes
0 answers
43 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 = √�...
Kristian Berry's user avatar
0 votes
1 answer
56 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 ...
HelpMePlease's user avatar
0 votes
1 answer
87 views

Alethic Nihlism

I read this article: https://aeon.co/essays/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 ...
HelpMePlease's user avatar
0 votes
0 answers
75 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 ...
Kristian Berry's user avatar
0 votes
1 answer
60 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 ...
Cesar Tacla's user avatar
-1 votes
6 answers
322 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 ...
HelpMePlease's user avatar
-1 votes
1 answer
43 views

How Does Alethic Nihlism Address The "Changing Of Subject" Objection?

I recently read this article in my pursuit to understand wtf alethic nihlism is trying to say: https://philarchive.org/archive/ASASIT One of the objections to alethic nihlism is that alethic nihlism ...
HelpMePlease's user avatar