10 LIVROS EM POLONÊS RELACIONADOS COM «NIESPRZECZNOSC»
Descubra o uso de
niesprzecznosc na seguinte seleção bibliográfica. Livros relacionados com
niesprzecznosc e pequenos extratos deles para contextualizar o seu uso na literatura.
1
Spór o zasadę niesprzeczności: studium z zakresu ... - Strona 86
nej) wersji zasady niesprzeczności. Należy jednak podkreślić, iż między logicznym prawem niesprzeczności a niesprzecznością systemu nie zachodzi taki związek, że występowanie pierwszego gwarantuje odpowiednio zachodzenie ...
2
Sprawozdania - Tomy 15-17 - Strona 250
Hetper Władysław : Dowód niesprzeczności systemu elementarnej semantyki bez indukcji. Dowody niesprzeczności różnych sformalizowanych systemów nauk dedukcyjnych stanowią jedno z najbardziej aktualnych, a zarazem ...
Towarzystwo Naukowe we Lwowie, 1935
3
Filozofia religii Immanuela Kanta: - Strona 94
Zasady niesprzeczności nie można jednak potraktować jako naczelnej zasady determinującej istnienie. Tok rozumowania Kanta przedstawia się w następujący sposób. Znaczenie zasady niesprzeczności, którą w osiemnastowiecznej ...
4
O pojęciu dowodu w matematyce: - Strona 66
mnogości ZFC)16. Podobna sytuacja ma miejsce ze zdaniami arytmetycznymi typu Con ZFC+MC, Con ZFC+V=L , ConZF+AD etc., które wyrażają niesprzeczność odpowiednich teorii (i które są w tych teoriach niedowodliwe). Wydaje się więc ...
Krzysztof Wójtowicz, 2012
5
Wiadomości matematyczne - Tomy 34-35 - Strona 117
Frege uważał, że dowód niesprzeczności aksjomatów jest zbyteczny, gdyż wynika ona z ich prawdziwości. Pogląd Hilberta w tej kwestii był diametralnie różny. Jego zdaniem, z niesprzeczności dowolnie ustalonych aksjomatów i ich ...
Polskie Towarzystwo Matematyczne, 1998
6
Wykłady z dziejów logiki - Strona 189
Można by tedy przyjąć prostszą definicję niesprzeczności systemu: nie- sprzeczny jest system taki: iż nie każde zdanie zbudowane w języku tego systemu jest jego twierdzeniem. Taka definicja po/walałaby mówić o systemach niesprzecznych ...
Tadeusz Kotarbiński, 1990
7
Logika matematyczna: kurs uniwersytecki - Strona 273
Niesprzeczność. Teoria sformalizowana nazywa się niesprzeczna, jeśli wśród jej twierdzeń nie występuje żadna para wyrażeń postaci W i W czyli para wyrażeń, z których jedno jest negacją drugiego. Definicję tę możemy przekształcić na ...
8
Automatyzacja transkrypcji fonematycznej tekstów polskich - Strona 72
Nie będziemy jednak tego robili, gdyż o wiele wygodniej będzie zespolić to pojęcie z pojęciem niesprzeczności i sformułować definicję otrzymanego w ten sposób złożonego pojęcia mocnej niesprzeczności. Powiedzenie, że pojęcie mocnej ...
Maria Steffen-Batogowa, 1975
9
Metamatematyka a epistemologia - Strona 278
warunkiem koherencji, czyli to, że jeśli zbiór T jest koherentny, to jest także niesprzeczny. Przyjmuje się, że dowód w rozumieniu II (1) posiada własność monotoniczności. Wyraża to formuła: (8) (/4^B)=>(DEM(/4)=>DEM(fl)). Podstawmy w (8) ...
George S. Everly, Jan Woleński, Robert Rosenfeld, 1993
10
Funkcje rekurencyjne i elementy matematyki: problemy ... - Strona 148
Z konstrukcji teorii T* wynika, że każde zdanie teorii T, które jest twierdzeniem teorii T* jest także twierdzeniem teorii T Stąd niesprzeczność Timplikuje niesprzeczność T*. Ponieważ T* jest rozszerzeniem teorii T(P), więc również T(P) jest ...