All Questions
Tagged with symbolic-logic semantics
3
questions
2
votes
2
answers
155
views
Why are undefined references and variables not specifically differentiated?
In my opinion, this topic is more philosophical than mathematical, but if it is not, I will ask it on another forum.
My understanding
I'm talking about non-reserved symbols here. Not about 0, 1 or π.
...
8
votes
2
answers
850
views
Why aren't Kripke semantics "syntax in disguise"?
The Wikipedia article on Kripke semantics suggests that they were considered a major breakthrough in part because algebraic semantics were seen as merely "syntax in disguise". But Kripke ...
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,...