Med den tredje grad af 'tense-logical involvement' viser Prior, hvorledes man kan opbygge et logisk konsistent A-system. Udgangspunktet bliver A-begreberne inklusiv et basalt mulighedsbegreb. På det grundlag introduceres et logisk sprog og et konsistent, logisk system. Heri kan tidspunkterne defineres som en særlig klasse af udsagn. Overordnet kan man sige, at et 'tidspunkt' bliver identificeret med konjunktionen af en maksimal mængde af indbyrdes konsistente udsagn fra systemet. Prior viser, at disse 'tidspunkts-udsagn'har alle de egenskaber, som B-teoretikerne har forlangt opfyldt. Han viser også, at diverse B-teoretikeres påstande om, at A-logikken skulle føre til en selvmodsigelse (svarende til det såkaldte McTaggart-paradox) ikke holder for en nærmere undersøgelse. Dokumentationen for disse påstande fordrer en betragtelig mængde symbolsk logik, som ikke kan gennemgås i denne sammenhæng, men der er ingen tvivl om, at Priors projekt kan gennemføres. 'Tidspunkter' (dvs. B-teoretikernes afgørende forestilling) kan dermed reduceres begrebsmæssigt til A-begreberne (inklusiv et primitivt mulighedsbegreb). A-teoretikerne kan dermed argumentere for, at deres synspunkt burde antages alene af begrebs-økonomiske grunde dvs. også selv hvis man ikke skulle ønske at tillægge A-teoretikernes mere filosofiske og metafysiske overvejelser nogen særlig vægt.

Det bør for fuldstændighedens skyld tilføjes, at nogle B-teoretikere ikke bryder sig om at tale om varighedsløse 'tidspunkter'. De foretrækker, at opbygge deres logiske systemer med henvisning til et system af 'varigheder', i løbet af hvilke udsagn kan være opfyldt eller ikke opfyldt. Den tilhørende logik bliver mere kompliceret end den traditionelle tidspunkts-logik, men det kan vises, at også en sådan varigheds-logik kan reduceres til Priors A-logiske system af tredje grad.


Mere om:

A.N. Priors tidslogik (generelt)

Tenselogik af første grad

Tenselogik af anden grad

Tenselogik af fjerde grad