All Questions

Filter by
Sorted by
Tagged with
0
votes
1answer
71 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 ...
1
vote
0answers
34 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
2answers
133 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
2answers
168 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
1answer
135 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 ...