Alexander Pruss's Blog
Showing posts with label
necessitism
.
Show all posts
Showing posts with label
necessitism
.
Show all posts
Tuesday, May 5, 2015
Existential commitments of First Order Logic
›
In First Order Logic (FOL), we have two oddities: (a) if " b " is a name, then it's a theorem that b exists, and that (b) it...
7 comments:
›
Home
View web version