Skip to main content
SpringerLink
Log in

A Completeness Proof of Kiczuk’s Logic of Physical Change

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper the class of minimal models C ZI for Kiczuk’s system of physical change ZI is provided and soundness and completeness proofs of ZI with respect to these models are given. ZI logic consists of propositional logic von Wright’s And Then and six specific axioms characterizing the meaning of unary propositional operator “Zm”, read “there is a change in the fact that”. ZI is intended to be a logic which provides a formal account for describing two kinds of process change: the change from one state of the process to its other state (e.g., transmitting or absorbing energy with greater or less than the usual intensity) and the perishing of the process (e.g., cessation of the energetic activity of the sun).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Chellas, B. F., Modal Logic: an introduction, Cambridge University Press, 1993.

  2. Clifford, J. E., ‘Tense logic and the logic of change’, Logique et Analyse, 9, 1966.

  3. Kiczuk, S., Problematyka wartości poznawczej systemów logiki zmiany, Redakcja Wydawnictw KUL, 1984.

  4. Kiczuk, S., ‘System logiki zmiany’, Roczniki Filozoficzne, 33(1), 1991.

  5. Kiczuk, S., ‘The System of the Logic of Change’, Studies in Logic and Thory of Knowledge, 2, 51–86, Lublin 1991.

  6. Prior A.N.: Past, Present and Future. Clarendon Press, Oxford (1967)

    Google Scholar 

  7. Scott, D., The logic of tenses, Stanford University, 1965.

  8. Świȩtorzecka, K., Classical Conceptions of the Changeability of Situations and Things Represented in Formalized Languages, Wydawnictwo Uniwersytetu Kardynała Stefana Wyszyńskiego, 2008.

  9. Von Wright G.H.: Norm and Action. The Humanities Press, New York (1963)

    Google Scholar 

  10. Von Wright G.H.: ‘And Next’. Acta Philosophica Fennica 18, 293–304 (1965)

    Google Scholar 

  11. Von Wright G.H.: ‘And Then’. Commentationes Phisio-Mathematicae 32(7), 1–11 (1966)

    Google Scholar 

  12. Wajszczyk, J., Logika a czas i zmiana, Wydawnictwo WSP, 1995.

Download references

Author information

Authors and Affiliations

  1. Faculty of Philosophy, Department of Logic, The John Paul II Catholic University of Lublin, Al. Raclawickie 14, 20–950, Lublin, Poland

    Robert Trypuz

Authors
  1. Robert Trypuz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Robert Trypuz.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Trypuz, R. A Completeness Proof of Kiczuk’s Logic of Physical Change. Stud Logica 95, 139–159 (2010). https://doi.org/10.1007/s11225-010-9258-2

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-010-9258-2

Keywords

Search

Navigation