Tro og tidslogik

Vi vil i det følgende se på et af de temaer inden for den filosofiske logik, som optager os allermest, nemlig tidslogikken og dens historie. Med afsæt i dette tema kan man pege på flere forhold, der dokumenterer at den kristne tro går fint sammen med filosofisk og logisk analyse, og at denne form for analyse endda kan berige systematisk tænkning og refleksion over den kristne tro. Det viser sig faktisk, at vi her har et spændende eksempel på, at den kristne tænkning har ansporet til udvikling af nogle begrebsdannelser og et logisk sprog, der har vist sig yderst anvendeligt til analyse af såvel filosofiske som datalogiske problemer.