Links

Aus Lehrstuhl für Angewandte Logik

Inhaltsverzeichnis 1 Websites einiger Lehrstühle für Logik in Polen: 1.1 Warszawa 1.2 Kraków 1.3 Poznań 1.4 Białystok 1.5 Lublin 1.6 Opole 1.7 Wrocław 1.8 Katowice 1.9 Toruń 1.10 Łódź 1.11 Olsztyn 1.12 Zielona Góra 1.13 Gdańsk 1.14 Szczecin 1.15 Częstochowa 1.16 Siedlce 1.17 Słupsk 1.18 Rzeszów 1.19 Bydgoszcz 2 Logikunterricht on-line (Polnisch): 3 Logikunterricht on-line: 4 Logik in Internet 5 Academische Institutionen 6 Witzig

Websites einiger Lehrstühle für Logik in Polen:

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

Logikunterricht on-line (Polnisch):

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

Logikunterricht on-line:

• 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

Logik in 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
• 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
• 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?

Academische Institutionen

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

Witzig

• 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