From Zakład Logiki Stosowanej

Wersja z dnia 18:09, 8 gru 2014 (edytuj) Pogonowski (Dyskusja | wkład) (→Opole) ← Poprzednia edycja		Aktualna wersja (19:22, 31 sie 2018) (edytuj) (undo) Lapis (Dyskusja | wkład)
(37 intermediate revisions not shown.)
Linia 7:		Linia 7:
	==Wybrane polskie pomoce dydaktyczne z logiki on-line==		==Wybrane polskie pomoce dydaktyczne z logiki on-line==
-	* [http://www.ml.put.poznan.pl/documents/inne/logika Karol A. Andrzejczak: Logika Matematyczna i Teoria Mnogości]	+
	* [http://www.kul.lublin.pl/art_825.html Andrzej Bronk: Konspekt wykładu z logiki ogólnej]		* [http://www.kul.lublin.pl/art_825.html Andrzej Bronk: Konspekt wykładu z logiki ogólnej]
-	* [http://www.ii.uni.wroc.pl/~wch/#teaching Witold Charatonik: Logika dla informatyków]	+	* [http://www.ii.uni.wroc.pl/~wch/Dydaktyka/ Witold Charatonik: Logika dla informatyków]
	* [http://www.logic.amu.edu.pl/index.php/Victoria_Kamasa_-_Dydaktyka Victoria Kamasa: Logika]		* [http://www.logic.amu.edu.pl/index.php/Victoria_Kamasa_-_Dydaktyka Victoria Kamasa: Logika]
-	* [http://www.ii.uni.wroc.pl/~wch/Dydaktyka/Logika/pliki/koczenasz.pdf Piotr Koczenasz: Podstawy logiki i teorii mnogości w zadaniach]
-	* [http://logika2003.republika.pl Agata Kucharska, Barbara Kołodziej: Logika]
	* [http://www.logic.amu.edu.pl/index.php/Wlodzimierz_Lapis_-_Dydaktyka Włodzimierz Lapis: Lingwistyka matematyczna i teoria automatów]		* [http://www.logic.amu.edu.pl/index.php/Wlodzimierz_Lapis_-_Dydaktyka Włodzimierz Lapis: Lingwistyka matematyczna i teoria automatów]
		+	* [http://www.logic.amu.edu.pl/index.php/Wlodzimierz_Lapis_-_Dydaktyka Włodzimierz Lapis: Wstęp do matematyki]
	* [http://www.logic.amu.edu.pl/index.php/Micha%C5%82_Lipnicki_-_Dydaktyka Michał Lipnicki: Logika]		* [http://www.logic.amu.edu.pl/index.php/Micha%C5%82_Lipnicki_-_Dydaktyka Michał Lipnicki: Logika]
	* [http://www.logic.amu.edu.pl/index.php/Dorota_Lipowska_-_Dydaktyka Dorota Lipowska: Logika]		* [http://www.logic.amu.edu.pl/index.php/Dorota_Lipowska_-_Dydaktyka Dorota Lipowska: Logika]
-	* [http://plupkowski.wikidot.com/logika Paweł Łupkowski: Elementy logiki i metodologii nauk]
	* [http://www.calculemus.org/lect/index.html Witold Marciszewski: Lectorium]		* [http://www.calculemus.org/lect/index.html Witold Marciszewski: Lectorium]
	* [http://www.romazur.republika.pl Roman Mazur: Logika u podstaw]		* [http://www.romazur.republika.pl Roman Mazur: Logika u podstaw]
-	* [http://students.mimuw.edu.pl/LP/ Mirosława Miłkowska: Programowanie w logice]
	* [http://robert.nowotniak.com/tautolog/ Robert Nowotniak: Sprawdzanie wartości logicznej wyrażeń zdaniowych]		* [http://robert.nowotniak.com/tautolog/ Robert Nowotniak: Sprawdzanie wartości logicznej wyrażeń zdaniowych]
	* [http://www.ii.uni.wroc.pl/~pacholsk/logika.phtml Leszek Pacholski: Logika dla informatyków]		* [http://www.ii.uni.wroc.pl/~pacholsk/logika.phtml Leszek Pacholski: Logika dla informatyków]
-	* [http://kpaprzycka.swps.edu.pl/xSamouczek/xSamouczek.html Katarzyna Paprzycka: Samouczek logiki zdań i logiki kwantyfikatorów]
-	* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Pos%C5%82uga_dydaktyczna Jerzy Pogonowski: Posługa dydaktyczna, UAM]
-	* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Metalogika_-_Uniwersytet_Opolski Jerzy Pogonowski: Metalogika, Uniwersytet Opolski]
-	* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Logika_Matematyczna Jerzy Pogonowski: Logika matematyczna]
-	* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Funkcje_Rekurencyjne Jerzy Pogonowski: Funkcje rekurencyjne]
-	* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Logika_Radosna Jerzy Pogonowski: Logika radosna (dla etnolingwistek)]
-	* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Semiotyka_Logiczna Jerzy Pogonowski: Semiotyka logiczna]
-	* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Metodologia_Nauk Jerzy Pogonowski: Metodologia Nauk]
-	* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Tablice_Analityczne Jerzy Pogonowski: Tablice analityczne]
-	* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Archiwum Jerzy Pogonowski: Zadania egzaminacyjne z logiki]
-	* [http://www.puw.pl/art.html?akcja=przedmioty&P%5Baid%5D=295 Polski Uniwersytet Wirtualny: Logika]
	* [http://www.zpcir.ict.pwr.wroc.pl/~witold/logar/ Elżbieta Roszkowska, Witold Paluszyński: Podstawy logiki]		* [http://www.zpcir.ict.pwr.wroc.pl/~witold/logar/ Elżbieta Roszkowska, Witold Paluszyński: Podstawy logiki]
	* [http://www.logic.amu.edu.pl/index.php/S%C5%82awomir_Sikora_-_Dydaktyka Sławomir Sikora: Logika starożytnego Orientu]		* [http://www.logic.amu.edu.pl/index.php/S%C5%82awomir_Sikora_-_Dydaktyka Sławomir Sikora: Logika starożytnego Orientu]
	* [http://wazniak.mimuw.edu.pl/index.php?title=Logika_dla_informatyk%C3%B3w Jerzy Tiuryn, Jerzy Tyszkiewicz, Paweł Urzyczyn: Logika dla informatyków]		* [http://wazniak.mimuw.edu.pl/index.php?title=Logika_dla_informatyk%C3%B3w Jerzy Tiuryn, Jerzy Tyszkiewicz, Paweł Urzyczyn: Logika dla informatyków]
		+	* [http://logika.uwb.edu.pl/KT/LogikaNaukaisztuka.pdf Kazimierz Trzęsicki: Logika Nauka i sztuka]
	* [http://logika.wikidot.com/ Mariusz Urbański: Wprowadzenie do logiki]		* [http://logika.wikidot.com/ Mariusz Urbański: Wprowadzenie do logiki]
	* [http://www.mimuw.edu.pl/~urzy/Logika Paweł Urzyczyn: Logika (dla I roku informatyki)]		* [http://www.mimuw.edu.pl/~urzy/Logika Paweł Urzyczyn: Logika (dla I roku informatyki)]
	* [http://www.mimuw.edu.pl/~urzy/Lambda Paweł Urzyczyn: Rachunek lambda]		* [http://www.mimuw.edu.pl/~urzy/Lambda Paweł Urzyczyn: Rachunek lambda]
-	* [http://www.staff.amu.edu.pl/~p_lup/aw_pliki/logika_1 Andrzej Wiśniewski: Logika I - wykłady]	+	* [https://pl.wikibooks.org/wiki/Logika_dla_prawnik%C3%B3w Wikibooks: Logika dla prawników]
-	* [http://www.staff.amu.edu.pl/~p_lup/aw_pliki/logika_2 Andrzej Wiśniewski: Logika II - wykłady]	+
	==Wybrane obcojęzyczne pomoce dydaktyczne z logiki on-line==		==Wybrane obcojęzyczne pomoce dydaktyczne z logiki on-line==
-	* [http://www.freewebs.com/thinkingstraight/ Lee J. Ballard: Thinking Straight]
	* [http://www.coli.uni-saarland.de/projects/milca/courses/comsem/html/index.html Aljosha Burchardt, Stephan Walter, Alexander Koller, Michael Kohlhase, Patrick Blackburn, Johan Bos: Computational Semantics]		* [http://www.coli.uni-saarland.de/projects/milca/courses/comsem/html/index.html Aljosha Burchardt, Stephan Walter, Alexander Koller, Michael Kohlhase, Patrick Blackburn, Johan Bos: Computational Semantics]
	* [http://www.math.uwaterloo.ca/~snburris/htdocs/lmcs.html Stanley Burris: Logic for Mathematics and Computer Science]		* [http://www.math.uwaterloo.ca/~snburris/htdocs/lmcs.html Stanley Burris: Logic for Mathematics and Computer Science]
-	* [http://www.stoneforest.org/critical.html Leo Kee Chye: Critical Thinking]
	* [http://atheism.about.com/od/criticalthinking Critical Thinking: Using Logic and Reason]		* [http://atheism.about.com/od/criticalthinking Critical Thinking: Using Logic and Reason]
	* [http://www.austhink.org/critical/ Critical Thinking On The Web]		* [http://www.austhink.org/critical/ Critical Thinking On The Web]
Linia 53:		Linia 37:
	* [http://www.ltn.lv/~podnieks/mlog/ml.htm Vilnis Detlovs, Karlis Podnieks: Introduction to Mathematical Logic]		* [http://www.ltn.lv/~podnieks/mlog/ml.htm Vilnis Detlovs, Karlis Podnieks: Introduction to Mathematical Logic]
	* [http://www.cs.vsb.cz/duzi/UvodLogika.html Marie Duzí: Úvod do logiky]		* [http://www.cs.vsb.cz/duzi/UvodLogika.html Marie Duzí: Úvod do logiky]
-	* [http://www.drury.edu/ess/Logic/Informal/Overview.html Charles Ess: Informal Fallacies]
	* [http://www.nizkor.org/features/fallacies Fallacies (The Nizkor Project)]		* [http://www.nizkor.org/features/fallacies Fallacies (The Nizkor Project)]
	* [http://homes.dsi.unimi.it/~ghilardi/teaching.html Silvio Ghilardi: Logica Matematica]		* [http://homes.dsi.unimi.it/~ghilardi/teaching.html Silvio Ghilardi: Logica Matematica]
Linia 61:		Linia 44:
	* [http://philosophy.hku.hk/think/ Joe Lau: Critical Thinking Web]		* [http://philosophy.hku.hk/think/ Joe Lau: Critical Thinking Web]
	* [http://www.phil-fak.uni-duesseldorf.de/logik/materialien.html Jochen Lechner: Logik-Kurse und Logik-Skripte]		* [http://www.phil-fak.uni-duesseldorf.de/logik/materialien.html Jochen Lechner: Logik-Kurse und Logik-Skripte]
-	* [http://www.limbicnutrition.com/critical/ Limbicnutrition Critical Thinking Portal]
	* [http://logictutorial.com Logic Tutorial]		* [http://logictutorial.com Logic Tutorial]
	* [http://atheism.about.com/od/logicalarguments Logical Arguments: Introduction to Logic, Arguments, Reasoning]		* [http://atheism.about.com/od/logicalarguments Logical Arguments: Introduction to Logic, Arguments, Reasoning]
Linia 68:		Linia 50:
	* [http://atheism.about.com/od/logicalflawsinreasoning Logical Flaws in Reasoning: Flawed Reasoning, Arguments, and Attitudes]		* [http://atheism.about.com/od/logicalflawsinreasoning Logical Flaws in Reasoning: Flawed Reasoning, Arguments, and Attitudes]
	* [http://www.cs.us.es/cursos/lm Alejandro Fernández Margarit: Lógica Matemática]		* [http://www.cs.us.es/cursos/lm Alejandro Fernández Margarit: Lógica Matemática]
-	* [http://intsys.msu.ru/study/mironov/mathlog.pdf A.M. Mironov: Matiematiczeskaja logika]
-	* [http://www.sjsu.edu/depts/itl Mission: Critical]
	* [http://www.galilean-library.org/int16.html Paul Newall: A Guide to Fallacies]		* [http://www.galilean-library.org/int16.html Paul Newall: A Guide to Fallacies]
	* [http://www.mathacademy.com/pr/prime/articles/fallac/ Platonic Realms Interactive Mathematics Encyclopedia: Fallacies]		* [http://www.mathacademy.com/pr/prime/articles/fallac/ Platonic Realms Interactive Mathematics Encyclopedia: Fallacies]
	* [http://www.austhink.com/rationale Rationale (software for argument mapping)]		* [http://www.austhink.com/rationale Rationale (software for argument mapping)]
	* [http://www.rainerrauch.com/Download/EinfuehrungLogik.pdf Rainer Rauch: Einführung in die Logik für Linguisten]		* [http://www.rainerrauch.com/Download/EinfuehrungLogik.pdf Rainer Rauch: Einführung in die Logik für Linguisten]
-	* [http://poincare.mathematik.uni-tuebingen.de/~logik/philosophie.html Torsten Schatz: Einführung in die Logik]
	* [http://www.earlham.edu/~peters/courses/logsys/lshome.htm Peter Suber: Logical Systems]		* [http://www.earlham.edu/~peters/courses/logsys/lshome.htm Peter Suber: Logical Systems]
	* [http://www.earlham.edu/~peters/courses/inflogic/inflhome.htm Peter Suber: Real-World Reasoning: Informal Logic for College]		* [http://www.earlham.edu/~peters/courses/inflogic/inflhome.htm Peter Suber: Real-World Reasoning: Informal Logic for College]
Linia 81:		Linia 60:
	* [http://www.oakland.edu/phil/cafe The Logic Cafe]		* [http://www.oakland.edu/phil/cafe The Logic Cafe]
	* [http://www.dmoz.org/Society/Philosophy/Philosophy_of_Logic/Informal_Logic/ The Open Directory Project: Informal logic]		* [http://www.dmoz.org/Society/Philosophy/Philosophy_of_Logic/Informal_Logic/ The Open Directory Project: Informal logic]
-	* [http://www-csli.stanford.edu/hp The Openproof Project at CSLI]
	* [http://www.ul.ie/~philos/vol3/gnostic.html Paul Tomassi: Logic and Diagnostic]		* [http://www.ul.ie/~philos/vol3/gnostic.html Paul Tomassi: Logic and Diagnostic]
	* [http://web.cn.edu/kwheeler/fallacies_list.html Wheeler: Logical Fallacies Handlist]		* [http://web.cn.edu/kwheeler/fallacies_list.html Wheeler: Logical Fallacies Handlist]
	* [http://www.csun.edu/~dgw61315/fallacies.html Glenn Whitman: Logical Fallacies and the Art of Debate]		* [http://www.csun.edu/~dgw61315/fallacies.html Glenn Whitman: Logical Fallacies and the Art of Debate]
	* [http://en.wikipedia.org/wiki/Fallacy Wikipedia: Fallacy]		* [http://en.wikipedia.org/wiki/Fallacy Wikipedia: Fallacy]
-	* [http://www.goodart.org/fallazoo.htm Brian Yoder: Fallacy Zoo]
	==Wybrane linki do logiki w sieci==		==Wybrane linki do logiki w sieci==
-	* [http://www.bakeru.edu/crit Baker University, Center for Critical Thinking]	+
		+	* [http://www.logicmuseum.com/wiki/Main_Page Logic Museum]
	* [http://www.formalontology.it Raul Corazzon: Ontology. A Resource Guide for Philosophers] [Tu m.in. linki do: Indian, Buddhist, Chinese, Islamic Logic.]		* [http://www.formalontology.it Raul Corazzon: Ontology. A Resource Guide for Philosophers] [Tu m.in. linki do: Indian, Buddhist, Chinese, Islamic Logic.]
	* [http://www.dmoz.org/Science/Math/Logic_and_Foundations/ dmoz: Open Directory Project: Logic and Foundations]		* [http://www.dmoz.org/Science/Math/Logic_and_Foundations/ dmoz: Open Directory Project: Logic and Foundations]
Linia 98:		Linia 76:
	* [http://plato.stanford.edu/entries/logic-informal Leo Groarke: Informal Logic]		* [http://plato.stanford.edu/entries/logic-informal Leo Groarke: Informal Logic]
	* [http://www.cc.utah.edu/~nahaj/logic/ John Halleck: Logic Tools]		* [http://www.cc.utah.edu/~nahaj/logic/ John Halleck: Logic Tools]
-	* [http://www.google.com/Top/Science/Math/Logic_and_Foundations/Publications/Journals/ Logic and Foundations: Journals]
-	* [http://www.google.com/Top/Science/Math/Logic_and_Foundations/Software/ Logic and Foundations: Software]
	* [http://settheory.net/world Logic and set theory around the world]		* [http://settheory.net/world Logic and set theory around the world]
-	* [http://szukaj.gazeta.pl/katalog/0,51443.html?slowo=logika&szuk=kateg Katalog gazeta.pl: Logika]
	* [http://www.google.interia.pl/szukaj,q,logika,w,,p,1 Katalog interia.pl: Logika]		* [http://www.google.interia.pl/szukaj,q,logika,w,,p,1 Katalog interia.pl: Logika]
	* [http://katalog.onet.pl/3877,logika,k.html Katalog Onet.pl: Logika]		* [http://katalog.onet.pl/3877,logika,k.html Katalog Onet.pl: Logika]
-	* [http://skocz.com/Katalog/Logika/3796 Katalog Skocz.com: Logika]
	* [http://szukaj.wp.pl/szukaj.html?szukaj=logika&z=T&p=T Katalog wp.pl: Logika]		* [http://szukaj.wp.pl/szukaj.html?szukaj=logika&z=T&p=T Katalog wp.pl: Logika]
	* [http://www.phil-fak.uni-duesseldorf.de/logik/software.html Jochen Lechner: Logik-Software für Unterrichtszwecke]		* [http://www.phil-fak.uni-duesseldorf.de/logik/software.html Jochen Lechner: Logik-Software für Unterrichtszwecke]
Linia 143:		Linia 117:
	*[http://tcs.uj.edu.pl/algo.php Katedra Algorytmiki, Wydział Matematyki i Informatyki UJ]		*[http://tcs.uj.edu.pl/algo.php Katedra Algorytmiki, Wydział Matematyki i Informatyki UJ]
	*[http://filozofia.upjp2.edu.pl/index.php/katedra/30/Katedra+Filozofii+Logiki Katedra Filozofii Logiki, Uniwersytet Papieski Jana Pawła II w Krakowie]		*[http://filozofia.upjp2.edu.pl/index.php/katedra/30/Katedra+Filozofii+Logiki Katedra Filozofii Logiki, Uniwersytet Papieski Jana Pawła II w Krakowie]
-	*[http://www.ap.krakow.pl/mat/struktura/ppm.html Pracownia Podstaw Matematyki, Instytut Matematyki Uniwersytetu Pedagogicznego w Krakowie]	+	*[http://matematyka.up.krakow.pl/struktura.php Katedra Dydaktyki i Podstaw Matematyki, Instytut Matematyki Uniwersytetu Pedagogicznego im. KEN w Krakowie]
		+	*[http://www.kognitywistyka.uj.edu.pl/ Zakład Kognitywistyki, Uniwersytet Jagielloński]
	===Poznań===		===Poznań===
Linia 152:		Linia 127:
	*[http://www.logic.amu.edu.pl Zakład Logiki Stosowanej, Instytut Językoznawstwa UAM]		*[http://www.logic.amu.edu.pl Zakład Logiki Stosowanej, Instytut Językoznawstwa UAM]
	*[http://www.kognitywistyka.amu.edu.pl Zakład Logiki i Kognitywistyki, Instytut Psychologii UAM]		*[http://www.kognitywistyka.amu.edu.pl Zakład Logiki i Kognitywistyki, Instytut Psychologii UAM]
		+	*[http://filozofia.amu.edu.pl/struktura-instytutu/zaklad-epistemologii-i-kognitywistyki/ Zakład Epistemologii i Kognitywistyki, Instytut Filozofii UAM]
	*[http://www.cs.put.poznan.pl/homeP.html Instytut Informatyki, Politechnika Poznańska]		*[http://www.cs.put.poznan.pl/homeP.html Instytut Informatyki, Politechnika Poznańska]
	===Białystok===		===Białystok===
-	*[http://logika.uwb.edu.pl/ Katedra Logiki, Informatyki i Filozofii Nauki, Uniersytet w Białymstoku]	+	*[http://logika.uwb.edu.pl/ Katedra Logiki, Informatyki i Filozofii Nauki, Uniwersytet w Białymstoku]
-	*[http://math.uwb.edu.pl/pl/zaklady/zaklad.mhtml?cID=4 Zakład Logiki Matematycznej, Instytut Matematyki UwB]	+
	*[http://ii.uwb.edu.pl/index.php?p=22 Zakład Programowania i Metod Formalnych, Instytut Informatyki UwB]		*[http://ii.uwb.edu.pl/index.php?p=22 Zakład Programowania i Metod Formalnych, Instytut Informatyki UwB]
-	*[http://prawo.uwb.edu.pl/page.php?id=37 Zakład Semiotyki Logicznej, Wydział Prawa UwB]	+	*[http://www.prawo.uwb.edu.pl/prawo_new/index.php?f=14 Zakład Semiotyki Logicznej, Wydział Prawa UwB]
	===Lublin===		===Lublin===
-	*[http://www.umcs.lublin.pl/jednostki.php?id=526 Zakład Logiki i Filozofii Nauki UMCS]	+	*[http://www.umcs.pl/pl/zaklad-logiki-i-kognitywistyki,1198.htm Zakład Logiki i Kognitywistyki, Instytut Filozofii UMCS]
	*[http://www.kul.lublin.pl/1622.html Katedra Logiki, KUL]		*[http://www.kul.lublin.pl/1622.html Katedra Logiki, KUL]
	*[http://www.kul.lublin.pl/1624.html Katedra Metodologii Nauk, KUL]		*[http://www.kul.lublin.pl/1624.html Katedra Metodologii Nauk, KUL]
Linia 175:		Linia 150:
	===Wrocław===		===Wrocław===
-	*[http://pl.wikipedia.org/wiki/Katedra_Logiki_i_Metodologii_Nauk_Uniwersytetu_Wroc%C5%82awskiego Katedra Logiki i Metodologii Nauk UWr]	+	*[http://www.klmn.uni.wroc.pl/index.html Katedra Logiki i Metodologii Nauk UWr]
	*[http://www.math.uni.wroc.pl/instytut/faculty.php?t=0&subsec=7s4&id=7s4 Zakład Logiki i Podstaw Matematyki, Instytut Matematyczny UWr]		*[http://www.math.uni.wroc.pl/instytut/faculty.php?t=0&subsec=7s4&id=7s4 Zakład Logiki i Podstaw Matematyki, Instytut Matematyczny UWr]
Linia 181:		Linia 156:
	*[http://www.filozofia.us.edu.pl/index.php?art_id=87 Zakład Logiki i Metodologii, Instytut Filozofii UŚl]		*[http://www.filozofia.us.edu.pl/index.php?art_id=87 Zakład Logiki i Metodologii, Instytut Filozofii UŚl]
-	*[http://www.math.us.edu.pl/instytut/zaklady/zlm.html Zakład Logiki Matematycznej, Instytut Matematyki UŚl]	+	*[http://www.us.edu.pl/us-addressbook/unit/10000132 Zakład Logiki Matematycznej, Instytut Matematyki UŚl]
	===Toruń===		===Toruń===
	*[http://www.logika.umk.pl/index.html Katedra Logiki, Wydział Humanistyczny UMK]		*[http://www.logika.umk.pl/index.html Katedra Logiki, Wydział Humanistyczny UMK]
		+	*[http://www.filozofia.umk.pl/index.php?lang=_pl&m=page&pg_id=34 Zakład Kognitywistyki i Epistemologii, Instytut Filozofii UMK]
	===Łódź===		===Łódź===
	*[http://www.filozof.uni.lodz.pl/index.php/struktura/katedra-logiki-i-metodologii-nauk Katedra Logiki i Metodologii Nauk, Instytut Filozofii UŁ]		*[http://www.filozof.uni.lodz.pl/index.php/struktura/katedra-logiki-i-metodologii-nauk Katedra Logiki i Metodologii Nauk, Instytut Filozofii UŁ]
		+	*[http://psych.uni.lodz.pl/zaklady/zaklad-kognitywistyki/ Zakład Kognitywistyki, Instytut Psychologii Uniwersytetu Łódzkiego]
	===Olsztyn===		===Olsztyn===
Linia 210:		Linia 187:
	===Częstochowa===		===Częstochowa===
-	*[http://imi.ajd.czest.pl/index.php?pages/show/12,Struktura-instytutu.html Zakład Algebry i Logiki Matematycznej, Instytut Matematyki i Informatyki, Akademia im. Jana Długosza]	+	*[http://www.ajd.czest.pl/~imi/o-nas/struktura-instytutu/ Zakład Algebry i Logiki Matematycznej, Instytut Matematyki i Informatyki, Akademia im. Jana Długosza]
	===Rzeszów===		===Rzeszów===

---

Aktualna wersja

Spis treści 1 Pomoce dydaktyczne 1.1 Wybrane polskie pomoce dydaktyczne z logiki on-line 1.2 Wybrane obcojęzyczne pomoce dydaktyczne z logiki on-line 1.3 Wybrane linki do logiki w sieci 2 Instytucje 2.1 Krajowe Zakłady i Katedry Logiki (niektóre) 2.1.1 Warszawa 2.1.2 Kraków 2.1.3 Poznań 2.1.4 Białystok 2.1.5 Lublin 2.1.6 Opole 2.1.7 Wrocław 2.1.8 Katowice 2.1.9 Toruń 2.1.10 Łódź 2.1.11 Olsztyn 2.1.12 Zielona Góra 2.1.13 Gdańsk 2.1.14 Szczecin 2.1.15 Częstochowa 2.1.16 Rzeszów 2.2 Wybrane instytucje, towarzystwa naukowe, fora dyskusyjne 3 Dla relaksu

[edytuj] Pomoce dydaktyczne

[edytuj] Wybrane polskie pomoce dydaktyczne z logiki on-line

• Andrzej Bronk: Konspekt wykładu z logiki ogólnej
• Witold Charatonik: Logika dla informatyków
• Victoria Kamasa: Logika
• Włodzimierz Lapis: Lingwistyka matematyczna i teoria automatów
• Włodzimierz Lapis: Wstęp do matematyki
• Michał Lipnicki: Logika
• Dorota Lipowska: Logika
• Witold Marciszewski: Lectorium
• Roman Mazur: Logika u podstaw
• Robert Nowotniak: Sprawdzanie wartości logicznej wyrażeń zdaniowych
• Leszek Pacholski: Logika dla informatyków
• Elżbieta Roszkowska, Witold Paluszyński: Podstawy logiki
• Sławomir Sikora: Logika starożytnego Orientu
• Jerzy Tiuryn, Jerzy Tyszkiewicz, Paweł Urzyczyn: Logika dla informatyków
• Kazimierz Trzęsicki: Logika Nauka i sztuka
• Mariusz Urbański: Wprowadzenie do logiki
• Paweł Urzyczyn: Logika (dla I roku informatyki)
• Paweł Urzyczyn: Rachunek lambda
• Wikibooks: Logika dla prawników

[edytuj] Wybrane obcojęzyczne pomoce dydaktyczne z logiki on-line

• Aljosha Burchardt, Stephan Walter, Alexander Koller, Michael Kohlhase, Patrick Blackburn, Johan Bos: Computational Semantics
• Stanley Burris: Logic for Mathematics and Computer Science
• Critical Thinking: Using Logic and Reason
• Critical Thinking On The Web
• Gary N. Curtis: The Fallacy Files
• Vilnis Detlovs, Karlis Podnieks: Introduction to Mathematical Logic
• Marie Duzí: Úvod do logiky
• Fallacies (The Nizkor Project)
• Silvio Ghilardi: Logica Matematica
• Christian Gottschall: Logikseite
• Interaktivna Logika
• Vladimir Kvasnicka: Matematická logika
• Joe Lau: Critical Thinking Web
• Jochen Lechner: Logik-Kurse und Logik-Skripte
• Logic Tutorial
• Logical Arguments: Introduction to Logic, Arguments, Reasoning
• Logical Fallacies: Arguments, Reasoning, and the Fallacy
• Logical Fallacies.info
• Logical Flaws in Reasoning: Flawed Reasoning, Arguments, and Attitudes
• Alejandro Fernández Margarit: Lógica Matemática
• Paul Newall: A Guide to Fallacies
• Platonic Realms Interactive Mathematics Encyclopedia: Fallacies
• Rationale (software for argument mapping)
• Rainer Rauch: Einführung in die Logik für Linguisten
• Peter Suber: Logical Systems
• Peter Suber: Real-World Reasoning: Informal Logic for College
• E. Szabó László: Bevezetés a matematikai logikába
• The Internet Encyklopedia of Philosophy: Fallacy
• The Logic Cafe
• The Open Directory Project: Informal logic
• Paul Tomassi: Logic and Diagnostic
• Wheeler: Logical Fallacies Handlist
• Glenn Whitman: Logical Fallacies and the Art of Debate
• Wikipedia: Fallacy

[edytuj] Wybrane linki do logiki w sieci

• Logic Museum
• Raul Corazzon: Ontology. A Resource Guide for Philosophers [Tu m.in. linki do: Indian, Buddhist, Chinese, Islamic Logic.]
• dmoz: Open Directory Project: Logic and Foundations
• dmoz: Open Directory Project: Philosophy of Logic
• L'Equipe de Logique Mathématique
• Factbites: Logic
• Factasia Logic
• Leo Groarke: Informal Logic
• John Halleck: Logic Tools
• Logic and set theory around the world
• Katalog interia.pl: Logika
• Katalog Onet.pl: Logika
• Katalog wp.pl: Logika
• Jochen Lechner: Logik-Software für Unterrichtszwecke
• Logika.lap.hu
• Math Forum Internet Mathematics Library: Logic/Foundations
• Mathematical Logic around the world
• MathWorld: Logic
• Mizar Home Page
• Readings in Logic
• Stewart Shapiro: Classical Logic
• Peter Suber: A Bibliography of Non-Standard Logics
• The Mac Tutor History of Mathematics archive
• The Mathematical Atlas
• Wikipedia: Logika [hasło omawiane w Wikipedii w trzech tuzinach języków]
• Wikipedia: Matematyka dla liceum: Logika
• Jan Woleński: Towarzystwo Naukowe Warszawskie i rozwój logiki w Polsce
• Ryszard Wójcicki: Czym jest, czym nie jest i czym może być logika?

[edytuj] Instytucje

[edytuj] Krajowe Zakłady i Katedry Logiki (niektóre)

[edytuj] Warszawa

• Zakład Logiki, Instytut Filozofii UW
• Zakład Logiki Matematycznej, Wydział Matematyki, Informatyki i Mechaniki UW
• Zakład Logiki Stosowanej, Instytut Informatyki UW
• Zakład Semiotyki Logicznej, Instytut Filozofii UW
• Zakład Logiki i Informatyki Prawniczej, Wydział Prawa i Administracji UW
• Zakład Logiki i Kognitywistyki, Instytut Filozofii i Socjologii PAN
• Instytut Matematyczny PAN
• Instytut Podstaw Informatyki PAN
• Sekcja Logiki i Metodologii Nauk, Instytut Filozofii, Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie

[edytuj] Kraków

• Zakład Logiki, Instytut Filozofii UJ
• Zakład Retoryki Logicznej, Instytut Filozofii UJ
• Katedra Podstaw Informatyki, Wydział Matematyki i Informatyki UJ
• Katedra Algorytmiki, Wydział Matematyki i Informatyki UJ
• Katedra Filozofii Logiki, Uniwersytet Papieski Jana Pawła II w Krakowie
• Katedra Dydaktyki i Podstaw Matematyki, Instytut Matematyki Uniwersytetu Pedagogicznego im. KEN w Krakowie
• Zakład Kognitywistyki, Uniwersytet Jagielloński

[edytuj] Poznań

• Zakład Logiki Matematycznej, Wydział Matematyki i Informatyki UAM
• Zakład Teorii Obliczeń, Wydział Matematyki i Informatyki UAM
• Zakład Lingwistyki Informatycznej i Sztucznej Inteligencji, Wydział Matematyki i Informatyki UAM
• Zakład Logiki i Metodologii Nauk, Instytut Filozofii UAM
• Zakład Logiki Stosowanej, Instytut Językoznawstwa UAM
• Zakład Logiki i Kognitywistyki, Instytut Psychologii UAM
• Zakład Epistemologii i Kognitywistyki, Instytut Filozofii UAM
• Instytut Informatyki, Politechnika Poznańska

[edytuj] Białystok

• Katedra Logiki, Informatyki i Filozofii Nauki, Uniwersytet w Białymstoku
• Zakład Programowania i Metod Formalnych, Instytut Informatyki UwB
• Zakład Semiotyki Logicznej, Wydział Prawa UwB

[edytuj] Lublin

• Zakład Logiki i Kognitywistyki, Instytut Filozofii UMCS
• Katedra Logiki, KUL
• Katedra Metodologii Nauk, KUL
• Katedra Teorii Poznania, KUL

[edytuj] Opole

• Katedra Algebry i Logiki, Instytut Matematyki i Informatyki UO
• Zakład Logiki i Teorii Poznania, Instytut Filozofii, Uniwersytet Opolski

[edytuj] Wrocław

• Katedra Logiki i Metodologii Nauk UWr
• Zakład Logiki i Podstaw Matematyki, Instytut Matematyczny UWr

[edytuj] Katowice

• Zakład Logiki i Metodologii, Instytut Filozofii UŚl
• Zakład Logiki Matematycznej, Instytut Matematyki UŚl

[edytuj] Toruń

• Katedra Logiki, Wydział Humanistyczny UMK
• Zakład Kognitywistyki i Epistemologii, Instytut Filozofii UMK

[edytuj] Łódź

• Katedra Logiki i Metodologii Nauk, Instytut Filozofii UŁ
• Zakład Kognitywistyki, Instytut Psychologii Uniwersytetu Łódzkiego

[edytuj] Olsztyn

• Katedra Matematyki Dyskretnej i Teoretycznych Podstaw Informatyki, Wydział Matematyki i Informatyki, Uniwersytet Warmińsko-Mazurski w Olsztynie

[edytuj] Zielona Góra

• Zakład Logiki i Metodologii Nauk, Instytut Filozofii, Uniwersytet Zielonogórski

[edytuj] Gdańsk

• Zakład Teorii Mnogości, Instytut Matematyki, Uniwersytet Gdański
• Zakład Logiki, Metodologii i Filozofii Nauki, Instytut Filozofii, Socjologii i Dziennikarstwa, Uniwersytet Gdański

[edytuj] Szczecin

• Zakład Filozofii Nauki, Uniwersytet Szczeciński

[edytuj] Częstochowa

• Zakład Algebry i Logiki Matematycznej, Instytut Matematyki i Informatyki, Akademia im. Jana Długosza

[edytuj] Rzeszów

• Zakład Logiki i Metodologii Nauk, Instytut Filozofii, Uniwersytet Rzeszowski

[edytuj] Wybrane instytucje, towarzystwa naukowe, fora dyskusyjne

• Association for Informal Logic and Critical Thinking
• Calculemus.org
• Filozofia.pl
• Forum Akademickie
• Forum dyskusyjne: Ateista.pl
• Internetowy Katalog Uczelni w Polsce
• Komitet na Rzecz Rozwoju Nauk w Polsce - d. Komitet Ratowania Nauki Polskiej
• Mensa Polska
• Ministerstwo Edukacji Narodowej
• Ministerstwo Nauki i Szkolnictwa Wyższego
• Niezależne Forum Akademickie
• Odyseja Umysłu
• Polska Akademia Nauk
• Polskie Towarzystwo Logiki i Filozofii Nauki
• Racjonalista. Ośrodek Racjonalistyczno-Sceptyczny im. de Voltaire'a

[edytuj] Dla relaksu

• Forum ciekawostka.pl: Zagadki logiczne
• Filip Graliński: Archiwum Fi
• Matematyka.pl: Łamigłówki i zagadki logiczne
• Mathematical and academic jokes
• Mathematical humour
• Mózgowiec: zagadki logiczne
• NonsensopediA: Logika
• Profession Jokes - Mathematicians