Philosophy Stack Exchange
Philosophy Stack Exchange

Questions tagged [truth-conditional-semantics]

18 questions
20
votes
11 answers

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, either that proposition is true, or its negation is.…
Tames
  • 987
  • 1
  • 8
  • 19
5
votes
2 answers

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, veiled implications, exaggerations, gaslightings,…
Corbin
  • 434
  • 3
  • 14
4
votes
2 answers

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 constituent expressions and the rules used to…
DSP
  • 113
  • 5
4
votes
1 answer

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 between something being the case and it being true?…
HelpMePlease
  • 83
  • 5
4
votes
1 answer

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' is a true sentence if and only if p. From what I…
Max Maxman
  • 157
  • 9
3
votes
3 answers

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 state of affairs or something. However, I don't…
HelpMePlease
  • 83
  • 5
2
votes
1 answer

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 conditional is truth-functional, that there are…
Speakpigeon
  • 5,522
  • 1
  • 10
  • 22
2
votes
1 answer

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 structuralism true: just make the meaning of the word "structure"…
Kristian Berry
  • 9,561
  • 1
  • 12
  • 33
2
votes
0 answers

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 statements actually hold true under dialetheism?…
help-me
  • 69
  • 3
2
votes
1 answer

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 would be (or have been) the case” is stated as…
Rainer_Zoufal
  • 137
  • 4
1
vote
2 answers

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 talking. Are the above staments true/false or we can't…
ado sar
  • 681
  • 4
  • 13
0
votes
1 answer

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 are of no interest of study. If it is not the…
Cesar Tacla
  • 3
  • 1
0
votes
1 answer

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 are basically both poorly defined, and as such…
HelpMePlease
  • 83
  • 5
0
votes
1 answer

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 they accept everything), while alethic nihlism…
HelpMePlease
  • 83
  • 5
0
votes
2 answers

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 you believe unmarried men exist, but you don't…
HelpMePlease
  • 83
  • 5
1
2