All Questions
Tagged with symbolic-logic reference-request
8
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, ...
2
votes
4
answers
249
views
At what point in the history of mathematics, and why, did mathematicians come to say "A implies B" to mean "not A or B"?
Here is what one respondent to my previous question says:
A big part of the problem here lies with interpreting the word ‘implies’, which is ambiguous in English. Unfortunately, mathematicians get ...
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 ...
0
votes
1
answer
124
views
How to define a new logical language
There are a number of logical languages defined that are so called flavors of a certain logic (for example, flavors of First Order Logic). Such new logical languages sometimes extend or restrict the ...
2
votes
0
answers
64
views
Recommendation: Second Order Logic textbook
I'm looking into Universalist Realism, Nominalism, Trope theory and the application of Second Order logic to each of them, however I have little/no experience with Second Order logic. Please let me ...
0
votes
2
answers
160
views
Can someone help me understand how to symbolize?
There are jackals on the stairs and in the elevator and Tom is scared.
If there are jackals on the stairs, then they are not on the elevator and Mary is happy.
Either it is the case that, if there ...
-1
votes
2
answers
183
views
Why does what I've written fail to define truth?
(Also posted in mathstackexchange prior to this).
I stumbled across a set of axioms for first order logic a bit ago. Intrigued, I decided to try to write it all down and organise what I read. After I ...
4
votes
1
answer
155
views
Is there a formalized logic for adpositional connectives?
Certain words in natural language are more amenable to logical formalization. The conjunction "and" or weak conditional "unless" are easily applied to break statements into their constituent atomic ...