Towards a Formal Occurrence Logic based on Predicate Logic

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskningpeer review

Abstrakt

In this discussion we will concentrate on the main characteristics of an alternative
kind of logic invented by Hans Götzsche: Occurrence Logic, which is not based on truth functionality. Our approach is based on temporal logic developed and elaborated by A. N. Prior.
We will focus on characterising argumentation based on formal Occurrence Logic concerning events and occurrences, and illustrate the relations between Predicate Logic and Occurrence Logic. The relationships (and dependencies) is conducive to an approach that can analyse the occurrences of ”logical statements based on different logical principles” in different moments.
We will also conclude that the elaborated Götzsche’s Occurrence Logic could be able to direct us to a truth-functional independent computer-based logic for analysing argumentation based on events and occurrences.
OriginalsprogEngelsk
TitelCLMPS and LC 2015 : Book of Abstracts
Publikationsdato1 aug. 2015
StatusUdgivet - 1 aug. 2015
BegivenhedLogic Colloquium 2015@15th Congress of Logic, Methodology and Philosophy of Science - University of Helsinki, Helsinki, Finland
Varighed: 3 aug. 2015 → …

Konference

KonferenceLogic Colloquium 2015@15th Congress of Logic, Methodology and Philosophy of Science
LokationUniversity of Helsinki
LandFinland
ByHelsinki
Periode03/08/2015 → …

Fingeraftryk Dyk ned i forskningsemnerne om 'Towards a Formal Occurrence Logic based on Predicate Logic'. Sammen danner de et unikt fingeraftryk.

Citationsformater