Towards a Formal Occurrence Logic based on Predicate Logic

Research output: Contribution to book/anthology/report/conference proceedingConference abstract in proceedingResearchpeer-review

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.
Original languageEnglish
Title of host publicationCLMPS and LC 2015 : Book of Abstracts
Publication date1 Aug 2015
Publication statusPublished - 1 Aug 2015
EventLogic Colloquium 2015@15th Congress of Logic, Methodology and Philosophy of Science - University of Helsinki, Helsinki, Finland
Duration: 3 Aug 2015 → …

Conference

ConferenceLogic Colloquium 2015@15th Congress of Logic, Methodology and Philosophy of Science
LocationUniversity of Helsinki
Country/TerritoryFinland
CityHelsinki
Period03/08/2015 → …

Fingerprint

Dive into the research topics of 'Towards a Formal Occurrence Logic based on Predicate Logic'. Together they form a unique fingerprint.

Cite this