Completeness of Minimal Positional Calculus

&
Logic and Logical Philosophy 13:147-162 (2004)
  Copy   BIBTEX

Abstract

In the article "Podstawy analizy metodologicznej kanonów Milla" [2] Jerzy Łoś proposed an operator that refered sentences to temporal moments. Let us look, for example, at a sentence ‘It is raining in Toruń’. From a logical point of view it is a propositional function, which does not have any logical value, unless we point at a temporal context from a fixed set of such contexts. If the sentence was considered today as a description of a state of affairs, it could be true. If it was considered yesterday, it could be false. 1 The operator enables us to connect any sentence p with any temporal context t. Such a complex sentence we read as: a sentence p is realized at a temporal context t (a point of time, an interval of some kind, etc)

Categories

Keywords

Reprint years

DOI

10.12775/llp.2004.009

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

My notes

Similar books and articles

Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi.Andréa Loparić - 2010 - Principia: An International Journal of Epistemology 14 (1):125-33.
Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus. [REVIEW]J. G. Anderson - 1973 - Journal of Symbolic Logic 38 (2):331-332.
Synchronized Linear-Time Temporal Logic.Heinrich Wansing & Norihiro Kamide - 2011 - Studia Logica 99 (1-3):365-388.
Negation in Weak Positional Calculi.Marcin Tkaczyk - 2013 - Logic and Logical Philosophy 22 (1):3-19.
Minimal forms in λ-calculus computations.Corrado Böhm & Silvio Micali - 1980 - Journal of Symbolic Logic 45 (1):165-171.
Ontologically Minimal Logical Semantics.Uwe Meixner - 1995 - Notre Dame Journal of Formal Logic 36 (2):279-298.
A propositional calculus intermediate between the minimal calculus and the classical.Charles Parsons - 1966 - Notre Dame Journal of Formal Logic 7 (4):353-358.
Corrigendum to my paper: "A propositional calculus intermediate between the minimal calculus and the classical".Charles Parsons - 1969 - Notre Dame Journal of Formal Logic 10 (3):336-336.
Temporal non-commutative logic: Expressing time, resource, order and hierarchy.Norihiro Kamide - 2009 - Logic and Logical Philosophy 18 (2):97-126.
A fixed point theorem for o-minimal structures.Kam-Chau Wong - 2003 - Mathematical Logic Quarterly 49 (6):598.
Priority and position.Christopher Freiman - 2014 - Philosophical Studies 167 (2):341-360.
Propositional q-logic.Stefan Wölfl - 2002 - Journal of Philosophical Logic 31 (5):387-414.
Sahlqvist Correspondence for Modal mu-calculus.Johan Benthem, Nick Bezhanishvili & Ian Hodkinson - 2012 - Studia Logica 100 (1-2):31-60.
Inferentializing consequence.Jaroslav Peregrin - unknown

Analytics

Added to PP
2013-11-24

Downloads
68 (#235,492)

6 months
13 (#184,769)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Andrzej Pietruszczak
Nicolaus Copernicus University
Tomasz Jarmużek
Nicolaus Copernicus University

Citations of this work

B-Theory and Time Biases.Sayid Bnefsi - 2019 - In Patrick Blackburn, Per Hasle & Peter Øhrstrøm (eds.), Logic and Philosophy of Time: Further Themes from Prior. Aalborg University Press. pp. 41-52.
Distribution Laws in Weak Positional Logics.Marcin Tkaczyk - 2018 - Roczniki Filozoficzne 66 (3):163-179.
On the modal interpretation of the connective of realisation.A. M. Karczewska - 2021 - Journal of Applied Non-Classical Logics 31 (3-4):221-233.

Add more citations

References found in this work

Topological logic.Nicholas Rescher & James Garson - 1968 - Journal of Symbolic Logic 33 (4):537-548.

Add more references