Tidslogik – hvordan filosofi, tro og tvivl hænger sammen med den moderne computer

Logik er kan få de små grå på arbejde for de fleste af os 🤔 Ja faktisk kan logiske problemer nogle gange få os til at tvivle på, hvad der er sandt og falsk i vores opfattelse af tid og rum 🤓. Særligt spørgsmålet om tid har plaget filosoffer i årtusinder - navnligt hvordan vi overhovedet kan sige noget meningsfuldt om vores fremtid ⌛️. Her kommer den såkaldte tidslogik i spil, udviklet i det 20. århundrede af bl.a. New Zealænderen Arthur C. Prior, der på baggrund af tvivl på sin kristne religion endte med at revolutionere måden, hvorpå man logisk kan beskrive tid - faktisk på en måde, der idag er en væsentlig forudsætning for computervidenskaben 💻. For at blive klogere på, hvordan tidslogikken fungerer og hvilken betydning den har haft, har vi denne episode allieret os med Lektor David Jakobsen, fra Aalborg Universitet, der forsker i Priors filosofi og betydning for samfundet. Det bliver en episode, hvor vi både tager et blik bag facaden på, hvordan videnskabens store bidragsydere også er påvirket af oplevelser fra deres levede liv, samt ikke mindst en episode, hvor vi for alvor holder tungen lige i munden for at følge de komplekse logiske sammenhænge Prior udtænkte 🤯. Vi er superglade for at I lytter med - Velkommen tilbage fra Podcasten Athene! 🤩 Bag dette afsnit står Peter Vistisen og David Jakobsen fra Aalborg Universitet i samarbejde med Folkeuniversitet Aalborg. Yderligere information:"Bossa Antigua" Kevin MacLeod (incompetech.com) Licensed under Creative Commons: By Attribution 4.0 License http://creativecommons.org/licenses/by/4.0/ “Whipy whoosh transition” (pixabay.com) by Navadaux