CALCULEMUS    
LogBank Title Page LogBank Main Menu

INTRODUCTION (in Polish)

• TOWARZYSTWO NAUKOWE WARSZAWSKIE
  The Warsaw Scientific Society. [in English].
  On the Society's (established in 1800) achievements in logic.

• POLSKIE TOWARZYSTWO LOGIKI I FILOZOFII NAUKI
  Polish Association for Logic and Philosophy of Science [in English].

  ---

  Departments, Chairs, etc are arranged in the alphabetic order of the cities in which the respective universities are found.

  
  

  B I A L Y S T O K

• KATEDRA LOGIKI, INFORMATYKI I FILOZOFII NAUKI,
  Uniwersytet w Bialymstoku.
  Chair of Logic, Informatics and Philosophy of Science, University in Bialystok.
  [in English]
  Research interests: automated deduction, commonsense reasoning, definition, history and philosophy of logic, logic of natural language, philosophical logic, Leibniz.
  • Research, staff, the Chair history.
  • Post Workshop.
  • Selected Publications 1994-1996:
    Tex-formatted txt-file and PostScript file.

• ZAKLAD INFORMATYKI Instytutu Matematyki, Uniwersytet w Bialymstoku
  Computer Science Section in the Institute of Mathematics, University in Białystok.
  The subject of research is best exemplified by reports in Formalized Mathematics - the journal to report on the database of mathematical theorems, automatically proof-checked and managed with Mizar - the system being developed by the team led by A.Trybulec (see Mathesis Universalis, No.3
  K R A K O W
• INSTYTUT FILOZOFII, UJ
  Institute of Philosophy, Jagiellonian University, Cracow. [in English]
  Staff, departments, addresses; no mentions on research topics; in fact, the research in logic includes algebraic logic, intermediate logics (A.Wroński), history of logic (E. Zarnecka Bialy, W.Suchon), modern syllogistic (W.Suchoń), etc.
  T O R U N
• INSTYTUT FILOZOFII, UMK
  Institute of Philosophy, Nicolaus Copernicus University. [in Polish]
  On the staff and its activities, the archives of VI Polish Congress of Philosophy 1995, links to important philosophical sites (in Polish).
• Katedra Logiki (Logic Chair) UMK. See also http://www.cc.uni.torun.pl/~cogsci/cogsci1.htm Research in Leibniz-style logical philosophy.
  W A R S Z A W A
• INSTYTUT FILOZOFII, UW
  Institute of Philosophy, Warsaw University. [in English]
  A short note on the Institute's history, research, courses, journals, and libraries. Logic is not mentioned as a subject of research; in fact, there is a resaerch in non-Fregean logic (M.Omyla), branched quantifiers, computational semantics (M.Mostowski), formal ontology (Z.Augustynek, J.J.Jadacki, B.Wolniewicz), Wittgenstein's insights (M.Omyła, B.Wolniewicz), history of Polish logic (J.J.Jadacki), formal methodology of empirical sciences (continued after the retired M.Przelecki), etc.

• INSTYTUT PODSTAW INFORMATYKI, PAN
  Institute of Computer Science, Polish Academy of Sciences.
  [in English]
  Staff (incl. e-mail addresses), seminars, conferences; recent: VII Workshop on Intelligent Information Systems, Malbork 15-19 June 1998.

• ZAKLAD PODSTAW MATEMATYKI Instytutu Matematyki, PAN
  Section of Foundations of Mathematics, Institute of Mathematics, Polish Academy of Sciences. [in English]
  Includes data on Fundamenta Mathematice (contents, etc.).
  W R O C L A W
• KATEDRA LOGIKI I METODOLOGII NAUK, UWr
  Chair of Logic and Methodology of Sciences, Wroclaw University. [in English]
  A unit of Faculty of Social Sciences, the Institute of Philosophy being among other units. Information on staff, courses, research, conferences, journals, etc. Research programs: logical calculi, history of logic, algebraic logic, logical semantics.
  ZIELONA GÓRA
• ZAKŁAD LOGIKI I METODOLOGII (Instytut Filozofii, WSP)
  Section of Logic and Methodology in the Institute of Philosophy in the Pedagogy College.
  Information on staff, research and publications. The main area of research - philosophical logic, esp. logic of questions; methodology and philosophy of science. The text available in Polish and in English.

  ---

  
  
• SERIA KSIAZKOWA "COGITO" z zakresu logiki itp.
  "Cogito" - the Book Series on logic, etc. "COGITO". [in Polish].