Distribution Laws in Weak Positional Logics

Roczniki Filozoficzne 66 (3):163-179 (2018)
  Copy   BIBTEX


A formal language is positional if it involves a positional connecitve, i.e. a connective of realization to relate formulas to points of a kind, like points of realization or points of relativization. The connective in focus in this paper is the connective “R”, first introduced by Jerzy Łoś. Formulas [Rαφ] involve a singular name α and a formula φ to the effect that φ is satisfied relative to the position designated by α. In weak positional calculi no nested occurences of the connective “R” are allowed. The distribution problem in weak positional logics is actually the problem of distributivity of the connective “R” over classical connectives, viz. the problem of relation between the occurences of classical connectives inside and outside the scope of the positional connective “R”.



    Upload a copy of this work     Papers currently archived: 79,743

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Negation in Weak Positional Calculi.Marcin Tkaczyk - 2013 - Logic and Logical Philosophy 22 (1):3-19.
Symmetric generalized galois logics.Katalin Bimbó & J. Michael Dunn - 2009 - Logica Universalis 3 (1):125-152.
Priority and position.Christopher Freiman - 2014 - Philosophical Studies 167 (2):341-360.
Two Concepts of Law of Nature.Brendan Shea - 2013 - Prolegomena 12 (2):413-442.
A Hierarchy of Weak Double Negations.Norihiro Kamide - 2013 - Studia Logica 101 (6):1277-1297.
On n -contractive fuzzy logics.Rostislav Horčík, Carles Noguera & Milan Petrík - 2007 - Mathematical Logic Quarterly 53 (3):268-288.
Paraconsistent quantum logics.Maria Luisa Dalla Chiara & Roberto Giuntini - 1989 - Foundations of Physics 19 (7):891-904.
Semantic Decision Procedures for Some Relevant Logics.Ross Brady - 2003 - Australasian Journal of Logic 1:4-27.


Added to PP

10 (#910,107)

6 months
1 (#479,060)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

Temporal Logic.Nicholas Rescher & Alasdair Urquhart - 1971 - Philosophy of Science 42 (1):100-103.
Logika czasu empirycznego: funktor realizacji czasowej w językach teorii fizykalnych.Marcin Tkaczyk - 2009 - Lublin: Wydawnictwo Katolickiego Uniwersytetu Lubelskiego.
Topological logic.Nicholas Rescher & James Garson - 1968 - Journal of Symbolic Logic 33 (4):537-548.
Negation in Weak Positional Calculi.Marcin Tkaczyk - 2013 - Logic and Logical Philosophy 22 (1):3-19.
Temporal Logic.Robert A. Bull - 1975 - Journal of Symbolic Logic 40 (2):252-253.

View all 6 references / Add more references