21. KGRC KGRC Kurt Gödel Research Center for mathematical logic at the University of Vienna. (former Institute for logic — vormals Institut für Formale Logik) http://www.logic.univie.ac.at/

for Mathematical Logic at the University of Vienna Address and Contact People at the Research Center Research Recent Publications ... Information for KGRC members (login required) Links (including " Mathematical Logic around the world ") Impressum News Subscribe to email notifications about events at the KGRC. Most recent seminar talk Date: Speaker: Jörg Brendle (Kobe) Title: Malyhin's Problem Past seminar talks and events Other news: January 2008 : The KGRC welcomes two new members, the postdoc Meeri Kesälä and the visiting student Prerna Bihani. January 2008 : Jörg Brendle visits the KGRC. December 2007 : The KGRC welcomes Lyubomyr Zdomskyy as a new member. December 2007 : Philip Welch visits the KGRC. December 2007 : The KGRC welcomes Ajdin Halilovic as a new member. November 2007 : Vladimir Kanovei visits the KGRC. October 2007 : Moti Gitik visits the KGRC. October 2007 : Yi Zhang visits the KGRC. October 2007 : The KGRC welcomes two new members: The PhD student Peter Holy and the postdoc Luca Motto Ros. April 2006 : The KGRC is co-organizer of Horizons of Truth November 2005 : The 9th KGC Set Theory Workshop July 2005 : The research center receives an excellent rating (text in German) in the final report of the 2005 evaluation of Austrian mathematics.

22. Department Of Mathematical Logic And Applications Department of mathematical logic and Applications. http://www.fmi.uni-sofia.bg/fmi/logic/

Department of Mathematical Logic and Applications Home Members Bachelor Courses Master of Science Programs ... Resources Some links: Mailing list of the Bulgarian logic community Web phorum of the department Section of Logic at the IMI of BAS Linguistic Modelling Department at the IPP of BAS The Department was founded in 1972 as a subdivision of the United Center of Mathematics and Mechanics (more information can be found in Dimiter Skordev's ). Since 1989 the Department has been a part of the Faculty of Mathematics and Computer Science, The members of the Department are specialists in the areas of Computability Theory, Theoretical Computer Science, Modal and Non-Classical Logic, Constructive Mathematics. The Department is responsible for several courses in the curriculum of the Bachelor Programs in Mathematics and Computer Science. The Department is responsible also for the in “Logic and Algorithms” in the Faculty. If you want to ask something or to initiate a discussion, you can use our . In order to be informed with the current events about the mathematical logic and theoretical computer sciences you can subscribe to our (about 5 messages per month).

23. A K Peters, Ltd. - Mathematical Logic This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint http://www.akpeters.com/product.asp?ProdCode=1357

24. Research Groups In Mathematics, Uppsala University The research effort of the program in mathematical logic falls to a significant part within the area common to mathematics and theoretical computer science. http://www.math.uu.se/logik/

25. Mathematical Logic At The University Of Mons-Hainaut Bienvenue sur le site du Service de Logique Mathématique de l Université de MonsHainaut. Welcome into the site of the Service of mathematical logic at the http://www.umh.ac.be/math/logic/

Welcome into the site of the Service of Mathematical Logic at the University of Mons-Hainaut. Logique (2007-2008) Programme complet About the team: Members of Logic Team Our main Research Subjects and Collaborations List of our Publications Rapports du service Seminars and conferences: Programme du en Logiqu Inscrivez-vous Programme des de Present, past or future Congresses in Logic lien vers le site de l'Equipe de Logique de Paris 7 Teaching: List of the Undergraduate Courses we give in Mathematical Logic Graduate Courses in Logic: D E tudes A Miscellaneous: Where is Mons and how to reach us ? What are our contact addresses How to get a Marie Curie grant for postdoctoral studies. information on the Sixth Programme Mons Logic Team is head of the Belgian node of the new european network MODNET local coordinator is Some of our favorite links Some of our favorite links This site has been created by A. Maes

26. Theory Of Knowledge By Bertrand Russell By the name mathematical logic , then, I will denote any logical theory whose object is the In an examination of the work done by mathematical logic, http://www.marxists.org/reference/subject/philosophy/works/en/russell.htm

Bertrand Russell (1911) The Philosophical Importance of Mathematical Logic Source Collected Papers of Bertrand Russell (1972) publ. Routledge. Two articles reproduced here. n 1 whenever it belongs to n . Such is, for example, the property of being greater than 100. If a number is greater than 100, the next number after it is greater than 100. Let us call by the name "inductive property" of a number a hereditary property which is possessed by the number zero. Such a property must belong to 1, since it is hereditary and belongs to 0; in the same way, it must belong to 2, since it belongs to 1; and so on. Consequently the numbers of daily life possess every inductive property. Now, amongst the inductive properties of numbers is found the following. If any collection has the number n, no part of this collection can have the same number n . Consequently, if all numbers possess all inductive properties, there is a contradiction with the result that there are collections which have the same number as a part of themselves. This contradiction, however, ceases to subsist as soon as we admit that there are numbers which do not possess all inductive properties. And then it appears that there is no contradiction in infinite number. Cantor has even created a whole arithmetic of infinite numbers, and by means of this arithmetic he has completely resolved the former problems on the nature of the infinite which have disturbed philosophy since ancient times. The problems of the continuum

27. Mathematical Logic In Padua - Home Page mathematical logic in Padua is dedicated to the research work in mathematical logic by the school of Giovanni Sambin, professor of mathematical logic in http://www.math.unipd.it/~logic/

Mathematical Logic in Padua home people research areas research theses events ... links Welcome Welcome to the web site of Mathematical Logic in Padua. Here you can find info on the people research activities Most of our work deals with a constructive approach to logic, mathematics and philosophy. Focus 3rd Workshop on Formal Topology The 3rd Workshop on Formal Topology will take place in Padua (Italy) on 7-12 May 2007 The list of invited speakers includes outstanding scholars such as André Joyal Per Martin-Löf Martin Hyland Peter Aczel . For all details visit the website of the Workshop: www.3wftop.math.unipd.it 2WFTop Proceedings The proceedings of the are now published as a special issue of APAL Edited by Giovanni Sambin Dipartimento di Matematica Pura e Applicata Università di Padova ... Credits

28. Phil 513 - Mathematical Logic I Some History of mathematical logic and Set Theory; Pp. 5558 - Handout three IV. Numerals / V. Ordering, Complete Induction and Divisibility http://people.umass.edu/klement/513/index.html

Phil 513: Mathematical Logic I Spring 2005 - Kevin C. Klement Course description: Note: the items posted below are in Adobe Acrobat (.PDF) format; to view them, you will need to have either Adobe Acrobat or Adobe Acrobat Reader installed. To install Acrobat Reader for free, click on the link below. Download Adobe Acrobat Reader CLICK HERE TO VIEW COURSE SYLLABUS - (Includes instructor contact information, textbook information, course requirements and grading policies.) CLICK HERE TO VIEW COURSE SCHEDULE - (Breakdown of daily readings, homework assignments and due-dates.) CLICK HERE FOR EXAM 1 - (due Wed., February 23rd) CLICK HERE FOR EXAM 2 - (due Fri., April 1st) CLICK HERE FOR EXAM 3 - (due Mon., April 25th) CLICK HERE FOR EXAM 4 - (due Sun., May 22nd) COURSE HANDOUTS AND LECTURE NOTES Title Pages and Table of Contents UNIT ONE: LOGICAL METATHEORY FOR PROPOSITIONAL LOGIC Pp. 1-3 - Handout one: I. Course Introduction / II. Metalanguage and Object Language Pp. 4-7 - Handout two: III. Set Theory / IV. Mathematical Induction Pp. 8-11 - Handout three:

29. REPORTS ON MATHEMATICAL LOGIC Reports on mathematical logic is a journal aimed at publishing quality research papers on mathematical logic and foundations of mathematics. ISSN 01372904 http://www.iphils.uj.edu.pl/rml/rml.htm

KRAKOW Jagiellonian University Press Reports on Mathematical Logic Editors Pawel M. Idziak Jerzy Perzanowski Computer Science Department Jagiellonian University Department of Logic Jagiellonian University Reports on Mathematical Logic is a journal aimed at publishing quality research papers on mathematical logic and foundations of mathematics. ISSN: Previous issues Current issue Forthcoming papers Author Index ... Jagiellonian University Home Page

30. Michal Walicki mathematical logic an Introduction the compendium with the whole syllabus and an extensive section on the history of logic http://www.ii.uib.no/~michal/

Michal Walicki Address: University of Bergen Department of Informatics HiB, 5020 Bergen, NORWAY Ph. : +47 55 58-41-78 Fx. : +47 55 58-41-99 E-mail : michal@ii.uib.no Interests: Formal methods in software development - Universal algebra and category theory: Algebraic treatment of nondeterminism Relational and power structures Categories of multialgebras - Logic: Reasoning with nondeterminism (multifunctions) Modal/epistemic logic (algebraic semantics) The SHIP project project description Lecture Notes: INF-227 - An introduction to mathematical logic Mathematical Logic - an Introduction : the compendium with the whole syllabus and an extensive section on the history of logic INF-220 - Algebraic Specification: "Universal Algebra and ADTs" (Draft, I-220, 1996) INF-121 (h-2005) 02. Rekursjon 02. RekursjonTR Some papers: Files which are mentioned as available for ftp, can also be obtained directly by anonymous ftp from the directory /pub/michal on the server ftp.ii.uib.no

31. Oxford Mathematical Logic Group mathematical Institute, mathematical logic group. Members, seminars. Home of the Model Theoretic Exchange. http://www.maths.ox.ac.uk/logic/

Oxford Mathematical Logic Group Mathematical Institute University of Oxford Home ... Events The Mathematical Logic group is part of the Mathematical Institute at the University of Oxford . The main research interests of the group are geometric stability theory, model theory of fields and o-minimal structures. The group is affiliated to MODNET , the European Research Training Network in Model theory, and to RAAG , the European Research Training Network on Real Algebraic and Analytic Geometry. The logic group convenes for tea in the common room at 4pm each day. On Fridays in term time we have tea after the seminar. Occasionally the seminar runs past the time when tea is served and then we have no tea. Last updated on 5 February 2007 by Juan Diego Caycedo from a page originally written by Jonathan Kirby

32. IEEE Spectrum: The Exterminators not only with an arsenal of the latest software engineering methods but also with something a little more unusual in the field mathematical logic. http://www.spectrum.ieee.org/sep05/1454

var sLocalState = "$channel"; Font Size: A A A // define the element that should be active by default. // this value can/will be overwritten in subsequent snippets when two different tabs share // the same grid - like Home and Magazine. var oDefaultElement = '$channel'; HOME >> CreateAd('728x90', 1, 1, 'no', ord); The Exterminators By Philip E. Ross A small British firm shows that software bugs aren't inevitable Email Print Comments Reprints ... "Checking Code "]. Because of it, the unthinkable could happen: under rare circumstances, a missile could fire without anyone's having commanded it to do so. Amey says his superiors, rather than commending his discovery, complained that it would delay the system's deployment. Like most project managers, they didn't like the idea of fixing errors at the end of the development process. After all, good design ought to keep errors out in the first place. Yet time and again, Amey knew, the software development process didn't prevent bugs; it merely put off dealing with them until the end. Did it have to be that way? Or could developers avoid bugs in the first place? He would find the answer to be "yes" when, years later, he joined Praxis High Integrity Systems [see photo, " Bug Killer "].

33. Logic - Definition From The Merriam-Webster Online Dictionary Definition of logic from the MerriamWebster Online Dictionary with audio logic, chop3,intransitive verb, fuzzy logic, logic bomb, mathematical logic http://www.m-w.com/cgi-bin/netdict?logic

34. Wiley InterScience :: JOURNALS :: Mathematical Logic Quarterly www.interscience.wiley.com/jpages/09425616 - a class=fl href="/search?hl=en full text to institutional subscribers. http://www.interscience.wiley.com/jpages/0942-5616

Skip to Content If you are seeing this message, you may be experiencing temporary network problems. Please wait a few minutes and refresh the page. If the problem persists, you may wish to report it to your local Network Manager. It is also possible that your web browser is not configured or not able to display style sheets. In this case, although the visual presentation will be degraded, the site should continue to be functional. We recommend using the latest version of Microsoft or Mozilla web browser to help minimise these problems. Wiley InterScience HOME ABOUT US CONTACT US ... HELP JOURNALS Home Computer Science Computer Science(general) Mathematical Logic Quarterly See Also: Mathematical Logic Quarterly 1955-1999 What is RSS? Get Sample Copy Recommend to Your Librarian ... Print this page Journal Home Most Accessed Product Information Editorial Board For Authors ... Advertise Issue Navigation Early View Current Issue ALL ISSUES (2000 - 2007) Previous Issue Current Issue Volume 53 Issue 6 (November 2007) Original Papers Pairwise disjoint eight-shaped curves in hybrid planes (p 551-557) Camillo Costantini Published Online: Sep 26 2007 6:50AM DOI: 10.1002/malq.200710003

35. History Of Mathematical Logic History of mathematical logic Gives a natural framework for recreating Boole s Algebra of logic, based on ordinary algebra! http://www.math.uwaterloo.ca/~snburris/htdocs/history.html

History of Mathematical Logic Preprints Contributions of the Logicians The first part gives substantial commentary on the works of Whately, De Morgan, Boole and Jevons. The second part highlights contributions of Dedekind, Cantor, Frege, Schroeder, Peano, Zermelo, Loewenheim, Whitehead and Russell, Skolem, Hilbert and Ackermann, Herbrand, Goedel and Gentzen. My Book Review of A Boole Anthology [ PS ] [ DVI ] [ PDF ] The Laws of Boole's Thought. [ PS ] [ DVI ] [ PDF ] Gives a natural framework for recreating Boole's Algebra of Logic, based on ordinary algebra! A Fragment of Boole's Algebraic Logic Suitable for Traditional Syllogistic Logic. [ PS ] [ DVI ] [ PDF ] A tiny modification of Boole's translation of Particular Propositions makes Boole's system powerful enough to easily encompass the traditional Aristotelian simple inferences and syllogisms. Talks The Laws of Boole's Thought AMS (New Orleans, 2001) [ PS ] [ PDF ] (Same topic as Preprint 3 above.) Boole's Treatment of Particular Statements CMS, Toronto(2001) [ PS ] [ PDF ] (Same topic as Preprint 4 above.)

36. Mathematical Logic www.math.ufl.edu/~logic/ Similar pages PDF mathematical logicFile Format PDF/Adobe Acrobat http://www.math.ufl.edu/~logic/

37. Classical Logic (Stanford Encyclopedia Of Philosophy) Today, logic is both a branch of mathematics and a branch of philosophy. Mendelson, E. 1987, Introduction to mathematical logic, third edition, http://plato.stanford.edu/entries/logic-classical/

Cite this entry Search the SEP Advanced Search Tools ... Please Read How You Can Help Keep the Encyclopedia Free Classical Logic First published Sat 16 Sep, 2000 Typically, a logic consists of a formal or informal language together with a deductive system and/or a model-theoretic semantics. The language is, or corresponds to, a part of a natural language like English or Greek. The deductive system is to capture, codify, or simply record which inferences are correct for the given language, and the semantics is to capture, codify, or record the meanings, or truth-conditions, or possible truth conditions, for at least part of the language. The following sections provide the basics of a typical logic, sometimes called "classical elementary logic" or "classical first-order logic". Section 2 develops a formal language, with a rigorous syntax and grammar. The formal language is a recursively defined collection of strings on a fixed alphabet. As such, it has no meaning, or perhaps better, the meaning of the formulas is given by the deductive system and the semantics. Some of the symbols have counterparts in ordinary language. We define an argument to be a non-empty collection of formulas in the formal language, one of which is designated to be the conclusion. The other formulas (if any) in an argument are its premises. Section 3 sets up a deductive system for the language, in the spirit of natural deduction. An argument is

38. International Olympiad In Mathematical Logic Institute for Mathematics, Physics and Mechanics in Ljubljana. Contact information Committee for Olympiad in mathematical logic, http://olympiad.fe.uni-lj.si/Logika/

This document contains: Starting document Participating countries Competition in Slovenia Participating sponsors ... Contact information

39. Mathematical And Computational Logic Research Group mathematical and Computational logic Research Group. http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html

BEN GURION UNIVERSITY OF THE NEGEV Mathematical and Computational Logic Research Group The mathematical and computational logic group at BGU conducts research in set theory, model theory, general topology, Boolean algebras and, in theoretical computer science, concurrency, logic programming and lambda calculus. Uri Abraham PhD: The Hebrew University at Jerusalem, 1979 Main Research Interests: set theory, forcing and preservation theorems. In computer science: concurrency, self stabilization. E-mail: abraham@cs.bgu.ac.il Michael Codish PhD: The Weizmann Institute of Science, 1991 Logic Programming - a programming paradigm based on the Horn subset of first order logic. Abstract Interpretation - A formal Semantics based technique to reason about program properties and runtime behaviours. Applications of Abstract Interpretation to Logic Programs. E-mail: mcodish@cs.bgu.ac.il Mayer Goldberg PhD: 1996, Indiana University, Bloomington, IN Main research interests: lambda calculus, functional programming, theory of programming languages, compilation and decompilation.

40. Logic At Leeds - Homepage Martin Löb, a central figure in the development of mathematical logic in the UK, and founder of the Leeds logic Group, has died in Holland at the age of 85. http://www.maths.leeds.ac.uk/pure/logic/

People Research Seminars Postgrad opportunities Pure Department School of Mathematics University of Leeds Some outside links Graduate courses CiE 2008 CiE 2007 Differential Fields Workshop 8-10 June '07 Second MathLogAps Training Workshop poster Around O-Minimality Meeting SCHEDULE The Leeds Logic Group is one of the largest and most active in Europe, with an international reputation for research in several of the main areas of mathematical logic - computability theory, model theory, set theory and foundations, proof theory, and in applications to algebra, analysis and theoretical computer science. The group has been very successful in obtaining EPSRC and EU support for Research Students and Post-Doctoral Fellows, and has been the focus of extensive international collaboration via various research projects and networks in proof theory, computability theory and model theory. Our past postgraduates and researchers have been very successful in moving to research or teaching positions in Mathematics and Computer Science departments around the world. Further details of individual staff's research interests can be found on their homepages, accessed via the links on the left. Applications to visit or to pursue research within the Leeds Logic Group are always welcome. We have a large, lively, and very international community of research students and postdoctoral fellows.

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 2     21-40 of 77    Back | 1  | 2  | 3  | 4  | Next 20