From Zakład Logiki Stosowanej

Wersja z dnia 18:01, 8 gru 2014 (edytuj) Pogonowski (Dyskusja | wkład) (→Olsztyn) ← Poprzednia edycja		Wersja z dnia 18:03, 8 gru 2014 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Krajowe Zakłady i Katedry Logiki (niektóre)) Następna edycja →
Linia 155:		Linia 155:
	===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, Uniersytet w Białymstoku]
	*[http://math.uwb.edu.pl/pl/zaklady/zaklad.mhtml?cID=4 Zakład Logiki Matematycznej, Instytut Matematyki UwB]		*[http://math.uwb.edu.pl/pl/zaklady/zaklad.mhtml?cID=4 Zakład Logiki Matematycznej, Instytut Matematyki UwB]
Linia 161:		Linia 162:
	===Lublin===		===Lublin===
		+
	*[http://www.umcs.lublin.pl/jednostki.php?id=526 Zakład Logiki i Filozofii Nauki UMCS]		*[http://www.umcs.lublin.pl/jednostki.php?id=526 Zakład Logiki i Filozofii Nauki UMCS]
	*[http://www.kul.lublin.pl/1622.html Katedra Logiki, KUL]		*[http://www.kul.lublin.pl/1622.html Katedra Logiki, KUL]
Linia 167:		Linia 169:
	===Opole===		===Opole===
		+
	*[http://www.math.uni.opole.pl/zaklad.php?id=2 Katedra Podstaw Matematyki, Instytut Matematyki i Informatyki UO]		*[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=3&lang=pl&m=1 Zakład Logiki i Metodologii Nauk, Instytut Filozofii i Socjologii UO]		*[http://www.filozofia.uni.opole.pl/show.php?id=3&lang=pl&m=1 Zakład Logiki i Metodologii Nauk, Instytut Filozofii i Socjologii UO]
	===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://pl.wikipedia.org/wiki/Katedra_Logiki_i_Metodologii_Nauk_Uniwersytetu_Wroc%C5%82awskiego 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]
	===Katowice===		===Katowice===
		+
	*[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.math.us.edu.pl/instytut/zaklady/zlm.html 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]
	===Łó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Ł]
Linia 189:		Linia 196:
	===Zielona Góra===		===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]		*[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===		===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://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]		*[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===		===Szczecin===
		+
	*[http://www.us.szc.pl/hum_fil?xml=load_page&st=2492 Zakład Filozofii Nauki, Uniwersytet Szczeciński]		*[http://www.us.szc.pl/hum_fil?xml=load_page&st=2492 Zakład Filozofii Nauki, Uniwersytet Szczeciński]
	===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://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]
-
-	===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.katedrafilozofii.apsl.edu.pl/index.php?option=com_content&task=blogcategory&id=12&Itemid=23 Zakład Logiki, Metodologii i Filozofii Nauki, Katedra Filozofii Akademii Pomorskiej w Słupsku]
	===Rzeszów===		===Rzeszów===
	*[http://www.ur.edu.pl/wydzialy/socjologiczno-historyczny/instytut-filozofii/struktura Zakład Logiki i Metodologii Nauk, Instytut Filozofii, Uniwersytet Rzeszowski]		*[http://www.ur.edu.pl/wydzialy/socjologiczno-historyczny/instytut-filozofii/struktura Zakład Logiki i Metodologii Nauk, Instytut Filozofii, Uniwersytet Rzeszowski]
-
-	===Bydgoszcz===
-	*[http://www.ukw.edu.pl/pokazStrone.php?idStr=6daa952e92545df497f5 Zakład Logiki i Epistemologii, Uniwersytet Kazimierza Wielkiego w Bydgoszczy]
	==Wybrane instytucje, towarzystwa naukowe, fora dyskusyjne==		==Wybrane instytucje, towarzystwa naukowe, fora dyskusyjne==

---

Wersja z dnia 18:03, 8 gru 2014

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

Pomoce dydaktyczne

Wybrane polskie pomoce dydaktyczne z logiki on-line

• Karol A. Andrzejczak: Logika Matematyczna i Teoria Mnogości
• Andrzej Bronk: Konspekt wykładu z logiki ogólnej
• Witold Charatonik: Logika dla informatykó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
• Michał Lipnicki: Logika
• 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
• 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

Wybrane obcojęzyczne pomoce dydaktyczne z logiki on-line

• 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
• 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 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

Wybrane linki do logiki 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: 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 Foundations: Journals
• Logic and Foundations: Software
• Logic and set theory around the world
• 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 [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?

Instytucje

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

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

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
• Pracownia Podstaw Matematyki, Instytut Matematyki Uniwersytetu Pedagogicznego w Krakowie

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, Uniersytet w Białymstoku
• 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

Łódź

• Katedra Logiki i Metodologii Nauk, Instytut Filozofii UŁ

Olsztyn

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

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

Rzeszów

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

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

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