Logic is Metaphysics (2011) [pdf]
philpapers.org
Logic is Metaphysics (2011) [pdf]
1–10 of 64 posts
Re: Logic is Metaphysics (2011) [pdf]
#2>Does the number seven exist? Does the red color exist? What evidence do we have to answer these questions? What are the truth conditions for ∃x P(x) when P(x) stands for a number or a property? To respond to these questions is to set an ontology, and setting an ontology is to do metaphysics. This is exactly what Quine does when he states some reasons to include numbers and to exclude properties from the domain of our variables.
Good paper.
Re: Logic is Metaphysics (2011) [pdf]
#3Logic is based on the principle of non-contradiction (identified by Aristotle). The principle, in all its various forms, is used to guide valid thinking (i.e. truth) because contradictions cannot exist which is its tie to metaphysics.
Re: Logic is Metaphysics (2011) [pdf]
#4The key to understanding logic constructively goes through type theory, not philosophy.
I'll just leave this here https://78.media.tumblr.com/bfc158b432199a3e4f5de2ddc1bd7381...
Re: Logic is Metaphysics (2011) [pdf]
#5Logic is based on the principle of non-contradiction (identified by Aristotle). The principle, in all its various forms, is used to guide valid thinking (i.e. truth) because contradictions cannot exist which is its tie to metaphysics.
[deleted]
Re: Logic is Metaphysics (2011) [pdf]
#6Logic is based on the principle of non-contradiction (identified by Aristotle). The principle, in all its various forms, is used to guide valid thinking (i.e. truth) because contradictions cannot exist which is its tie to metaphysics.
"Logic is based on the principle of non-contradiction"
That's merely one type of logic. There are others which can deal with contradictions. See the Wikipedia entries on Paraconsistent logic[1] and Dialetheism[2].
Logicians enjoy coming up with new logics that have any desired or interesting properties. They are not limited to staying within the bounds of classical logic.
Re: Logic is Metaphysics (2011) [pdf]
#7The key to understanding logic constructively goes through type theory, not philosophy. I'll just leave this here https://78.media.tumblr.com/bfc158b432199a3e4f5de2ddc1bd7381...
Source, pretty please?
Re: Logic is Metaphysics (2011) [pdf]
#8The key to understanding logic constructively goes through type theory, not philosophy. I'll just leave this here https://78.media.tumblr.com/bfc158b432199a3e4f5de2ddc1bd7381...
Source, pretty please?
https://books.google.com/books?id=LkDUKMv3yp0C&pg=PA11&lpg=P...
Homotopy Type Theory: Univalent Foundations of Mathematics
Re: Logic is Metaphysics (2011) [pdf]
#9The key to understanding logic constructively goes through type theory, not philosophy. I'll just leave this here https://78.media.tumblr.com/bfc158b432199a3e4f5de2ddc1bd7381...
The progenitor of types was Russell, who considered himself a philosopher.
Re: Logic is Metaphysics (2011) [pdf]
#10The key to understanding logic constructively goes through type theory, not philosophy. I'll just leave this here https://78.media.tumblr.com/bfc158b432199a3e4f5de2ddc1bd7381...
>goes through type theory, not philosophy.
You’re going to be very surprised when you look up the origins of type theory.