All Questions
Tagged with symbolic-logic mathematical-logic
4
questions
-1
votes
2
answers
79
views
What difference between the truth of a conditional* and its logical validity?
I am confused . . . Here is a remark on the "classical analysis" of the implication:
On the classical analysis, logical implication is the same, not as the truth of a conditional statement, ...
0
votes
1
answer
43
views
Extending the use-mention distinction to account for variables and predicates
When we talk about the use-mention distinction, often the following is said:
To use an expression means to refer to its meaning, to mention an
expression means to refer to the expression itself.
I ...
0
votes
1
answer
187
views
Philosophy books for mathematicians
Are there any books on philosophy that make relatively heavy use of math? I'm not looking for anything on formal epistemology, logic, or philosophy of math. Two examples of books that fall in the ...
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 ...