Abstract
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.
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.
Originalsprog | Engelsk |
---|---|
Titel | CLMPS and LC 2015 : Book of Abstracts |
Publikationsdato | 1 aug. 2015 |
Status | Udgivet - 1 aug. 2015 |
Begivenhed | Logic Colloquium 2015@15th Congress of Logic, Methodology and Philosophy of Science - University of Helsinki, Helsinki, Finland Varighed: 3 aug. 2015 → … |
Konference
Konference | Logic Colloquium 2015@15th Congress of Logic, Methodology and Philosophy of Science |
---|---|
Lokation | University of Helsinki |
Land/Område | Finland |
By | Helsinki |
Periode | 03/08/2015 → … |