Towards a Formal Occurrence Logic based on Predicate Logic

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

Resumé

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 → …

Fingerprint

Predicate Logic
Logic
Argumentation
Arthur Prior
Temporal Logic
Truth-functionality

Citer dette

@inbook{bedc6735875949dfafd19631716c1bf6,
title = "Towards a Formal Occurrence Logic based on Predicate Logic",
abstract = "In this discussion we will concentrate on the main characteristics of an alternativekind of logic invented by Hans G{\"o}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{\"o}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.",
author = "Farshad Badie and Hans G{\"o}tzsche",
year = "2015",
month = "8",
day = "1",
language = "English",
booktitle = "CLMPS and LC 2015",

}

Badie, F & Götzsche, H 2015, Towards a Formal Occurrence Logic based on Predicate Logic. i CLMPS and LC 2015: Book of Abstracts., Helsinki, Finland, 03/08/2015.

Towards a Formal Occurrence Logic based on Predicate Logic. / Badie, Farshad; Götzsche, Hans.

CLMPS and LC 2015: Book of Abstracts. 2015.

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

TY - ABST

T1 - Towards a Formal Occurrence Logic based on Predicate Logic

AU - Badie, Farshad

AU - Götzsche, Hans

PY - 2015/8/1

Y1 - 2015/8/1

N2 - In this discussion we will concentrate on the main characteristics of an alternativekind 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.

AB - In this discussion we will concentrate on the main characteristics of an alternativekind 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.

UR - http://www.helsinki.fi/lc2015/materials/CLMPS_LC2015_book_of_abstracts_online.pdf

M3 - Conference abstract in proceeding

BT - CLMPS and LC 2015

ER -