Linki
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Wersja z dnia 16:54, 17 lut 2007 (edytuj) Pogonowski (Dyskusja | wkład) (→Krajowe Zakłady i Katedry Logiki (niektóre):) ← Poprzednia edycja |
Wersja z dnia 17:01, 17 lut 2007 (edytuj) (undo) Admin (Dyskusja | wkład) d Następna edycja → |
||
Linia 1: | Linia 1: | ||
- | ==Krajowe Zakłady i Katedry Logiki (niektóre):== | + | Niektóre instytucje, towarzystwa naukowe, fora dyskusyjne: |
- | ===Warszawa=== | + | * [http://www.men.waw.pl Ministerstwo Edukacji Narodowej] |
+ | * [http://www.pan.pl Polska Akademia Nauk] | ||
+ | * [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.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://www.forumakad.pl/ Forum Akademickie] | ||
+ | * [http://www.nfa.pl/ Niezależne Forum Akademickie] | ||
+ | * [http://www.forumij.org.pl/ Forum Interaktywnych Językoznawców] [domena prywatna] | ||
+ | * [http://www.forum.ateista.pl/ Forum dyskusyjne: Ateista.pl] | ||
+ | * [http://www.racjonalista.pl/ Racjonalista. Ośrodek Racjonalistyczno-Sceptyczny im. de Voltaire'a] | ||
- | ===Kraków=== | + | Krajowe Zakłady i Katedry Logiki (niektóre): |
- | ===Poznań=== | + | 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://www.wpia.uw.edu.pl/pl/index.php?s=katedra&id=11 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.wfch.uksw.edu.pl/index.php?option=com_content&task=view&id=7&Itemid=21 Katedra Logiki, Uniwersytet Kardynała Stefana Wyszyńskiego] | ||
- | ==Niektóre polskie podręczniki logiki (oraz inne materiały dydaktyczne) on-line:== | + | Kraków: |
+ | *[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=filo6 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] | ||
- | ==Niektóre obcojęzyczne podręczniki logiki on-line:== | + | Poznań: |
- | ==Niektóre linki do logiki w sieci:== | + | *[http://www.logika.amu.edu.pl Zakład Logiki Matematycznej, Wydział Matematyki i Informatyki UAM] |
+ | *[http://main.amu.edu.pl/~ztobl/ Zakład Teorii Obliczeń, Wydział Matematyki i Informatyki UAM] | ||
+ | *[http://main.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] | ||
- | ==Niektóre instytucje, towarzystwa naukowe, fora dyskusyjne== | + | 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] | ||
- | ==Dla relaksu:== | + | Lublin: |
+ | *[http://www.umcs.lublin.pl/?akcja=str&id=526&lang=1 Zakład Logiki i Metodologii Nauk UMCS] | ||
+ | *[http://www.kul.lublin.pl/1138.html Katedra Logiki, KUL] | ||
+ | *[http://www.kul.lublin.pl/1138.html Katedra Metodologii Nauk, KUL] | ||
+ | *[http://www.kul.lublin.pl/1138.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.ifis.uni.opole.pl/index.php?id=328 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.uni.torun.pl Katedra Logiki ] | ||
+ | |||
+ | Łó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] | ||
+ | |||
+ | 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/struktura.html#zlm 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] | ||
+ | |||
+ | Bydgoszcz: | ||
+ | *[http://www.ab.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.ajd.czest.pl/~j.grygiel/materialy.html Joanna Grygiel: Matematyka dyskretna. Logika zaoczna I-V] | ||
+ | * [http://www.im.pwr.wroc.pl/~przemko/dyd/la Przemysław Kobylański: Logika Algorytmiczna] | ||
+ | * [http://logika2003.republika.pl Agata Kucharska, Barbara Kołodziej: Logika] | ||
+ | * [http://www.calculemus.org/lect/index.html Witold Marciszewski: Lectorium] | ||
+ | * [http://www.romazur.republika.pl Roman Mazur: Logika u podstaw] | ||
+ | * [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://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/posluga_pogon.html Jerzy Pogonowski: Posługa dydaktyczna] | ||
+ | * [http://www.puw.pl/art.html?akcja=przedmioty&P%5Baid%5D=295 Polski Uniwersytet Wirtualny: Logika] | ||
+ | * [http://prace.sciaga.pl/9038.html Sciaga.pl: Czym zajmuje się logika] | ||
+ | * [http://www.skrypt.pl/index.php?d=kierunki&k=40 Skrypt.pl: Logika] | ||
+ | * [http://www.kognitywistyka.amu.edu.pl/mu_pliki/wyklad.html Mariusz Urbański: Wprowadzenie do logiki] | ||
+ | * [http://main2.amu.edu.pl/~murbansk/?dir=pliki_dla_studentow Mariusz Urbański: Logika I - konwersatoria] | ||
+ | * [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] | ||
+ | |||
+ | Niektóre obcojęzyczne podręczniki logiki on-line: | ||
+ | |||
+ | * [http://www.mathlog.h11.ru/index.html Irina Agiejeva: Matiematiczeskaja logika] | ||
+ | * [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.math.uwaterloo.ca/~snburris/htdocs/lmcs.html Stanley Burris: Logic for Mathematics and Computer Science] | ||
+ | * [http://atheism.about.com/od/criticalthinking Critical Thinking: Using Logic and Reason] | ||
+ | * [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.nizkor.org/features/fallacies Fallacies (The Nizkor Project)] | ||
+ | * [http://www.cs.us.es/cursos/lm Alejandro Fernández Margarit: Lógica Matemática] | ||
+ | * [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://www.phil-fak.uni-duesseldorf.de/logik/materialien.html Jochen Lechner: Logik-Kurse und Logik-Skripte] | ||
+ | * [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://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://atheism.about.com/od/logicalflawsinreasoning Logical Flaws in Reasoning: Flawed Reasoning, Arguments, and Attitudes] | ||
+ | * [http://intsys.msu.ru/study/mironov/mathlog.pdf A.M. Mironov: Matiematiczeskaja logika] | ||
+ | * [http://www.sjsu.edu/depts/itl Mission: Critical] | ||
+ | * [http://www.uni-duisburg.de/Fak2/FremdPhil/Romanistik/Personal/Rauch/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://philosophy.elte.hu/leszabo/Logika/logika.pdf E. Szabó László: Bevezetés a matematikai logikába] | ||
+ | * [http://www.oakland.edu/phil/cafe The Logic Cafe] | ||
+ | |||
+ | Niektóre 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.formalontology.it Raul Corazzon: Ontology. A Resource Guide for Philosophers] [Tu m.in. linki do: Indian, Buddhist, Chinese, Islamic 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.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://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.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://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://mathworld.wolfram.com/topics/Logic.html MathWorld: Logic] | ||
+ | * [http://nfocentrale.net/orcmid/readings/logic.htm Readings in Logic] | ||
+ | * [http://plato.stanford.edu/entries/logic-classical Stewart Shapiro: Classical Logic] | ||
+ | * [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] [hasło omawiane w Wikipedii w trzech tuzinach języków] | ||
+ | * [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?] | ||
+ | |||
+ | Dla relaksu: | ||
+ | |||
+ | * [http://www.matikstudio.com/riddles.php MATIK. Studio Projektów Informatycznych. Zagadki logiczne] | ||
+ | * [http://www.ii.uj.edu.pl/~talaga/logic/logicindex.htm Dominik Talaga: Uroki logiki] | ||
+ | * [http://nonsensopedia.wikia.com/wiki/Logika NonsensopediA: Logika] | ||
+ | * [http://www.markjoshi.com/Ashland/Jokes.html Mathematical and academic jokes] | ||
+ | * [http://www.math.utah.edu/~cherk/mathjokes.html Mathematical humour] | ||
+ | * [http://www.workjoke.com/projoke22.htm Profession Jokes - Mathematicians] | ||
+ | * [http://laputa.de/ The Free Republic of Laputa] | ||
+ | * [http://www.zamonien.de/ Zamonien] |
Wersja z dnia 17:01, 17 lut 2007
Niektóre instytucje, towarzystwa naukowe, fora dyskusyjne:
- Ministerstwo Edukacji Narodowej
- Polska Akademia Nauk
- Calculemus.org
- Polskie Towarzystwo Logiki i Filozofii Nauki
- Polska Sieć Filozoficzna
- Filozofia.pl
- Internetowy Katalog Uczelni w Polsce
- Komitet na Rzecz Rozwoju Nauk w Polsce - d. Komitet Ratowania Nauki Polskiej
- Forum Akademickie
- Niezależne Forum Akademickie
- Forum Interaktywnych Językoznawców [domena prywatna]
- Forum dyskusyjne: Ateista.pl
- Racjonalista. Ośrodek Racjonalistyczno-Sceptyczny im. de Voltaire'a
Krajowe Zakłady i Katedry Logiki (niektóre):
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
- Katedra Algorytmiki, Polsko - Japońska Wyższa Szkoła Technik Komputerowych
- Instytut Podstaw Informatyki PAN
- Katedra Podstaw Matematyki, Uniwersytet Kardynała Stefana Wyszyńskiego
- Katedra Logiki, Uniwersytet Kardynała Stefana Wyszyńskiego
Kraków:
- Zakład Logiki, Instytut Filozofii UJ
- Pracownia Prakseologii i Retoryki, Instytut Filozofii UJ
- Zakład Podstaw Informatyki, Instytut Informatyki UJ
- Katedra Algorytmiki, Instytut Informatyki UJ
- Katedra Logiki i Filozofii Nauki, Wydział Filozoficzny PAT
- Pracownia Logiki i Metodologii Nauk, Instytut Filozofii i Socjologii Akademii Pedagogicznej im. KEN
- 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 Logiki Stosowanej, Instytut Informatyki UwB
- Zakład Semiotyki Logicznej, Wydział Prawa UwB
Lublin:
- Zakład Logiki i Metodologii Nauk 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:
Katowice:
- Zakład Logiki i Metodologii, Wydział Nauk Społecznych UŚl
- Zakład Logiki Matematycznej, Instytut Matematyki UŚl
Toruń:
Łódź:
Olsztyn:
- Katedra Logiki i Podstaw Informatyki, Uniwersytet Warmińsko Mazurski
- Pracownia Logiki, Metodologii Nauk Społecznych i Teorii Gier, Instytut Nauk Politycznych, Uniwersytet Warmińsko Mazurski
Zielona Góra:
Gdańsk:
Szczecin:
Częstochowa:
Kielce:
Siedlce:
Słupsk:
Bydgoszcz:
Niektóre polskie podręczniki logiki (oraz inne materiały dydaktyczne) on-line:
- Karol A. Andrzejczak: Logika Matematyczna i Teoria Mnogości
- Grzegorz Bancerek: Logika i teoria mnogości
- Joanna Grygiel: Matematyka dyskretna. Logika zaoczna I-V
- Przemysław Kobylański: Logika Algorytmiczna
- Agata Kucharska, Barbara Kołodziej: Logika
- Witold Marciszewski: Lectorium
- Roman Mazur: Logika u podstaw
- Adam Olszewski: Wykład z logiki dla studentów pierwszego roku
- Arkadiusz Orłowski, Marian Rusek: Logika i matematyka dyskretna
- Katarzyna Paprzycka: Samouczek logiki zdań i logiki kwantyfikatorów
- Grzegorz Podgórniak: Aplikacja sprawdzająca tautologiczność
- Jerzy Pogonowski: Posługa dydaktyczna
- Polski Uniwersytet Wirtualny: Logika
- Sciaga.pl: Czym zajmuje się logika
- Skrypt.pl: Logika
- Mariusz Urbański: Wprowadzenie do logiki
- Mariusz Urbański: Logika I - konwersatoria
- Paweł Urzyczyn: Logika (dla I roku informatyki)
- Paweł Urzyczyn: Rachunek lambda
- Andrzej Wiśniewski: Logika I - wykłady
Niektóre obcojęzyczne podręczniki logiki on-line:
- Irina Agiejeva: Matiematiczeskaja logika
- Jon Barwise, John Etchemedy: Logic Software from CSLI
- 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
- Vilnis Detlovs, Karlis Podnieks: Introduction to Mathematical Logic
- Marie Duzí: Úvod do logiky
- Fallacies (The Nizkor Project)
- Alejandro Fernández Margarit: Lógica Matemática
- Silvio Ghilardi: Logica Matematica
- Christian Gottschall: Logikseite
- Interaktivna Logika
- Vladimir Kvasnicka: Matematická logika
- Jochen Lechner: Logik-Kurse und Logik-Skripte
- Logic and Fallacies
- Logic Programs on Line
- Logic Tutorial
- Logical Arguments: Introduction to Logic, Arguments, Reasoning
- Logical Fallacies: Arguments, Reasoning, and the Fallacy
- Logical Flaws in Reasoning: Flawed Reasoning, Arguments, and Attitudes
- A.M. Mironov: Matiematiczeskaja logika
- Mission: Critical
- Rainer Rauch: Einführung in die Logik für Linguisten
- Torsten Schatz: Einführung in die Logik
- Peter Suber: Logical Systems
- E. Szabó László: Bevezetés a matematikai logikába
- The Logic Cafe
Niektóre linki do logiki w sieci:
- Google: Logic and Foundations [Stąd trafisz do ponad 1000 linków o logice w sieci.]
- Baker University, Center for Critical Thinking
- Raul Corazzon: Ontology. A Resource Guide for Philosophers [Tu m.in. linki do: Indian, Buddhist, Chinese, Islamic Logic.]
- dmoz: Open Directory Project: Philosophy of Logic
- L'Equipe de Logique Mathématique
- Factbites: Logic
- Factasia Logic
- Leo Groarke: Informal Logic
- Katalog gazeta.pl: Logika
- Katalog interia.pl: Logika
- Katalog RobArt: 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
- MathWorld: Logic
- Readings in Logic
- Stewart Shapiro: Classical Logic
- 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?
Dla relaksu: