Abstract
There are some connections between philosophical views of intuitionists and indeterminists — philosophers rejecting the thesis of predeterminism, i.e. — roughly speaking — the thesis that if α is a fact, then at any moment in the past it was the fact that it would be the fact that α; or — what is closer to the thesis as formulated in our formal language — one of the two sentences:
-
It will be the fact that α.
-
It will be the fact that not-α
where α does not refer to a past fact was true (determined) at any moment in the past. The aim of the present paper is to describe some of these connections n terms of tense logic.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Benacerraf, P. and Putnam, H. (Eds): 1964, Philosophy of Mathematics. Selected Readings,Oxford.
Brouwer L. E. J.: 1964a, ‘Intuitionism and Formalism’. In: [1], pp. 66–77.
Brouwer L. E. J.: 1964b, ‘Consciousness, Philosophy and Mathematics’. In: [1], pp. 78–84.
Bull, R. and Segerberg, K.: 1984, `Basic Modal Logic’. In: [6], pp. 1–88, Vol. II.
Ewald, W. B.: 1986, ‘Intuitionistic Tense and Modal Logic’, The Journal of Symbolic Logic 51 (1).
Fitting, M. C.: 1969, Intuitionistic Logic. Model Theory and Forcing,Amsterdam.
Gabbay, D. and Guenthner F. (Eds): 1984, Handbook of Philosophical Logic,Dordrecht.
Grzegorczyk, A.: 1964, ‘A Philosophical Plausible Formal Interpretation of Intuitionistic Logic’, Ind. Math. 26, 596–601.
Karpenko, A. S.: 1984, `Aristotle, Lukasiewicz i faktor-semantika’. In: [13], pp. 107–124.
Lukasiewicz, J.: 1970, Selected Works, L. Borkowski ( Ed. ), Warszawa.
Lukasiewicz, J.: 1970, ‘On Determinism’. In: [9], pp. 110–128.
Lukasiewicz, J.: 1953, ‘A System of Modal Logic’, J. Computing System 1, 11–149.
Prior, A. N.: 1967, Past, Present and Future,Oxford.
Smirnov, V. A. (Ed.): 1984, Modal’nye i intensjonal’nye logiki,Moskwa.
Smorynski, C.: Investigations of Intuitionistic Formal Systems by means of Kripke Models,Dissertation.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Trzesicki, K. (1994). Intuitionism and Indeterminism (Tense-Logical Considerations). In: Woleński, J. (eds) Philosophical Logic in Poland. Synthese Library, vol 228. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8273-5_18
Download citation
DOI: https://doi.org/10.1007/978-94-015-8273-5_18
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4276-7
Online ISBN: 978-94-015-8273-5
eBook Packages: Springer Book Archive