On Thursday, June 20, 2019 at 10:28:14 AM UTC-5, Bruno Marchal wrote: > > > On 20 Jun 2019, at 12:52, Philip Thrift <[email protected] <javascript:>> > wrote: > > > > *Logic is mere heuristics.* > > > I don’t understand this. > > Logic is a branch of mathematics, which can be used correctly or > incorrectly, like all branches of mathematics. > > In that branche, we study many different sorts of logics, like in Algebra > we study many different sorts of algebraic systems. > > > It is not Holy Writ the LORD God wrote into Stone Tablets. > > > > Of course. Especially that there are a lot of Logics. But in computer > science and in math we use classical logic, not because it would be more > true, but because it is simpler, even to explain the non classical logics, > that we might need in some domain. > > > Bruno > > >
*Logic is a branch of mathematics* [correct], and mathematics is a genre of fiction. @philipthrift -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/6b70b5f1-7d81-4b00-8cd7-ba8e671ec9c8%40googlegroups.com.
