nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjm72ua8cmrxhhwvzjyfrwqk9lhzthjqmh3grdtvyfz5tc94nd5tsx3pd3k (nprofile…pd3k) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqgcafyhke7z7w0hlm45rsdlp2rue5x04yjaxewscu0ygmgar3nptqyeme4e (nprofile…me4e) Yeah... I think we do need to teach how not to make these kind of mistakes, but I am doubtful that formal logic is the way to do it...
I would like to instead connect these things to real life. I think when we teach them formal logic, students get the impression that things like the difference between forall and exists are just some rules about what they are allowed to do, but these symbols are really tracing things that they would do in "real life" (like "find" and "give"). Any mathematical reasoning should be expressible in such terms, and when you understand it in that way, it's impossible to make the kinds of mistakes that formal logic aims to correct — and, I suppose, learning formal logic is a bit of an infohazard, since it might lead you to think that universal quantification and existential quantification commute with each other.
Jon Sterling
npub1hf…9ls8k
2025-02-03 12:36:08 UTC
in reply to nevent1q…xd70
Author Public Key
npub1hfga8wmley5fzqtttpeupd8hc6s92rykfmzktm8zfdhu9h8exvqsj9ls8kSeen on
wss://relay.mostr.pubPublished at
2025-02-03 12:36:08 UTCEvent JSON
{
"id": "dfc7e2893c34f54ea68123aa36ff5f5db8323da902e0e94b996e13c483032f4e",
"pubkey": "ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"created_at": 1738586168,
"kind": 1,
"tags": [
[
"p",
"96fcae74f8d8cd7bb98291123702c5fdc4bbc81bbc5036ad8448a8bc16b36d17",
"wss://relay.mostr.pub"
],
[
"p",
"463a925ed9f0bce7dffbad0706fc2a1f33433ea4974d97431c7911b474719856",
"wss://relay.mostr.pub"
],
[
"p",
"dfb5706e44790db5c53525eb857781ab3fc62fb55ed3d12750899960cee78990",
"wss://relay.mostr.pub"
],
[
"p",
"792985fd90e180fa84dc5d1c03185a2bf95f6cf8e44ecb31a4182d18e760a96b",
"wss://relay.mostr.pub"
],
[
"e",
"cfdf24ef308a32da2494eb97cc9be07cf031d7430c761c20df89333096c8815e",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/jonmsterling/statuses/113939983133474091",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjm72ua8cmrxhhwvzjyfrwqk9lhzthjqmh3grdtvyfz5tc94nd5tsx3pd3k nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqgcafyhke7z7w0hlm45rsdlp2rue5x04yjaxewscu0ygmgar3nptqyeme4e Yeah... I think we do need to teach how not to make these kind of mistakes, but I am doubtful that formal logic is the way to do it...\n\nI would like to instead connect these things to real life. I think when we teach them formal logic, students get the impression that things like the difference between forall and exists are just some rules about what they are allowed to do, but these symbols are really tracing things that they would do in \"real life\" (like \"find\" and \"give\"). Any mathematical reasoning should be expressible in such terms, and when you understand it in that way, it's impossible to make the kinds of mistakes that formal logic aims to correct — and, I suppose, learning formal logic is a bit of an infohazard, since it might lead you to think that universal quantification and existential quantification commute with each other.",
"sig": "44a709067c004776189303dd7d8288292914c762490227a62fc9d1be9eaa0bb19895315883bcbfffc103a91190cc7bdde3e7c2fadee1421fa71a71e375a6df50"
}