Risorse generali -
General Resources Mainpage

  Links a carattere generale -
General Links
 

Ricerca / miscellanea Ð
Research / Miscellaneous

• Association for Symbolic Logic
  Dalla presentazione: "The Association for Symbolic Logic is an international organization supporting the presentation, publication, and critical discussion of scholarly work in the field of logic". Cura un'ottima rubrica con annunci di meeting in tutto il mondo.

• Australian Logic Home Page
  Curata da Maurice Pagnucco fornisce una serie di links a diverse risorse di logica e informazioni su quanto accade in Australia nel campo della logica. Dalla presentazione: "Australia has a long and proud tradition in logic related research. This page is aimed at fostering this tradition by providing a reference to logic activities in Australia. It lists institutions, research groups and individuals."

• British Logic Colloquium
  Gli obiettivi del BLC "are to advance the education of the public within Great Britain and Northern Ireland in the study of formal or mathematical logic and other subjects in so far as they relate to such logic." Dý qualche informazione sui meetings organizzati dal BLC e altri meeting di logica in UK. Non numerosi links verso altre pagine WEB.

• Institute for Logic, Language and Computation
  L'Istituto (illc@fwi.uva.nl) fornisce informazioni su corsi, testi, ricerche da esso svolte, newsletters, pubblicazioni e notizie di importanti eventi da esso organizzati nel prossimo futuro. Dalla presentazione: "ILLC started its life in 1986 as `ITLI': the Institute for Language, Logic and Information (the acronym representing the Dutch name: `Instituut voor Taal, Logica en Informatie'), being an association of staff members from the University of Amsterdam, based on the faculties of Mathematics, Computer Science and Philosophy. In 1989, computational linguists joined in from the Faculty of Humanities, and in 1991, the computational component of the group was strengthened by a further co-operation with the local programming research group. As a reflection of this new composition, the name of the Institute was changed to ILLC. At the end of the same year, recognition was obtained from the University Council as an official research institute of the University of Amsterdam".

• Logic in Israel
  In fase di costruzione, ma l'ultimo aggiornamento risale al 22 giugno 1996. Contiene links ad istituzioni e persone che lavorano nel campo della logica in Israele.

• Logical Resources
  Pagina curata da Paul Hertzel, contiene una collezione (non molto vasta) di links sulla logica: Peoples (home pages e e-mail di logici in attivitý) and Places, Reading Material, Organizations, Other Pages e Some Interactive Stuff.

• Logic
  Pagina curata da Roger Bishop Jones, che gestisce il server Factasia (molto lento), contiene diverse rubriche e una breve presentazione 'What is logic?'. Le rubriche comprendono, tra l'altro: Books, Logical Revolutions, Why Logic is important, Formal Foundations systems, Applications of Logic, Proof and computation.

• Logic (Hopkins Philosophy Pages)
  E' la pagina dedicata alla logica contenuta all'interno delle Hopkins Philosophy Pages della J.H. Univ. (server lento), con links ad altri siti (non molti).

• LogicAL. Logic, Philosophy, and Artificial Life Resources
  Una pagina che rinvia ad altre risorse in rete, curata da S. Kritikos, presso la Globewide Network Academy. I links sono organizzati secondo le seguenti categorie: Logic through History, Logic and Philosophy, Logic and Education, Logic and Mathematics, Logic and Computation, Fuzzy Logic, Automata and Systems, and Meetings and Conferences.

• Mathematical Logic Around the World
  Il sito, mantenuto dal Mathematical Logic Group di Bonn, � curato da Boris Piwinger e fornisce links per risorse di logica, progetti ed insegnamenti di varie universitˆ e centri nel mondo.

• Paul Wong's Logic Page
  Numerosi links a siti di logica e non solo. Ecco l'indice: Bibliographies, Journals, Logics, News, Publishers, Software, Conferences, Library, Music, Philosophy, Searches, Theatres. Curata da Paul Wong.

• Principia Cybernetica Project (PCP)
  Il sito � curato da F. Heylighen, C. Joslyn, and V. Turchin. Riportiamo qualche brano dalla pagina introduttiva: "The project's aim is the computer-supported collaborative development of an evolutionary-systemic philosophy. PCP tries to tackle age-old philosophical questions with the help of the most recent cybernetic theories and technologies. To get started, there is an introduction which gives background and motivation of the project (especially for new readers), and an overview which provides a formal summary of the project as a whole. [...] Principia Cybernetica Web is one of the oldest (registered July '93), best organized, and largest, fully connected hypertexts on the Net. It contains over 1300 "nodes" (hypertext pages), numerous papers, and even complete books. More than 6000 files (mostly text documents) are consulted every day on this server, that is, more than 2 million per year. Some ten thousand links point to documents in this web".

• Société Suisse de Logique et de Philosophie des Sciences
  Notizie sulle attivitˆ in campo logico in Svizzera e links con altre risorse.

• Un elenco di Research Organizations
  Nel sito contenuto presso la Globewide Network Academy e curato da S. Kritikos.