From Department of Applied Logic

Revision as of 08:13, 9 September 2009 (edit) Pogonowski (Talk | contribs) (→Logic in the Internet) ← Previous diff		Revision as of 08:17, 9 September 2009 (edit) (undo) Pogonowski (Talk | contribs) Next diff →
Line 1:		Line 1:
	[[de:Links]]		[[de:Links]]
	[[pl:Linki]]		[[pl:Linki]]
		+
		+	=Teaching logic=
		+
		+	==Logic on-line==
		+	* [http://www.butterfliesandwheels.com/badmoves.php Julian Baggini: Bad Moves]
		+	* [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.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://www.austhink.org/critical/ Critical Thinking On The Web]
		+	* [http://www.fallacyfiles.org Gary N. Curtis: The Fallacy Files]
		+	* [http://www.ltn.lv/~podnieks/mlog/ml.htm Vilnis Detlovs, Karlis Podnieks: Introduction to Mathematical Logic]
		+	* [http://www.sandiego.edu/LogicSlave/online/sillsyll.html Fergus Duniho: Silly Syllogisms]
		+	* [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://homes.dsi.unimi.it/~ghilardi/teaching.html Silvio Ghilardi: Logica Matematica]
		+	* [http://logik.phl.univie.ac.at/chris/logik.html Christian Gottschall: Logikseite]
		+	* [http://www.ffst.hr/~logika/pilot/ulaz.htm Interaktivna Logika]
		+	* [http://www.fiit.stuba.sk/~kvasnicka/Logika Vladimir Kvasnicka: Matematická logika]
		+	* [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.limbicnutrition.com/critical/ Limbicnutrition Critical Thinking Portal]
		+	* [http://www.sandiego.edu/LogicSlave/online.html Logic Programs on Line]
		+	* [http://logictutorial.com Logic Tutorial]
		+	* [http://atheism.about.com/od/logicalarguments Logical Arguments: Introduction to Logic, Arguments, Reasoning]
		+	* [http://atheism.about.com/od/logicalfallacies Logical Fallacies: Arguments, Reasoning, and the Fallacy]
		+	* [http://www.logicalfallacies.info/ Logical Fallacies.info]
		+	* [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://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.mathacademy.com/pr/prime/articles/fallac/ Platonic Realms Interactive Mathematics Encyclopedia: Fallacies]
		+	* [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://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/inflogic/inflhome.htm Peter Suber: Real-World Reasoning: Informal Logic for College]
		+	* [http://philosophy.elte.hu/leszabo/Logika/logika.pdf E. Szabó László: Bevezetés a matematikai logikába]
		+	* [http://www.iep.utm.edu/f/fallacy.htm The Internet Encyklopedia of Philosophy: Fallacy]
		+	* [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-csli.stanford.edu/hp The Openproof Project at CSLI]
		+	* [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://www.csun.edu/~dgw61315/fallacies.html Glenn Whitman: Logical Fallacies and the Art of Debate]
		+	* [http://en.wikipedia.org/wiki/Fallacy Wikipedia: Fallacy]
		+	* [http://www.goodart.org/fallazoo.htm Brian Yoder: Fallacy Zoo]
		+
		+	==Logic in the Internet==
		+	* [http://www.google.com/Top/Science/Math/Logic_and_Foundations Google: Logic and Foundations]
		+	* [http://www.bakeru.edu/crit Baker University, Center for Critical Thinking]
		+	* [http://www.formalontology.it Raul Corazzon: Ontology. A Resource Guide for Philosophers]
		+	* [http://dmoz.org/Society/Philosophy/Philosophy_of_Logic dmoz: Open Directory Project: Philosophy of Logic]
		+	* [http://www.logique.jussieu.fr L'Equipe de Logique Mathématique]
		+	* [http://www.factbites.com/topics/logic Factbites: Logic]
		+	* [http://www.rbjones.com/rbjpub/logic Factasia 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.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://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://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://www.phil-fak.uni-duesseldorf.de/logik/software.html Jochen Lechner: Logik-Software für Unterrichtszwecke]
		+	* [http://www.logika.lap.hu Logika.lap.hu]
		+	* [http://mathforum.org/library/topics/logic Math Forum Internet Mathematics Library: Logic/Foundations]
		+	* [http://world.logic.at/ Mathematical Logic around the world]
		+	* [http://mathworld.wolfram.com/topics/Logic.html MathWorld: Logic]
		+	* [http://www.mizar.org/ Mizar Home Page]
		+	* [http://nfocentrale.net/orcmid/readings/logic.htm Readings in Logic]
		+	* [http://plato.stanford.edu/entries/logic-classical Stewart Shapiro: Classical Logic]
		+	* [http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm Peter Suber: A Bibliography of Non-Standard Logics]
		+	* [http://www-history.mcs.st-andrews.ac.uk/history/index.html The Mac Tutor History of Mathematics archive]
		+	* [http://www.math-atlas.org/welcome.html The Mathematical Atlas]
		+	* [http://pl.wikipedia.org/wiki/Logika_matematyczna Wikipedia: Logika]
		+	* [http://pl.wikibooks.org/w/index.php?title=Matematyka_dla_liceum:Logika&oldid=17589 Wikipedia: Matematyka dla liceum: Logika]
		+	* [http://www.tnw.waw.pl/hist_ja_wol.html Jan Woleński: Towarzystwo Naukowe Warszawskie i rozwój logiki w Polsce]
		+	* [http://www.us.szc.pl/panele?xml=load_page&st=5703 Ryszard Wójcicki: Czym jest, czym nie jest i czym może być logika?]
		+
		+	==Logic on-line (Polish)==
		+	* [http://www.ml.put.poznan.pl/documents/inne/logika Karol A. Andrzejczak: Logika Matematyczna i Teoria Mnogości]
		+	* [http://merak.pb.bialystok.pl/dydaktyka/litm Grzegorz Bancerek: Logika i teoria mnogości]
		+	* [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.ajd.czest.pl/~j.grygiel/materialy.html Joanna Grygiel: Logika dla filozofów]
		+	* [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/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.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://www.cyf-kr.edu.pl/~atolszad/dydaktyka.php Adam Olszewski: Wykład z logiki dla studentów pierwszego roku]
		+	* [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.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://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/Lambda Paweł Urzyczyn: Rachunek lambda]
		+	* [http://www.staff.amu.edu.pl/~p_lup/aw_pliki/logika_1 Andrzej Wiśniewski: Logika I - wykłady]
		+	* [http://www.staff.amu.edu.pl/~p_lup/aw_pliki/logika_2 Andrzej Wiśniewski: Logika II - wykłady]
		+
		+
		+	=Institutions=
	==Some Departments of Logic in Poland==		==Some Departments of Logic in Poland==
Line 91:		Line 215:
	*[http://www.ukw.edu.pl/pokazStrone.php?idStr=6daa952e92545df497f5 Zakład Logiki i Epistemologii, Uniwersytet Kazimierza Wielkiego w Bydgoszczy]		*[http://www.ukw.edu.pl/pokazStrone.php?idStr=6daa952e92545df497f5 Zakład Logiki i Epistemologii, Uniwersytet Kazimierza Wielkiego w Bydgoszczy]
-	==Logic on-line (Polish)==
-	* [http://www.ml.put.poznan.pl/documents/inne/logika Karol A. Andrzejczak: Logika Matematyczna i Teoria Mnogości]
-	* [http://merak.pb.bialystok.pl/dydaktyka/litm Grzegorz Bancerek: Logika i teoria mnogości]
-	* [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.ajd.czest.pl/~j.grygiel/materialy.html Joanna Grygiel: Logika dla filozofów]
-	* [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/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.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://www.cyf-kr.edu.pl/~atolszad/dydaktyka.php Adam Olszewski: Wykład z logiki dla studentów pierwszego roku]
-	* [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.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://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/Lambda Paweł Urzyczyn: Rachunek lambda]
-	* [http://www.staff.amu.edu.pl/~p_lup/aw_pliki/logika_1 Andrzej Wiśniewski: Logika I - wykłady]
-	* [http://www.staff.amu.edu.pl/~p_lup/aw_pliki/logika_2 Andrzej Wiśniewski: Logika II - wykłady]
-
-	==Logic on-line==
-	* [http://www.butterfliesandwheels.com/badmoves.php Julian Baggini: Bad Moves]
-	* [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.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://www.austhink.org/critical/ Critical Thinking On The Web]
-	* [http://www.fallacyfiles.org Gary N. Curtis: The Fallacy Files]
-	* [http://www.ltn.lv/~podnieks/mlog/ml.htm Vilnis Detlovs, Karlis Podnieks: Introduction to Mathematical Logic]
-	* [http://www.sandiego.edu/LogicSlave/online/sillsyll.html Fergus Duniho: Silly Syllogisms]
-	* [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://homes.dsi.unimi.it/~ghilardi/teaching.html Silvio Ghilardi: Logica Matematica]
-	* [http://logik.phl.univie.ac.at/chris/logik.html Christian Gottschall: Logikseite]
-	* [http://www.ffst.hr/~logika/pilot/ulaz.htm Interaktivna Logika]
-	* [http://www.fiit.stuba.sk/~kvasnicka/Logika Vladimir Kvasnicka: Matematická logika]
-	* [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.limbicnutrition.com/critical/ Limbicnutrition Critical Thinking Portal]
-	* [http://www.sandiego.edu/LogicSlave/online.html Logic Programs on Line]
-	* [http://logictutorial.com Logic Tutorial]
-	* [http://atheism.about.com/od/logicalarguments Logical Arguments: Introduction to Logic, Arguments, Reasoning]
-	* [http://atheism.about.com/od/logicalfallacies Logical Fallacies: Arguments, Reasoning, and the Fallacy]
-	* [http://www.logicalfallacies.info/ Logical Fallacies.info]
-	* [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://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.mathacademy.com/pr/prime/articles/fallac/ Platonic Realms Interactive Mathematics Encyclopedia: Fallacies]
-	* [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://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/inflogic/inflhome.htm Peter Suber: Real-World Reasoning: Informal Logic for College]
-	* [http://philosophy.elte.hu/leszabo/Logika/logika.pdf E. Szabó László: Bevezetés a matematikai logikába]
-	* [http://www.iep.utm.edu/f/fallacy.htm The Internet Encyklopedia of Philosophy: Fallacy]
-	* [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-csli.stanford.edu/hp The Openproof Project at CSLI]
-	* [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://www.csun.edu/~dgw61315/fallacies.html Glenn Whitman: Logical Fallacies and the Art of Debate]
-	* [http://en.wikipedia.org/wiki/Fallacy Wikipedia: Fallacy]
-	* [http://www.goodart.org/fallazoo.htm Brian Yoder: Fallacy Zoo]
-
-	==Logic in the Internet==
-	* [http://www.google.com/Top/Science/Math/Logic_and_Foundations Google: Logic and Foundations]
-	* [http://www.bakeru.edu/crit Baker University, Center for Critical Thinking]
-	* [http://www.formalontology.it Raul Corazzon: Ontology. A Resource Guide for Philosophers]
-	* [http://dmoz.org/Society/Philosophy/Philosophy_of_Logic dmoz: Open Directory Project: Philosophy of Logic]
-	* [http://www.logique.jussieu.fr L'Equipe de Logique Mathématique]
-	* [http://www.factbites.com/topics/logic Factbites: Logic]
-	* [http://www.rbjones.com/rbjpub/logic Factasia 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.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://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://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://www.phil-fak.uni-duesseldorf.de/logik/software.html Jochen Lechner: Logik-Software für Unterrichtszwecke]
-	* [http://www.logika.lap.hu Logika.lap.hu]
-	* [http://mathforum.org/library/topics/logic Math Forum Internet Mathematics Library: Logic/Foundations]
-	* [http://world.logic.at/ Mathematical Logic around the world]
-	* [http://mathworld.wolfram.com/topics/Logic.html MathWorld: Logic]
-	* [http://www.mizar.org/ Mizar Home Page]
-	* [http://nfocentrale.net/orcmid/readings/logic.htm Readings in Logic]
-	* [http://plato.stanford.edu/entries/logic-classical Stewart Shapiro: Classical Logic]
-	* [http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm Peter Suber: A Bibliography of Non-Standard Logics]
-	* [http://www-history.mcs.st-andrews.ac.uk/history/index.html The Mac Tutor History of Mathematics archive]
-	* [http://www.math-atlas.org/welcome.html The Mathematical Atlas]
-	* [http://pl.wikipedia.org/wiki/Logika_matematyczna Wikipedia: Logika]
-	* [http://pl.wikibooks.org/w/index.php?title=Matematyka_dla_liceum:Logika&oldid=17589 Wikipedia: Matematyka dla liceum: Logika]
-	* [http://www.tnw.waw.pl/hist_ja_wol.html Jan Woleński: Towarzystwo Naukowe Warszawskie i rozwój logiki w Polsce]
-	* [http://www.us.szc.pl/panele?xml=load_page&st=5703 Ryszard Wójcicki: Czym jest, czym nie jest i czym może być logika?]
	==Academic institutions==		==Academic institutions==
Line 231:		Line 237:
	* [http://www.churchofcriticalthinking.com/ The Church of Critical Thinking (Your suspicion is our mission)]		* [http://www.churchofcriticalthinking.com/ The Church of Critical Thinking (Your suspicion is our mission)]
-	==For fun==	+	=For fun=
	* [http://forum.ciekawostka.pl/zagadki-logiczne-vf1.html Forum ciekawostka.pl: Zagadki logiczne]		* [http://forum.ciekawostka.pl/zagadki-logiczne-vf1.html Forum ciekawostka.pl: Zagadki logiczne]
	* [http://www.zagadki.mamy.org/zagadki/viewforum.php?f=1 Forum zagadki.mamy.org: Zagadki logiczne]		* [http://www.zagadki.mamy.org/zagadki/viewforum.php?f=1 Forum zagadki.mamy.org: Zagadki logiczne]

---

Revision as of 08:17, 9 September 2009

Contents 1 Teaching logic 1.1 Logic on-line 1.2 Logic in the Internet 1.3 Logic on-line (Polish) 2 Institutions 2.1 Some Departments of Logic in Poland 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 Siedlce 2.1.17 Słupsk 2.1.18 Rzeszów 2.1.19 Bydgoszcz 2.2 Academic institutions 3 For fun

Teaching logic

Logic on-line

• Julian Baggini: Bad Moves
• Lee J. Ballard: Thinking Straight
• Aljosha Burchardt, Stephan Walter, Alexander Koller, Michael Kohlhase, Patrick Blackburn, Johan Bos: Computational Semantics
• Stanley Burris: Logic for Mathematics and Computer Science
• Leo Kee Chye: Critical Thinking
• 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
• Fergus Duniho: Silly Syllogisms
• Marie Duzí: Úvod do logiky
• Charles Ess: Informal Fallacies
• 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
• Limbicnutrition Critical Thinking Portal
• Logic Programs on Line
• 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
• A.M. Mironov: Matiematiczeskaja logika
• Mission: Critical
• 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
• Torsten Schatz: Einführung in die Logik
• 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
• The Openproof Project at CSLI
• Paul Tomassi: Logic and Diagnostic
• Wheeler: Logical Fallacies Handlist
• Glenn Whitman: Logical Fallacies and the Art of Debate
• Wikipedia: Fallacy
• Brian Yoder: Fallacy Zoo

Logic in the Internet

• Google: Logic and Foundations
• Baker University, Center for Critical Thinking
• Raul Corazzon: Ontology. A Resource Guide for Philosophers
• 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 Foundations: Journals
• Logic and Foundations: Software
• Katalog gazeta.pl: Logika
• Katalog interia.pl: Logika
• Katalog Onet.pl: Logika
• Katalog Skocz.com: 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
• 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?

Logic on-line (Polish)

• Karol A. Andrzejczak: Logika Matematyczna i Teoria Mnogości
• Grzegorz Bancerek: Logika i teoria mnogości
• Andrzej Bronk: Konspekt wykładu z logiki ogólnej
• Witold Charatonik: Logika dla informatyków
• Joanna Grygiel: Logika dla filozofów
• Victoria Kamasa: Logika
• Piotr Koczenasz: Podstawy logiki i teorii mnogości w zadaniach
• Agata Kucharska, Barbara Kołodziej: Logika
• Włodzimierz Lapis: Lingwistyka matematyczna i teoria automatów
• Dorota Lipowska: Logika
• Paweł Łupkowski: Elementy logiki i metodologii nauk
• Witold Marciszewski: Lectorium
• Roman Mazur: Logika u podstaw
• Mirosława Miłkowska: Programowanie w logice
• Robert Nowotniak: Sprawdzanie wartości logicznej wyrażeń zdaniowych
• Adam Olszewski: Wykład z logiki dla studentów pierwszego roku
• Leszek Pacholski: Logika dla informatyków
• Katarzyna Paprzycka: Samouczek logiki zdań i logiki kwantyfikatorów
• Jerzy Pogonowski: Posługa dydaktyczna, UAM
• Jerzy Pogonowski: Metalogika, Uniwersytet Opolski
• Jerzy Pogonowski: Logika matematyczna
• Jerzy Pogonowski: Funkcje rekurencyjne
• Jerzy Pogonowski: Logika radosna (dla etnolingwistek)
• Jerzy Pogonowski: Semiotyka logiczna
• Jerzy Pogonowski: Metodologia Nauk
• Jerzy Pogonowski: Tablice analityczne
• Jerzy Pogonowski: Zadania egzaminacyjne z logiki
• Polski Uniwersytet Wirtualny: Logika
• 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
• Mariusz Urbański: Wprowadzenie do logiki
• Paweł Urzyczyn: Logika (dla I roku informatyki)
• Paweł Urzyczyn: Rachunek lambda
• Andrzej Wiśniewski: Logika I - wykłady
• Andrzej Wiśniewski: Logika II - wykłady

Institutions

Some Departments of Logic in Poland

Warszawa

• Zakład Logiki, Instytut Filozofii UW
• Zakład Logiki Matematycznej, Instytut Matematyki 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 Podstaw Informatyki PAN
• Sekcja Logiki i Metodologii Nauk, Uniwersytet Kardynała Stefana Wyszyńskiego

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, Wydział Filozoficzny PAT
• Pracownia Podstaw Matematyki, Instytut Matematyki Akademii Pedagogicznej im KEN

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
• Instytut Informatyki, Politechnika Poznańska

Białystok

• Katedra Logiki, Informatyki i Filozofii Nauki, Instytut Informatyki UwB
• Zakład Logiki Matematycznej, Instytut Matematyki UwB
• Zakład Programowania i Metod Formalnych, Instytut Informatyki UwB
• Zakład Semiotyki Logicznej, Wydział Prawa UwB

Lublin

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

Opole

• Katedra Podstaw Matematyki, Instytut Matematyki i Informatyki UO
• Zakład Logiki i Metodologii Nauk, Instytut Filozofii i Socjologii UO

Wrocław

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

Katowice

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

Toruń

• Katedra Logiki, Wydział Humanistyczny UMK
• Zakład Logiki Matematycznej, Wydział Matematyki i Informatyki UMK

Łódź

• Katedra Logiki i Metodologii Nauk, Instytut Filozofii UŁ

Olsztyn

• Katedra Logiki i Podstaw Informatyki, Uniwersytet Warmińsko Mazurski

Zielona Góra

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

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

Szczecin

• Zakład Filozofii Nauki, Uniwersytet Szczeciński

Częstochowa

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

Siedlce

• Katedra Podstaw Matematyki, Instytut Matematyki i Fizyki, Akademia Podlaska

Słupsk

• Zakład Logiki, Metodologii i Filozofii Nauki, Katedra Filozofii, Wydział Edukacyjno-Filozoficzny, Pomorska Akademia Pedagogiczna

Rzeszów

• Zakład Logiki i Metodologii Nauk, Międzywydziałowy Instytut Filozofii, Uniwersytet Rzeszowski

Bydgoszcz

• Zakład Logiki i Epistemologii, Uniwersytet Kazimierza Wielkiego w Bydgoszczy

Academic institutions

• Association for Informal Logic and Critical Thinking
• Calculemus.org
• Filozofia.pl
• Forum Akademickie
• Forum dyskusyjne: Ateista.pl
• Forum Interaktywnych Językoznawców
• Internetowy Katalog Uczelni w Polsce
• Kółko logiczne
• Komitet na Rzecz Rozwoju Nauk w Polsce - d. Komitet Ratowania Nauki Polskiej
• Logic and Foundations: Organizations
• Mensa Polska
• Ministerstwo Edukacji Narodowej
• Ministerstwo Nauki i Szkolnictwa Wyższego
• Niezależne Forum Akademickie
• Polska Akademia Nauk
• Polska Sieć Filozoficzna
• Polskie Towarzystwo Logiki i Filozofii Nauki
• Racjonalista. Ośrodek Racjonalistyczno-Sceptyczny im. de Voltaire'a
• The Church of Critical Thinking (Your suspicion is our mission)

For fun

• Forum ciekawostka.pl: Zagadki logiczne
• Forum zagadki.mamy.org: 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
• Dominik Talaga: Uroki logiki
• Zagadki.net: Zagadki i łamigłówki logiczne