Tytuł pozycji:
W duchu Tarskiego: o alternatywach teorio-dowodowej metalogiki
- Tytuł:
-
W duchu Tarskiego: o alternatywach teorio-dowodowej metalogiki
On Alternatives for the Proof-Theoretical Metalogic
- Autorzy:
-
Surma, Stanisław J.
- Powiązania:
-
https://bibliotekanauki.pl/articles/967595.pdf
- Data publikacji:
-
1993-03-01
- Wydawca:
-
Uniwersytet Warszawski. Wydział Filozofii
- Źródło:
-
Filozofia Nauki; 1993, 1, 1; 49-65
1230-6894
2657-5868
- Język:
-
polski
- Prawa:
-
CC BY-NC-ND: Creative Commons Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0
- Dostawca treści:
-
Biblioteka Nauki
-
Przejdź do źródła  Link otwiera się w nowym oknie
the standard metalogical set-ups seem to be all based on the idea of consequence (or proof). However, metalogic can also be effectively constructed using some non-standard primmitive ideas. In this paper an outline is given to four metalogical frameworks, alternative to the standard set-ups. They are based, respectively, on the idea of consistency; on an omission (or separation) operator; on an extension operator (called in the paper a Lindenbaum operator); and on the idea of maximality. All these metalogics, including the standard consequence-based one, are one-to-one and proof-preserving translatable, and, in this sense, are seen pairwise equivalent and „externally” consistent.