In Hans Götzsche (ed.), The Meaning of Language. Newcastle-under-Lyme, UK: Cambridge Scholars (2018)

Farshad Badie
Aalborg University
In this research I will focus on a basis for a formal model based on an alternative kind of logic invented by Hans Götzsche: Occurrence Logic (Occ Log), which is not based on truth values and truth functionality. Also, I have taken into account tense logic developed and elaborated by A. N. Prior. In this article I will provide a conceptual and logical foundation for formal Occurrence Logic based on symbolic logic and will illustrate the most important relations between symbolic logic and Occurrence Logic. There will be a special need to focus on arguments based on symbolic occurrence logic. The interrelationships and dependencies between symbolic logic and Occ Log could be conducive to an approach that can express and analyse ‘the occurrences of the world’s descriptions based on various logical principles at different moments’. Symbolic Occ Log checks the occurrence conditioning and the priority of occurrences by employing occurrence values. I shall conclude that the desired approach could gradually support me in providing a truth-functional independent first-order predicate calculus that could work on semantic analysis of different propositions within world descriptions.
Keywords Occurrence Logic  truth-functional independent semantics  occurrence value  Tense Logic
Categories (categorize this paper)
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,091
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Descent of Man.Charles Darwin - 1874 - Prometheus Books.
Syntactic Structures.J. F. Staal - 1966 - Journal of Symbolic Logic 31 (2):245-251.
Temporal Logic: From Ancient Ideas to Artificial Intelligence.Peter Øhrstrøm & Per F. V. Hasle - 1995 - Dordrecht and Boston: Kluwer Academic Publishers.

View all 10 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Compositional Semantics for a Language of Imperfect Information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
A Sahlqvist Theorem for Substructural Logic.Tomoyuki Suzuki - 2013 - Review of Symbolic Logic 6 (2):229-253.
What's Wrong with Logic?Rani Lill Anjum - 2012 - Argumentos 4 (8).
What is a Non-Truth-Functional Logic?João Marcos - 2009 - Studia Logica 92 (2):215-240.
Ontologically Minimal Logical Semantics.Uwe Meixner - 1995 - Notre Dame Journal of Formal Logic 36 (2):279-298.
A Logic for 'Because'.Benjamin Schnieder - 2011 - Review of Symbolic Logic 4 (3):445-465.
What is “Formal Logic”?Jean-Yves Béziau - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:9-22.
Optimal Computations and the Frequency Occurrence of Áblonskij.[author unknown] - 1969 - Journal of Symbolic Logic 34 (1):134-134.
:The Occurrence Problem for Direct Products of Groups.K. A. Mihajlova - 1971 - Journal of Symbolic Logic 36 (3):540-541.


Added to PP index

Total views
11 ( #852,155 of 2,506,101 )

Recent downloads (6 months)
1 ( #416,984 of 2,506,101 )

How can I increase my downloads?


My notes