Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

Linki

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 08:06, 2 lis 2007 (edytuj)
Pogonowski (Dyskusja | wkład)
(Niektóre polskie podręczniki logiki (oraz inne materiały dydaktyczne) on-line)
← Poprzednia edycja
Aktualna wersja (19:22, 31 sie 2018) (edytuj) (undo)
Lapis (Dyskusja | wkład)

 
(146 intermediate revisions not shown.)
Linia 4: Linia 4:
[[de:Links]] [[de:Links]]
-==Krajowe Zakłady i Katedry Logiki (niektóre)==+=Pomoce dydaktyczne=
-===Warszawa===+
-*[http://www.dak.uw.edu.pl/spis/www_wydzial12.php?gd_wydz=35011400 Zakład Logiki, Instytut Filozofii UW]+
-*[http://www.dak.uw.edu.pl/spis/www_wydzial12.php?gk_wydz56=10010100 Zakład Logiki Matematycznej, Instytut Matematyki UW]+
-*[http://zls.mimuw.edu.pl/ Zakład Logiki Stosowanej, Instytut Informatyki UW]+
-*[http://www.dak.uw.edu.pl/spis/www_wydzial12.php?gd_wydz=35011500 Zakład Semiotyki Logicznej, Instytut Filozofii UW]+
-*[http://www2.wpia.uw.edu.pl/text.php?cat=290 Zakład Logiki i Informatyki Prawniczej, Wydział Prawa i Administracji UW]+
-*[http://www.ifispan.waw.pl/ifis/struktura/filozofia/zaklad/logiki_jezyka_i_dzialania/ Zakład Logiki i Kognitywistyki, Instytut Filozofii i Socjologii PAN]+
-*[http://www.pjwstk.edu.pl/content.php?kategoria=36 Katedra Algorytmiki, Polsko - Japońska Wyższa Szkoła Technik Komputerowych]+
-*[http://www.ipipan.waw.pl Instytut Podstaw Informatyki PAN]+
-*[http://www.wmpuksw.edu.pl/?go=struktura Katedra Podstaw Matematyki, Uniwersytet Kardynała Stefana Wyszyńskiego]+
-*[http://www.slimn.wfch.uksw.edu.pl Sekcja Logiki i Metodologii Nauk, Uniwersytet Kardynała Stefana Wyszyńskiego]+
-===Kraków===+==Wybrane polskie pomoce dydaktyczne z logiki on-line==
-*[http://www.iphils.uj.edu.pl/dep.php?l=1&z=7 Zakład Logiki, Instytut Filozofii UJ]+
-*[http://www.iphils.uj.edu.pl/dep.php?l=1&z=10 Pracownia Prakseologii i Retoryki, Instytut Filozofii UJ]+
-*[http://www.ii.uj.edu.pl/zpi/index.html Zakład Podstaw Informatyki, Instytut Informatyki UJ]+
-*[http://tcs.ii.uj.edu.pl Katedra Algorytmiki, Instytut Informatyki UJ]+
-*[http://www.pat.krakow.pl/filozofia.php?id=filo4#log Katedra Logiki i Filozofii Nauki, Wydział Filozoficzny PAT]+
-*[http://www.ap.krakow.pl/ifis/instytut.html Pracownia Logiki i Metodologii Nauk, Instytut Filozofii i Socjologii Akademii Pedagogicznej im. KEN]+
-*[http://www.ap.krakow.pl/mat/struktura/ppm.html Pracownia Podstaw Matematyki, Instytut Matematyki Akademii Pedagogicznej im KEN]+
- +
-===Poznań===+
-*[http://www.logika.amu.edu.pl Zakład Logiki Matematycznej, Wydział Matematyki i Informatyki UAM]+
-*[http://www.staff.amu.edu.pl/~ztobl/ Zakład Teorii Obliczeń, Wydział Matematyki i Informatyki UAM]+
-*[http://www.staff.amu.edu.pl/~zlisi/ Zakład Lingwistyki Informatycznej i Sztucznej Inteligencji, Wydział Matematyki i Informatyki UAM]+
-*[http://www.staff.amu.edu.pl/~insfil/info/zaklady/logimat.htm Zakład Logiki i Metodologii Nauk, Instytut Filozofii 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.put.poznan.pl/uczelnia/struktura/WIiZ/II Instytut Informatyki, Politechnika Poznańska]+
- +
-===Białystok===+
-*[http://ii.uwb.edu.pl/index.php?ext=simple&id=16 Katedra Logiki, Informatyki i Filozofii Nauki, Instytut Informatyki UwB]+
-*[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?ext=simple&id=41 Zakład Logiki Stosowanej, Instytut Informatyki UwB]+
-*[http://prawo.uwb.edu.pl/page.php?id=37 Zakład Semiotyki Logicznej, Wydział Prawa UwB]+
-===Lublin=== 
-*[http://www.umcs.lublin.pl/jednostki.php?id=526 Zakład Logiki i Metodologii Nauk UMCS] 
-*[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/1857.html Katedra Teorii Poznania, KUL] 
- 
-===Opole=== 
-*[http://www.math.uni.opole.pl/zaklad.php?id=2 Katedra Podstaw Matematyki, Instytut Matematyki i Informatyki UO] 
-*[http://www.filozofia.uni.opole.pl/show.php?id=55 Zakład Logiki i Metodologii Nauk, Instytut Filozofii i Socjologii UO] 
- 
-===Wrocław=== 
-*[http://www.wns.uni.wroc.pl/logika.htm Katedra Logiki i Metodologii Nauk UWr] 
-*[http://www.math.uni.wroc.pl/mathbank/faculty.html Zakład Logiki i Podstaw Matematyki, Instytut Matematyczny UWr] 
- 
-===Katowice=== 
-*[http://www.us.edu.pl/jednostki/index.php?lang=pl&id_mp=248 Zakład Logiki i Metodologii, Wydział Nauk Społecznych UŚl] 
-*[http://www.us.edu.pl/jednostki/index.php?lang=pl&id_mp=126 Zakład Logiki Matematycznej, Instytut Matematyki UŚl] 
- 
-===Toruń=== 
-*[http://www.logika.umk.pl/index.html Katedra Logiki UMK] 
-*[http://www.mat.umk.pl/info/pracownik.php?id=17&lang=pl Zakład Logiki Matematycznej UMK] 
- 
-===Łódź=== 
-*[http://www.filozof.uni.lodz.pl/index.php?id=42&type=1 Katedra Logiki i Metodologii Nauk UŁ] 
- 
-===Olsztyn=== 
-*[http://wmii.uwm.edu.pl/index.php?content=struktura Katedra Logiki i Podstaw Informatyki, Uniwersytet Warmińsko Mazurski] 
-*[http://www.uwm.edu.pl/inp Pracownia Logiki, Metodologii Nauk Społecznych i Teorii Gier, Instytut Nauk Politycznych, Uniwersytet Warmińsko Mazurski] 
- 
-===Zielona Góra=== 
-*[http://www.ifil.uz.zgora.pl/index.php?zlimn Zakład Logiki i Metodologii Nauk, Instytut Filozofii, Uniwersytet Zielonogórski] 
- 
-===Gdańsk=== 
-*[http://math.univ.gda.pl/ludzie/math/tm Zakład Teorii Mnogości, Instytut Matematyki, Uniwersytet Gdański] 
-*[http://www.wnsts.strony.univ.gda.pl/filozofia/zaklady.html Zakład Logiki, Metodologii i Filozofii Nauki, Instytut Filozofii, Socjologii i Dziennikarstwa, Uniwersytet Gdański] 
- 
-===Szczecin=== 
-*[http://www.us.szc.pl/hum_fil?xml=load_page&st=2492 Zakład Filozofii Nauki, Uniwersytet Szczeciński] 
- 
-===Częstochowa=== 
-*[http://www.imi.ajd.czest.pl/index.php?idm=4&idm2=9&idm3=9 Zakład Logiki Matematycznej, Instytut Matematyki i Informatyki, Akademia im. Jana Długosza] 
- 
-===Kielce=== 
-*[http://www.pu.kielce.pl/imat/podstaw.html Zakład Podstaw Matematyki, Instytut Matematyki, Akademia Świętokrzyska im. Jana Kochanowskiego] 
- 
-===Siedlce=== 
-*[http://www.imif.ap.siedlce.pl/kpm/katedra_podstaw_matematyki.htm Katedra Podstaw Matematyki, Instytut Matematyki i Fizyki, Akademia Podlaska] 
- 
-===Słupsk=== 
-*[http://www.pap.edu.pl/filozofia/strukt.htm Zakład Logiki, Metodologii i Filozofii Nauki, Katedra Filozofii, Wydział Edukacyjno-Filozoficzny, Pomorska Akademia Pedagogiczna] 
- 
-===Rzeszów=== 
- 
-*[http://www.univ.rzeszow.pl/filozofia.php?strona=struktura Zakład Logiki i Metodologii Nauk, Międzywydziałowy Instytut Filozofii, Uniwersytet Rzeszowski] 
- 
-===Bydgoszcz=== 
-*[http://www.ukw.edu.pl/uczelnia/strona.php?id=62 Zakład Logiki i Epistemologii, Uniwersytet Kazimierza Wielkiego w Bydgoszczy] 
- 
-==Niektóre polskie podręczniki logiki (oraz inne materiały dydaktyczne) on-line== 
-* [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.kul.lublin.pl/art_825.html Andrzej Bronk: Konspekt wykładu z logiki ogólnej]
-* [http://www.ajd.czest.pl/~j.grygiel/materialy.html Joanna Grygiel: Matematyka dyskretna. Logika zaoczna I-V]+* [http://www.ii.uni.wroc.pl/~wch/Dydaktyka/ Witold Charatonik: Logika dla informatyków]
-* [http://www.im.pwr.wroc.pl/~przemko/dyd/la Przemysław Kobylański: Logika Algorytmiczna]+* [http://www.logic.amu.edu.pl/index.php/Victoria_Kamasa_-_Dydaktyka Victoria Kamasa: Logika]
-* [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://plupkowski.wikidot.com/logika Paweł Łupkowski: Elementy logiki i metodologii nauk]+* [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/Dorota_Lipowska_-_Dydaktyka Dorota Lipowska: Logika]
* [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: Programowania 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://moodle.sggw.waw.pl/course/category.php?id=28 Arkadiusz Orłowski, Marian Rusek: Logika i matematyka dyskretna]+
* [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.filozofia.wsap.edu.pl/filozofia/aplikacja.php Grzegorz Podgórniak: Aplikacja sprawdzająca tautologiczność] 
-* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Pos%C5%82uga_dydaktyczna Jerzy Pogonowski: Posługa dydaktyczna] 
-* [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://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://www.kognitywistyka.amu.edu.pl/mu_pliki/wyklad.html Mariusz Urbański: Wprowadzenie do logiki]+* [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://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==
-==Niektóre obcojęzyczne pomoce dydaktyczne z logiki on-line== 
-* [http://www.butterfliesandwheels.com/badmoves.php Julian Baggini: Bad Moves] 
-* [http://www.freewebs.com/thinkingstraight/ Lee J. Ballard: Thinking Straight] 
-* [http://www-csli.stanford.edu/hp Jon Barwise, John Etchemedy: Logic Software from CSLI] 
* [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://www.criticalthinking.org.uk/logicalfallacies.html 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]
* [http://www.fallacyfiles.org Gary N. Curtis: The Fallacy Files] * [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.ltn.lv/~podnieks/mlog/ml.htm Vilnis Detlovs, Karlis Podnieks: Introduction to Mathematical Logic]
-* [http://www.duniho.com/fergus/sillysyllogisms.html Fergus Duniho: Silly Syllogisms] 
* [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 147: 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://www.infidels.org/news/atheism/logic.html Logic and Fallacies] 
-* [http://www.sandiego.edu/LogicSlave/online.html Logic Programs on Line] 
* [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 156: 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.uni-duisburg.de/Fak2/FremdPhil/Romanistik/Personal/Rauch/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 172: Linia 63:
* [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://www.goodart.org/fallazoo.htm Brian Yoder: Fallacy Zoo]+* [http://en.wikipedia.org/wiki/Fallacy Wikipedia: Fallacy]
-==Niektóre linki do logiki w sieci==+==Wybrane linki do logiki w sieci==
-* [http://www.google.com/Top/Science/Math/Logic_and_Foundations Google: Logic and Foundations] [Stąd trafisz do ponad 1000 linków o logice 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://dmoz.org/Society/Philosophy/Philosophy_of_Logic dmoz: Open Directory Project: Philosophy of Logic] * [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.logique.jussieu.fr L'Equipe de Logique Mathématique]
Linia 184: 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://settheory.net/world Logic and set theory around the world]
-* [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://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://katalog.robart.pl/Katalog/Logika/3796 Katalog RobArt: 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 208: Linia 96:
* [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?] * [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?]
-==Niektóre instytucje, towarzystwa naukowe, fora dyskusyjne==+=Instytucje=
-* [http://www.men.waw.pl Ministerstwo Edukacji Narodowej]+ 
-* [http://www.nauka.gov.pl Ministerstwo Nauki i Szkolnictwa Wyższego]+==Krajowe Zakłady i Katedry Logiki (niektóre)==
-* [http://www.pan.pl Polska Akademia Nauk]+ 
 +===Warszawa===
 +*[http://www.filozofia.uw.edu.pl/instytut/zaklady-i-pracownie/zaklad-logiki/ Zakład Logiki, Instytut Filozofii UW]
 +*[http://www.mimuw.edu.pl/wydzial/organizacja/struktura/?para=pracownicy&parb=10010100 Zakład Logiki Matematycznej, Wydział Matematyki, Informatyki i Mechaniki UW]
 +*[http://zls.mimuw.edu.pl/ Zakład Logiki Stosowanej, Instytut Informatyki UW]
 +*[http://www.filozofia.uw.edu.pl/instytut/zaklady-i-pracownie/zaklad-semiotyki-logicznej/ Zakład Semiotyki Logicznej, Instytut Filozofii UW]
 +*[http://www2.wpia.uw.edu.pl/text.php?cat=290 Zakład Logiki i Informatyki Prawniczej, Wydział Prawa i Administracji UW]
 +*[http://www.ifispan.waw.pl/index.php?lang=pl&m=page&pg_id=9 Zakład Logiki i Kognitywistyki, Instytut Filozofii i Socjologii PAN]
 +*[http://www.impan.pl/ Instytut Matematyczny PAN]
 +*[http://www.ipipan.waw.pl Instytut Podstaw Informatyki PAN]
 +*[http://www.filozofia.uksw.edu.pl/node/17 Sekcja Logiki i Metodologii Nauk, Instytut Filozofii, Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie]
 + 
 +===Kraków===
 +*[http://www.iphils.uj.edu.pl/?l=pl&p=5&r=44&s=7 Zakład Logiki, Instytut Filozofii UJ]
 +*[http://www.iphils.uj.edu.pl/?l=pl&p=5&r=44&s=10 Zakład Retoryki Logicznej, Instytut Filozofii UJ]
 +*[http://tcs.uj.edu.pl/fcs.php Katedra Podstaw Informatyki, 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://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ń===
 +*[http://www.logika.amu.edu.pl Zakład Logiki Matematycznej, Wydział Matematyki i Informatyki UAM]
 +*[http://www.staff.amu.edu.pl/~ztobl/ Zakład Teorii Obliczeń, Wydział Matematyki i Informatyki UAM]
 +*[http://www.staff.amu.edu.pl/~zlisi/ Zakład Lingwistyki Informatycznej i Sztucznej Inteligencji, Wydział Matematyki i Informatyki UAM]
 +*[http://filozofia.amu.edu.pl/struktura-instytutu/zaklad-logiki-i-metodologii-nauk/ Zakład Logiki i Metodologii Nauk, Instytut Filozofii 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://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]
 + 
 +===Białystok===
 + 
 +*[http://logika.uwb.edu.pl/ Katedra Logiki, Informatyki i Filozofii Nauki, Uniwersytet w Białymstoku]
 +*[http://ii.uwb.edu.pl/index.php?p=22 Zakład Programowania i Metod Formalnych, Instytut Informatyki UwB]
 +*[http://www.prawo.uwb.edu.pl/prawo_new/index.php?f=14 Zakład Semiotyki Logicznej, Wydział Prawa UwB]
 + 
 +===Lublin===
 + 
 +*[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/1624.html Katedra Metodologii Nauk, KUL]
 +*[http://www.kul.lublin.pl/1857.html Katedra Teorii Poznania, KUL]
 + 
 +===Opole===
 + 
 +*[http://www.math.uni.opole.pl/zaklad.php?id=15 Katedra Algebry i Logiki, Instytut Matematyki i Informatyki UO]
 +*[http://www.filozofia.uni.opole.pl/show.php?id=3&lang=pl&m=1 Zakład Logiki i Teorii Poznania, Instytut Filozofii, Uniwersytet Opolski]
 + 
 +===Wrocław===
 + 
 +*[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]
 + 
 +===Katowice===
 + 
 +*[http://www.filozofia.us.edu.pl/index.php?art_id=87 Zakład Logiki i Metodologii, Instytut Filozofii UŚl]
 +*[http://www.us.edu.pl/us-addressbook/unit/10000132 Zakład Logiki Matematycznej, Instytut Matematyki UŚl]
 + 
 +===Toruń===
 + 
 +*[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ź===
 + 
 +*[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===
 + 
 +* [http://wmii.uwm.edu.pl/wydzial/struktura/18-katedra-matematyki-dyskretnej-i-teoretycznych-podstaw-informatyki Katedra Matematyki Dyskretnej i Teoretycznych Podstaw Informatyki, Wydział Matematyki i Informatyki, Uniwersytet Warmińsko-Mazurski w Olsztynie]
 + 
 +===Zielona Góra===
 + 
 +*[http://www.ifil.uz.zgora.pl/index.php/o-instytucie/zaklad-logiki-i-metodologii-nauk Zakład Logiki i Metodologii Nauk, Instytut Filozofii, Uniwersytet Zielonogórski]
 + 
 +===Gdańsk===
 + 
 +*[http://mat.ug.edu.pl/index.php?path=0,3,3,0&url=mod/zaklad.php?id=tm Zakład Teorii Mnogości, Instytut Matematyki, Uniwersytet Gdański]
 +*[http://www.wnsts.strony.univ.gda.pl/filozofia/zaklady.html Zakład Logiki, Metodologii i Filozofii Nauki, Instytut Filozofii, Socjologii i Dziennikarstwa, Uniwersytet Gdański]
 + 
 +===Szczecin===
 + 
 +*[http://www.us.szc.pl/hum_fil?xml=load_page&st=2492 Zakład Filozofii Nauki, Uniwersytet Szczeciński]
 + 
 +===Częstochowa===
 + 
 +*[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===
 + 
 +*[http://www.ur.edu.pl/wydzialy/socjologiczno-historyczny/instytut-filozofii/struktura Zakład Logiki i Metodologii Nauk, Instytut Filozofii, Uniwersytet Rzeszowski]
 + 
 +==Wybrane instytucje, towarzystwa naukowe, fora dyskusyjne==
 + 
 +* [http://ailact.mcmaster.ca/ Association for Informal Logic and Critical Thinking]
* [http://www.calculemus.org Calculemus.org] * [http://www.calculemus.org Calculemus.org]
-* [http://www.logica.amu.edu.pl/ Polskie Towarzystwo Logiki i Filozofii Nauki] 
-* [http://www.psf.org.pl Polska Sieć Filozoficzna] 
* [http://www.filozofia.pl Filozofia.pl] * [http://www.filozofia.pl Filozofia.pl]
 +* [http://www.forumakad.pl/ Forum Akademickie]
 +* [http://www.forum.ateista.pl/ Forum dyskusyjne: Ateista.pl]
* [http://www.uczelnie.pl Internetowy Katalog Uczelni w Polsce] * [http://www.uczelnie.pl Internetowy Katalog Uczelni w Polsce]
* [http://krnp.ipipan.waw.pl/ Komitet na Rzecz Rozwoju Nauk w Polsce - d. Komitet Ratowania Nauki Polskiej] * [http://krnp.ipipan.waw.pl/ Komitet na Rzecz Rozwoju Nauk w Polsce - d. Komitet Ratowania Nauki Polskiej]
-* [http://www.forumakad.pl/ Forum Akademickie]+* [http://www.mensa.org.pl/ Mensa Polska]
 +* [http://www.men.gov.pl Ministerstwo Edukacji Narodowej]
 +* [http://www.nauka.gov.pl Ministerstwo Nauki i Szkolnictwa Wyższego]
* [http://www.nfa.pl/ Niezależne Forum Akademickie] * [http://www.nfa.pl/ Niezależne Forum Akademickie]
-* [http://www.forumij.org.pl/ Forum Interaktywnych Językoznawców] [domena prywatna]+* [http://odyseja.org/ Odyseja Umysłu]
-* [http://www.forum.ateista.pl/ Forum dyskusyjne: Ateista.pl]+* [http://www.pan.pl Polska Akademia Nauk]
 +* [http://www.logic.org.pl/ Polskie Towarzystwo Logiki i Filozofii Nauki]
* [http://www.racjonalista.pl/ Racjonalista. Ośrodek Racjonalistyczno-Sceptyczny im. de Voltaire'a] * [http://www.racjonalista.pl/ Racjonalista. Ośrodek Racjonalistyczno-Sceptyczny im. de Voltaire'a]
-* [http://www.google.com/Top/Science/Math/Logic_and_Foundations/Organizations/ Logic and Foundations: Organizations] 
-* [http://ailact.mcmaster.ca/ Association for Informal Logic and Critical Thinking] 
-* [http://www.churchofcriticalthinking.com/ The Church of Critical Thinking (Your suspicion is our mission)] 
-* [http://www.mensa.org.pl/ Mensa Polska] 
-* [http://kolkologiczne.webpark.pl/ Kółko logiczne] 
-==Dla relaksu==+=Dla relaksu=
-* [http://www.ii.uj.edu.pl/~talaga/logic/logicindex.htm Dominik Talaga: Uroki logiki]+ 
-* [http://nonsensopedia.wikia.com/wiki/Logika NonsensopediA: Logika]+* [http://forum.ciekawostka.pl/zagadki-logiczne-vf1.html Forum ciekawostka.pl: Zagadki logiczne]
 +* [http://ceti.pl/~gralinski/archiwumfi/index.html Filip Graliński: Archiwum Fi]
 +* [http://www.matematyka.pl/viewforum.php?f=54 Matematyka.pl: Łamigłówki i zagadki logiczne]
* [http://www.markjoshi.com/Ashland/Jokes.html Mathematical and academic jokes] * [http://www.markjoshi.com/Ashland/Jokes.html Mathematical and academic jokes]
* [http://www.math.utah.edu/~cherk/mathjokes.html Mathematical humour] * [http://www.math.utah.edu/~cherk/mathjokes.html Mathematical humour]
 +* [http://mozgowiec.pl/ Mózgowiec: zagadki logiczne]
 +* [http://nonsensopedia.wikia.com/wiki/Logika NonsensopediA: Logika]
* [http://www.workjoke.com/projoke22.htm Profession Jokes - Mathematicians] * [http://www.workjoke.com/projoke22.htm Profession Jokes - Mathematicians]
-* [http://laputa.de/ The Free Republic of Laputa] 
-* [http://www.zamonien.de/ Zamonien] 

Aktualna wersja


Spis treści

[edytuj] Pomoce dydaktyczne

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

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

[edytuj] Wybrane linki do logiki w sieci

[edytuj] Instytucje

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

[edytuj] Warszawa

[edytuj] Kraków

[edytuj] Poznań

[edytuj] Białystok

[edytuj] Lublin

[edytuj] Opole

[edytuj] Wrocław

[edytuj] Katowice

[edytuj] Toruń

[edytuj] Łódź

[edytuj] Olsztyn

[edytuj] Zielona Góra

[edytuj] Gdańsk

[edytuj] Szczecin

[edytuj] Częstochowa

[edytuj] Rzeszów

[edytuj] Wybrane instytucje, towarzystwa naukowe, fora dyskusyjne

[edytuj] Dla relaksu