Links
Aus Lehrstuhl für Angewandte Logik
(Unterschied zwischen Versionen)
Version vom 08:07, 9. Sep. 2009 (bearbeiten) Pogonowski (Diskussion | Beiträge) (→Logikunterricht on-line:) ← Zum vorherigen Versionsunterschied |
Version vom 08:11, 9. Sep. 2009 (bearbeiten) (Entfernen) Pogonowski (Diskussion | Beiträge) (→Logik in Internet) Zum nächsten Versionsunterschied → |
||
Zeile 177: | Zeile 177: | ||
==Logik in Internet== | ==Logik in Internet== | ||
- | * [http://www.google.com/Top/Science/Math/Logic_and_Foundations Google: Logic and Foundations] | + | * [http://www.google.com/Top/Science/Math/Logic_and_Foundations Google: Logic and Foundations] * [http://www.bakeru.edu/crit Baker University, Center for Critical Thinking] |
- | * [http://www.bakeru.edu/crit Baker University, Center for Critical Thinking] | + | * [http://www.formalontology.it Raul Corazzon: Ontology. A Resource Guide for Philosophers] * [http://dmoz.org/Society/Philosophy/Philosophy_of_Logic dmoz: Open Directory Project: Philosophy of Logic] |
- | * [http://www.formalontology.it Raul Corazzon: Ontology. A Resource Guide for Philosophers] | + | |
- | * [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] | ||
* [http://www.factbites.com/topics/logic Factbites: Logic] | * [http://www.factbites.com/topics/logic Factbites: Logic] | ||
* [http://www.rbjones.com/rbjpub/logic Factasia Logic] | * [http://www.rbjones.com/rbjpub/logic Factasia Logic] | ||
* [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.google.com/Top/Science/Math/Logic_and_Foundations/Publications/Journals/ Logic and Foundations: Journals] | ||
+ | * [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://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.robart.pl/Katalog/Logika/3796 Katalog RobArt: Logika] | + | * [http://katalog.onet.pl/3877,logika,k.html Katalog Onet.pl: Logika] |
* [http://skocz.com/Katalog/Logika/3796 Katalog Skocz.com: 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] | ||
Zeile 193: | Zeile 194: | ||
* [http://www.logika.lap.hu Logika.lap.hu] | * [http://www.logika.lap.hu Logika.lap.hu] | ||
* [http://mathforum.org/library/topics/logic Math Forum Internet Mathematics Library: Logic/Foundations] | * [http://mathforum.org/library/topics/logic Math Forum Internet Mathematics Library: Logic/Foundations] | ||
+ | * [http://world.logic.at/ Mathematical Logic around the world] | ||
* [http://mathworld.wolfram.com/topics/Logic.html MathWorld: Logic] | * [http://mathworld.wolfram.com/topics/Logic.html MathWorld: Logic] | ||
+ | * [http://www.mizar.org/ Mizar Home Page] | ||
* [http://nfocentrale.net/orcmid/readings/logic.htm Readings in Logic] | * [http://nfocentrale.net/orcmid/readings/logic.htm Readings in Logic] | ||
* [http://plato.stanford.edu/entries/logic-classical Stewart Shapiro: Classical Logic] | * [http://plato.stanford.edu/entries/logic-classical Stewart Shapiro: Classical Logic] | ||
+ | * [http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm Peter Suber: A Bibliography of Non-Standard Logics] | ||
* [http://www-history.mcs.st-andrews.ac.uk/history/index.html The Mac Tutor History of Mathematics archive] | * [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://www.math-atlas.org/welcome.html The Mathematical Atlas] |
Version vom 08:11, 9. Sep. 2009
Inhaltsverzeichnis |
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
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ź
Olsztyn
Zielona Góra
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
Częstochowa
- Zakład Algebry i Logiki Matematycznej, Instytut Matematyki i Informatyki, Akademia im. Jana Długosza
Siedlce
Słupsk
Rzeszów
Bydgoszcz
Logikunterricht on-line (Polnisch):
- Karol A. Andrzejczak: Logika Matematyczna i Teoria Mnogości
- Grzegorz Bancerek: Logika i teoria mnogości
- Andrzej Bronk: Konspekt wykładu z logiki ogólnej
- Witold Charatonik: Logika dla informatyków
- Joanna Grygiel: Logika dla filozofó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
- 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
- Adam Olszewski: Wykład z logiki dla studentów pierwszego roku
- 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
Logikunterricht on-line:
- Julian Baggini: Bad Moves
- 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
- Fergus Duniho: Silly Syllogisms
- 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 Programs on Line
- 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
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
- John Halleck: Logic Tools
- Logic and Foundations: Journals
- Logic and Foundations: Software
- 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
- 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