 |
 |
Sorry, but from what I recall, all forms of logic, including epistemic logics, logics of knowledge, etc, depend foundationally on 1st order pred logic in terms of soundness, etc. Is that not the case? Cheers. Fil On 20 June 2011 02:00, Don Norman <[log in to unmask]> wrote: > Terry > > You want us to reason using Predicate first-order logic? How quaint. How > very 19th century. And early 20th. > > I refuse to be bound by an arbitrary mathematics that was invented and > codified but that does not reflect reality. Modern logicians are aware of > this, hence the invention of all sorts of new logics, such as > non-monotonic logics. > > Logic covers deductive reasoning. But science advances by induction and > abduction. Good luck with that. new facts sometimes contradict old ones > (hence the requirement for non-monotonicity). You are preaching a very old > fashioned view of science. > > I, as a card carrying cognitive scientist, firmly believe that logic is a > form of mathematics, not to be confused with human reasoning. Modern > logicians agree: see > > http://plato.stanford.edu/entries/logic-ontology/ > > And if you really want to see a fascinating, and very influential recent > argument about rational argument and human thought, see the recent treatment > in the Brain and Behavioral Sceinces. > > Mercier, Hugo and Sperber, Dan, Why Do Humans Reason? Arguments for an > Argumentative Theory (June 26, 2010). Behavioral and Brain Sciences, Vol. > 34, No. 2, pp. 57-74, 2011. Available at SSRN: > http://ssrn.com/abstract=1698090 > > > Here is the New York Times readable coverage > http://www.nytimes.com/2011/06/15/arts/people-argue-just-to-win-scholars-assert.html > > And here is the official publication. Probably available for free via your > university library. > > http://papers.ssrn.com/sol3/papers.cfm?abstract_id=1698090 > > Don > -- \V/_ Filippo A. Salustri, Ph.D., P.Eng. Mechanical and Industrial Engineering Ryerson University 350 Victoria St, Toronto, ON M5B 2K3, Canada Tel: 416/979-5000 ext 7749 Fax: 416/979-5265 Email: [log in to unmask] http://deseng.ryerson.ca/~fil/