Klasika logikonormiga logiko[1][2] estas formala sistemo kiu sekvas la jenajn principojn:

La plej komunaj ekzemploj de klasikaj logikoj estas la propozicia logiko, la unuaranga logiko (aŭ Predikatkalkulo de unua ordo) kaj la duaranga logiko (aŭ de supera ordo).

La klasikaj logikoj estas la formalaj sistemoj plej studitaj kaj uzitaj el ĉiuj.

Notoj redakti

  1. The Blackwell dictionary of Western philosophy. Wiley-Blackwell. 2004. p. 266. ISBN 978-1-4051-0679-5.
  2. Gamut, L. T. F. (1991). Logic, language, and meaning, Volume 1: Introduction to Logic. University of Chicago Press. pp. 156-157. ISBN 978-0-226-28085-1.

Bibliografio redakti