Friday, July 12, 2013
Dealing with arguments for god has made me a lot more accustomed to the study of formal logic. Here's a nice educational video of the history and structure of logic that also highlights some of it's shortcomings. It always amazes me when I catch wind of some over-enthusiastic theist who hears the cosmological argument or the ontological argument and thinks it's "proof" that god exists. They are obviously unaware of the problems of induction (which the first premise of the kalam cosmological argument relies on) and the problem of equating the possible with the actual (which the ontological argument relies on).
As Kurt Godel, the Austrian logician said, "One cannot claim with certainty of any formal system that all conceptual considerations are represented in it."