Skip to main content

All Questions

Tagged with
5 votes
2 answers
768 views

Are contradictory propositions in the propositional logic still contradictory in the predicate logic?

There is one seeming issue I happened upon that bothers me to no end. Take a proposition like “Snow is white”. “Snow is white” and its negation “Snow is not white” are obviously contradictory. However,...
Falcon's user avatar
  • 63
2 votes
0 answers
115 views

Why don't two equivalent propositions contribute to the same semantics?

We often have 2 propositions that have the same truth table, in that they are true and false given the same conditions. Nevertheless, we still feel as though there different semantics (i.e meaning..),...
SmootQ's user avatar
  • 2,419
1 vote
1 answer
174 views

Does the existence of the proposition require language to be referential?

If we grant that there is a proposition wherein something meaningful is being asserted, does that require us to think of language as essentially representative in some way? If language didn't contain ...
Mos's user avatar
  • 775
10 votes
5 answers
1k views

Shouldn't statements be considered equivalent based on their meaning rather than truth tables?

Consider the following truth table, which serves to define the logical connective ⇔, P | Q || P⇔Q T | T || T T | F || F F | T || F F | F || T According to the above truth table, the logical ...
EthanAlvaree's user avatar
2 votes
1 answer
105 views

A∧B-worlds and law of enrichment in Stalnaker semantics

In Stalnaker semantics a conditional A↦B is true in world u if either A is not logically possible (ex absurdo quodlibet holds in the semantics) or A is logically possible and B is true in the nearest ...
Self-teaching worker's user avatar