Om prosjektet
InFors kombinerer filosofi, logikk og matematikk for å utforske mening, oppfatninger, kunnskap og informasjon.
Vi kan beskrive én og samme ting på ulike måter, men beskrivelsene kan formidle forskjellige ideer. Disse forskjellene har betydning for hva mennesker tror og vet, men logiske teorier kan ha vansker med å fange dem opp. Noen tilnærminger støter også på paradokser i behandlingen av mening og sannhet.
For å møte disse utfordringene tar InFors i bruk forcing, en matematisk teknikk utviklet innen mengdelære, og modeller med boolske sannhetsverdier. Disse modellene bruker et rikere spekter av sannhetsverdier enn bare «sant» og «usant». Vi vil tilpasse disse verktøyene for å utvikle et enhetlig rammeverk for å studere mening og innholdet i tanker og oppfatninger.
Ved å kombinere matematiske modeller med filosofisk analyse tar vi sikte på å beskrive nyanser i tenkning og språk mer presist. Prosjektet søker å gi nye perspektiver på grunnleggende spørsmål innen filosofi og logikk, med mulig relevans for språkvitenskap, samfunnsvitenskap og informatikk.
Forskningsspørsmål
Prosjektet vil utvikle nye logiske verktøy og utforske hva de kan fortelle oss om mening, oppfatninger og kunnskap. Fire spørsmål står sentralt i arbeidet vårt:
Hvordan kan forcing hjelpe oss med å fange opp nyanser i mening som eksisterende tilnærminger overser?
Kan rammeverket uttrykke et bredt spekter av ideer presist og samtidig unngå paradokser?
Hvordan kan det utvides utover klassisk logikk?
Hvordan bør vi tolke disse matematiske modellene, og hvilken filosofisk innsikt kan de gi oss?
