Universal logic

Universal logic

Universal logic is the field of logic that is concerned with giving an account of what features are common to all logical structures. Universal logic is to logic what universal algebra is to algebra.

The term 'universal logic' was introduced in the 1990s by Swiss logician Jean-Yves Béziau, but the field has arguably existed for many decades. Some of the works of Alfred Tarski in the early twentieth century, for example, can be regarded as fundamental contributions to universal logic.

The First World Congress and School on Universal Logic took place in Montreux, Switzerland in early 2005. Participants included Béziau, Dov Gabbay, Saul Kripke, and David Makinson.

The term 'universal logic' has also been used by some logicians (e.g. Richard Sylvan and Ross Brady) to mean a logic that is applicable in all situations—even impossible ones.

Resources

* Béziau, J.-Y. (ed). 2005. "Logica Universalis: Towards a General Theory of Logic". Basel: Birkhäuser Verlag. ISBN 3-7643-7259-1
* Brady, R. 2006. "Universal Logic". Stanford: CSLI Publications. ISBN 1-57586-255-7.
* A journal dedicated to Universal Logic: [http://www.birkhauser.ch/LU/ "Logica Universalis"] .

External links

* [http://www.uni-log.org/ UNILOG '05: First World Congress and School on Universal Logic]
* [http://www.uni-log.org/ UNILOG '07: Second World Congress and School on Universal Logic]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • universal logic gate — universalusis loginis elementas statusas T sritis radioelektronika atitikmenys: angl. universal logic gate vok. universelles Logikelement, n rus. универсальный логический элемент, m pranc. porte logique universelle, f …   Radioelektronikos terminų žodynas

  • universal logic array — universalioji loginių elementų matrica statusas T sritis radioelektronika atitikmenys: angl. universal logic array vok. universelle Logikanordnung, f rus. универсальная логическая матрица, f pranc. réseau logique universel, m …   Radioelektronikos terminų žodynas

  • Reversible Computing/3 input universal logic gates — Logic gates are used to build computer chips. Reversible logic gates are of interest because they could in principle generate useful results for less heat generated (Landauer 1961). The nand gate is universal among irreversible logic gates, in… …   Wikipedia

  • Logic gate — A logic gate is an idealized or physical device implementing a Boolean function, that is, it performs a logical operation on one or more logic inputs and produces a single logic output. Depending on the context, the term may refer to an ideal… …   Wikipedia

  • Universal algebra — (sometimes called general algebra) is the field of mathematics that studies algebraic structures themselves, not examples ( models ) of algebraic structures.For instance, rather than take particular groups as the object of study, in universal… …   Wikipedia

  • Universal War — (ВсеЛенская Война Ъ) is an artist s book by Aleksei Kruchenykh [also known as Aleksey Kruchonykh] published in Petrograd at the beginning of 1916. Despite being produced in an edition of 100 of which only 12 are known to survive [… …   Wikipedia

  • Universal Intelligence — is a term used by some to describe what they see as organization, or order of the universe. It has been described as the intrinsic tendency for things to self organize and co evolve into ever more complex, intricately interwoven and mutually… …   Wikipedia

  • Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic     Logic      …   Catholic encyclopedia

  • Logic Pro — Logic 8 Developer(s) Apple Inc. Stable release 9.1.5 / 2011 08 08 Operating system …   Wikipedia

  • Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… …   History of philosophy

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”