Books tagged with "logika formalna"
Logika i inne sprawy
Niniejszy zbiór zawiera wybór moich artykułów opublikowanych w latach 2004-2015. Przeważają w nim prace dotyczące logiki w szerokim tego słowa znaczeniu, tj. semantyki, logiki formalnej i metodologii nauk. Aby jednak pokazać, że filozof analityczny żyje nie tylko tym, co logiczne, zamieściłem też szkice o Domu Kereta, ontologii ii metodologii krasnoludków (to żaden żart), Brunonie Schulzu i filozoficznych podstawach naszego stosunku do zwierząt.
View DetailsPodstawy matematyki
Książka "Podstawy matematyki" pozwoli zajrzeć w świat myślenia matematycznego, w którym definicje formalne i dowody prowadzą ku zdumiewającym, nowym sposobom definiowania, dowodzenia, obrazowania i zapisu symbolicznego matematyki, dalece wykraczającym poza nasze oczekiwania.
View DetailsWielowartościowość w logikach modalnych i w lingwistyce formalnej
Jedną z najbardziej udanych prób tego rodzaju są wielowartościowe logiki modalne (zaproponowane m.in. przez Morgana, Fittinga, Ostermana), które znajdują zastosowanie zarówno w Computer Science, jak i teoriach ekonomicznych. Jednocześnie można zaobserwować ekspansję wielowartościowości w obrębie lingwistyki formalnej, szczególnie w dziedzinie systemów rozmytych.
View DetailsPodstawy logiki i teorii mnogości
Książka zawiera wykład podstawowych zagadnień logiki matematycznej i teorii mnogości. Przeznaczony jest dla zaocznych studentów informatyki. Część pierwsza poświęcona jest rachunkowi zdań i rachunkowi predykatów oraz funkcjom logicznym i aksjomatycznemu ujęciu logiki klasycznej.
View DetailsMetody logiki. Dedukcja
Metody logiki. Dedukcja to pierwsza publikacja z planowanego cyklu poświęconego najważniejszym metodom i technikom wypracowanym na gruncie nowoczesnej logiki formalnej. W dostępnych monografiach i podręcznikach z zakresu logiki zazwyczaj więcej uwagi poświęcano prezentacji materiału teoretycznego, a zamieszczano zbyt mało przykładów, w jaki sposób konstruować dowody.
View Details