Completeness of Minimal Positional Calculus
DOI:
https://doi.org/10.12775/LLP.2004.009Keywords
Minimal Positional Calculus, Jerzy Łoś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).References
Garson, J., and N. Rescher, “Topologicallogic”, Journalof Symbolic Logic, 33 (1968): 537–548.
Łoś, J., “Podstawy analizy metodologicznej kanonów Milla”, Annales Universitatis Maria Curie-Skłodowska, 2 (1948): 269–301.
Rasiowa, H., and R. Sikorski, Mathematics of Metamathematics, Warszawa, second edition, PWN, 1968.
Rescher, N., “On the logic of chronological propositions”, Mind, 77 (1966): 75–96.
Rescher, N., and Urquhart A., Temporal Logic, Vienna, Springer-Verlag, 1971.
Downloads
Published
2004-12-21
How to Cite
1.
JARMUŻEK, Tomasz and PIETRUSZCZAK, Andrzej. Completeness of Minimal Positional Calculus. Logic and Logical Philosophy. Online. 21 December 2004. Vol. 13, no. 13, pp. 147-162. [Accessed 16 August 2024]. DOI 10.12775/LLP.2004.009.
Issue
Section
Articles
Stats
Number of views and downloads: 379
Number of citations: 0