Warsztat logiczny

Popularyzacja

Artykuł • Logika • Warsztat logiczny

Witold Marciszewski: #13. Czy maszyna może rozumować, choć wymaga to inwencji (a maszyny na nią nie stać)?

12 kwietnia 2018

Skomentuj

Artykuł • Logika • Warsztat logiczny

Witold Marciszewski: #11. Logika kwantyfikatorów. Rewolucja naukowa epoki informatycznej

28 marca 2018

Skomentuj

Zalążek logiki jako nauki pojawił się w dziele Arystotelesa Analityki ok. 350 p.n.e. Był to jedyny w obiegu system logiki aż do połowy wieku XIX. Wtedy począł...

Artykuł • Logika • Warsztat logiczny

Witold Marciszewski: #12. Sprowadzanie do sprzeczności. Elegancka strategia argumentacyjna

24 stycznia 2018

1 komentarz

W czcigodnej terminologii łacińskiej nazywa się to reductio ad absurdum. Po polsku brzmi to prawie tak samo, „redukcja do absurdu”, ale jest i wariant w...

Artykuł • Logika • Warsztat logiczny

Witold Marciszewski: #10. Moc ekspresyjna teorii kwantyfikatorów

9 października 2017

Skomentuj

Chodzi mi o to, aby język giętki
powiedział wszystko, co pomyśli głowa.

Juliusz Słowacki,
Beniowski

Artykuł • Logika • Warsztat logiczny

Witold Marciszewski: #9. Współpraca koniunkcji z negacją w definiowaniu innych operatorów

26 września 2017

Skomentuj

Szkic ten nawiązuje do przytoczonej w poprzednim odcinku „przypowieści”, która mówiła o stosunku bieguna magnetycznego do geograficznego na północy...