Metalogika: Różnice pomiędzy wersjami
Wygląd
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m r2.7.3) (Robot dodał ky:Металогика |
→Linki zewnętrzne: szablon |
||
(Nie pokazano 12 wersji utworzonych przez 7 użytkowników) | |||
Linia 1: | Linia 1: | ||
{{dopracować|źródła=2021-12}} |
|||
'''Metalogiką''' [[system logiczny|systemu logicznego]] nazywamy formalną teorię tegoż systemu. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej [[logika|logiki]]. |
|||
'''Metalogika''' – dział [[Logika matematyczna|logiki matematycznej]] powiązany z [[Metamatematyka|metamatematyką]]<ref>[[Andrzej Grzegorczyk]], ''Elementy logiki matematycznej'', Wydanie II, Państwowe Wydawnictwo Naukowe, Warszawa 1969, s. 229.</ref>, badający różne systemy logiczne jako [[Teoria (logika)|teorie formalne]] ([[Dedukcja|dedukcyjne]])<ref name="epwn">{{Encyklopedia PWN | id = 3940011 | tytuł = metalogika | data dostępu = 2022-02-12 }}</ref><ref name="ep-pwn">''metalogika'' [w:] ''Encyklopedia Popularna PWN'', [[Wydawnictwo Naukowe PWN|Państwowe Wydawnictwo Naukowe]], Warszawa 1986, {{ISBN|83-01-01-750-3}}, s. 462.</ref>. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej [[logika|logiki]]{{fakt|data=2022-02}}. |
|||
⚫ | |||
== Przypisy == |
|||
[[bg:Металогика]] |
|||
{{Przypisy}} |
|||
[[de:Metalogik]] |
|||
[[en:Metalogic]] |
|||
== Linki zewnętrzne == |
|||
[[fa:فرامنطق]] |
|||
* {{otwarty dostęp}} ''[https://encyclopediaofmath.org/wiki/Meta-logic Meta-logic]'' {{lang|en}}, Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-06-18]. |
|||
[[fr:Métalogique]] |
|||
[[id:Metalogika]] |
|||
{{Podstawy matematyki}} |
|||
[[ky:Металогика]] |
|||
{{Działy matematyki}} |
|||
[[nl:Metalogica]] |
|||
[[ru:Металогика]] |
|||
{{Kontrola autorytatywna}} |
|||
[[simple:Metalogic]] |
|||
[[sk:Metalogika]] |
|||
⚫ | |||
[[sv:Metalogik]] |
|||
[[uk:Металогіка]] |
Aktualna wersja na dzień 23:55, 31 lip 2023
Ten artykuł od 2021-12 wymaga zweryfikowania podanych informacji. |
Metalogika – dział logiki matematycznej powiązany z metamatematyką[1], badający różne systemy logiczne jako teorie formalne (dedukcyjne)[2][3]. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki[potrzebny przypis].
Przypisy
[edytuj | edytuj kod]- ↑ Andrzej Grzegorczyk, Elementy logiki matematycznej, Wydanie II, Państwowe Wydawnictwo Naukowe, Warszawa 1969, s. 229.
- ↑ metalogika, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2022-02-12] .
- ↑ metalogika [w:] Encyklopedia Popularna PWN, Państwowe Wydawnictwo Naukowe, Warszawa 1986, ISBN 83-01-01-750-3, s. 462.
Linki zewnętrzne
[edytuj | edytuj kod]- Meta-logic (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-06-18].
Encyklopedie internetowe (specjalność):