The realism-antirealism debate in the age of alternative logics

摘要

When computer scientists, computer and electrical engineers, and information systems specialists implement or use logic either in silicon or in software, the logical system is very likely to be the classical first-order logic system of Tarski that has its origins with Aristotle's classical syllogisms. One of the assumptions of classical logic is that the truth or falsity of a statement is a property that is independent of the person making or using the statement. This is what is meant by "realism" in the book's title. The opposite of realism is not necessarily "idealism."