Links

From Department of Applied Logic

---

Revision as of 10:31, 19 June 2007

Contents 1 Some Departments of Logic in Poland 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 Kielce 1.17 Siedlce 1.18 Słupsk 1.19 Bydgoszcz 2 Logic on-line (Polish) 3 Logic on-line 4 Logic in the Internet 5 Academic institutions 6 For fun

[edit] Some Departments of Logic in Poland

[edit] 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

[edit] 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

[edit] 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

[edit] 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

[edit] Lublin

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

[edit] Opole

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

[edit] Wrocław

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

[edit] Katowice

• Zakład Logiki i Metodologii, Wydział Nauk Społecznych UŚl
• Zakład Logiki Matematycznej, Instytut Matematyki UŚl

[edit] Toruń

• Katedra Logiki

[edit] Łódź

• Katedra Logiki i Metodologii Nauk UŁ

[edit] 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

[edit] Zielona Góra

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

[edit] Gdańsk

• Zakład Teorii Mnogości, Instytut Matematyki, Uniwersytet Gdański

[edit] Szczecin

• Zakład Filozofii Nauki, Uniwersytet Szczeciński

[edit] Częstochowa

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

[edit] Kielce

• Zakład Podstaw Matematyki, Instytut Matematyki, Akademia Świętokrzyska im. Jana Kochanowskiego

[edit] Siedlce

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

[edit] Słupsk

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

[edit] Bydgoszcz

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

[edit] Logic on-line (Polish)

• 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

[edit] Logic 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

[edit] Logic in the Internet

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

[edit] Academic institutions

• 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

[edit] For fun

• MATIK. Studio Projektów Informatycznych. Zagadki logiczne
• Dominik Talaga: Uroki logiki
• NonsensopediA: Logika
• Mathematical and academic jokes
• Mathematical humour
• Profession Jokes - Mathematicians
• The Free Republic of Laputa
• Zamonien