this was written in the 1940s, so formal logic hadn't reeeaaally gotten very far yet, but what constitutes "non-Aristotelian logic" today?
here are some instances from wikipedia:
- computability logic
- dynamic semantics
- many-valued logic
- intuitionistic logic
- linear logic
beka valentine
npub132…gwsev
2025-03-27 16:59:57 UTC
in reply to nevent1q…0ydt
Author Public Key
npub132p3v5et2ujg4jpdklvxdge2qlvlzjgqatar7lpmfarx9syl0x5skgwsevPublished at
2025-03-27 16:59:57 UTCEvent JSON
{
"id": "926a01c64107606d787e07352f52b4d8c8296d1748f9b60f917f1d6d4569b18c",
"pubkey": "8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9",
"created_at": 1743094797,
"kind": 1,
"tags": [
[
"e",
"a688eae9c863b50891c3f10da4d17d98cf197d5cf0d33fb7a6e37bd30e2191fb",
"",
"root",
"8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9"
],
[
"proxy",
"https://kolektiva.social/@beka_valentine/114235460619186829",
"web"
],
[
"p",
"8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9"
],
[
"proxy",
"https://kolektiva.social/users/beka_valentine/statuses/114235460619186829",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://kolektiva.social/users/beka_valentine/statuses/114235460619186829",
"pink.momostr"
],
[
"-"
]
],
"content": "this was written in the 1940s, so formal logic hadn't reeeaaally gotten very far yet, but what constitutes \"non-Aristotelian logic\" today?\n\nhere are some instances from wikipedia:\n\n- computability logic\n- dynamic semantics\n- many-valued logic\n- intuitionistic logic\n- linear logic",
"sig": "683f9844c8495aa5fd9dc651f8144b3192ddbe3f91dcff266dab397c5acaabc181ed522ff6c133e0e96c90f86fde7dbad87e0b0bb6516ec5d01729de51e17c9e"
}