All Questions

5 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
4
votes
0answers
68 views

Is Herbrand semantics a kind of term formalism?

Michael Genesereth and Eric Kao describe Herbrand semantics as follows: Herbrand semantics is an alternative semantics for First Order Logic based on truth assignments for ground sentences rather ...
3
votes
1answer
135 views

Is Logic Pre-Human?

It was German philosopher Martin Heidegger (1889-1976) who famously said, "animals are poor in world." Although this may be true, I do not see them as being poor in logic. Paleontologists have ...
3
votes
1answer
102 views

Looking for references for some remark of Quine's

I'm looking for a comment I think I remember Quine having made. He's talking about our understanding of proofs. I think he says something along the following lines... If you understand many different ...
1
vote
0answers
86 views

Quantificational vs Referential vs Predicational descriptions

Reading Peter Ludlow's article on descriptions, it's clear to me that descriptions can be interpreted, found or considered in 3 different ways. They can be seen as quantificational, referential or ...
1
vote
0answers
1k views

Concrete Examples of Complex Term Analysis Using Predicate Logic

In all of my textbooks, there are no concrete case studies of how one can use predicate logic to analyze specific characteristics of complex terms. I am therefore looking for an exemplar for the ...