On Thursday, June 20, 2019 at 12:32:20 PM UTC-5, Philip Thrift wrote: > > > > 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]> 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 >
Isn't it odd [back to the Topic] that some think that the Bible and Qur'an are (texts in a genre of) fiction, but mathematical texts are not? @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/0b87c4f1-3157-4cca-87fd-6440e01e7d6a%40googlegroups.com.
