Key notions of Tarski's methodology of deductive systems

  title={Key notions of Tarski's methodology of deductive systems},
  author={Janusz Czelakowski and Grzegorz Malinowski},
  journal={Studia Logica},
The aim el the article is to outline the historical background and the present state of the methodology of deductive systems invented by Alfred Tarski in the thirties. Key notions of Tax'ski's methodology are presented and discussed through the recent development of the original concepts ~nd ideas. w 1. Consequence operations Philosophical intuit ions which underl ie the not ion of logical consequence were analysed in Tarski (1936). t~oughly, a is def ined to be a consequence of a set of… CONTINUE READING

From This Paper

Topics from this paper.
6 Citations
24 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 24 references

~inite equational bases for finite algebras i~ a congruence-distributive equational class, Advances in M a t h e m a t i c s

  • B K.R.
  • 1977
Highly Influential
8 Excerpts

The variety of consequeuce, according to J~olzano

  • E B, W EVE
  • 1985

Independent families in complete Boolean algebras, Transac t ions o f the A m e r i c a n M a t h e m a t i c a l Soc ie ty

  • 1982

Enta i lmen t

  • A. R. ADERSON, P BE, iuE D.
  • Vol. I . The Logic o~f Relevance and Necessity,
  • 1975

Completeness and axiomatizability i~ many valued logics, Proceedings o[ Tarsk i S y m p o s i u m

  • 1974

Model theory before 1945, Proceedings 0 I" Tarski S y m p o s i u m

  • 1974

Structural completeness of the p~'ol~ositional calculus, Bul le t in de l 'Aeadd. m i e Polonaise des Sciences

  • Sdrie des Sciences ma themat iques , As t…
  • 1971

A theory of programs in outline oJ'joi~ work

  • de BAKKEI, J. W- ad SCOT, DANA
  • 1969

On the number of ultrafilters of an infinite Boolean algebra, Zei tsehr

  • 1969

Pragmatism, in: Contemporary Phi losophy I . Logic and Foundat ions o f Ma thema t i c s

  • bnrne ed, Oxford
  • La Nuova Italia Editrice, Florence,
  • 1968

Similar Papers

Loading similar papers…