# Universal logic

Universal logic is the field of logic that studies the common features of all logical systems, aiming to be to logic what universal algebra is to algebra.wikipedia

39 Related Articles

### Logic

**logicianlogicallogics**

Universal logic is the field of logic that studies the common features of all logical systems, aiming to be to logic what universal algebra is to algebra.

However, agreement on what logic is has remained elusive, and although the field of universal logic has studied the common structure of logics, in 2007 Mossakowski et al. commented that "it is embarrassing that there is no widely acceptable formal definition of 'a logic'".

### Jean-Yves Béziau

**Béziau, Jean-Yves**

The roots of universal logic may go as far back as some work of Alfred Tarski in the early twentieth century, but the modern notion was first presented in the 1990s by Swiss logician Jean-Yves Béziau. First World Congress and School on Universal Logic, 26 March–3 April 2005, Montreux, Switzerland. Participants included Béziau, Dov Gabbay, and David Makinson. (Secret Speaker: Saul Kripke.)

Jean-Yves Beziau works in the field of logic—in particular, paraconsistent logic, the square of opposition and universal logic.

### Joseph Goguen

**GoguenGoguen, J.Joseph A. Goguen**

a categorical approach originating in Computer Science based on Goguen and Burstall's notion of institution.

His development of institution theory impacted the field of universal logic.

### Institution (computer science)

**institutioninstitution theoryInstitutions in computer science**

a categorical approach originating in Computer Science based on Goguen and Burstall's notion of institution.

The spread of institutional model theory has generalized various notions and results of model theory and institutions themselves have impacted the progress of universal logic.

### Logica Universalis

A journal dedicated to the field, Logica Universalis, with Béziau as editor-in-chief started to be published by Birkhäuser Basel (an imprint of Springer) in 2007.

Logica Universalis is a peer-reviewed academic journal which covers research related to Universal logic.

### Abstract algebraic logic

**algebraically**

Abstract algebraic logic

Universal logic

### Rival conceptions of logic

Definitions of logic

* Universal logic

### Universal algebra

**algebraequational theoryequational reasoning**

Universal logic is the field of logic that studies the common features of all logical systems, aiming to be to logic what universal algebra is to algebra.

### Algebra

**algebraicAlgebra IAlgebra 1**

Universal logic is the field of logic that studies the common features of all logical systems, aiming to be to logic what universal algebra is to algebra.

### Model theory

**modelmodelsmodel-theoretic**

A number of approaches to universal logic have been proposed since the twentieth century, using model theoretic, and categorical approaches.

### Category theory

**categorycategoricalcategories**

a categorical approach originating in Computer Science based on Goguen and Burstall's notion of institution. A number of approaches to universal logic have been proposed since the twentieth century, using model theoretic, and categorical approaches.

### Alfred Tarski

**TarskiTarski, AlfredTarskian**

The roots of universal logic may go as far back as some work of Alfred Tarski in the early twentieth century, but the modern notion was first presented in the 1990s by Swiss logician Jean-Yves Béziau.

### Richard Sylvan

**Richard RoutleySylvan, Richard**

The term 'universal logic' has also been separately used by logicians such as Richard Sylvan and Ross Brady to refer to a new type of (weak) relevant logic.

### Relevance logic

**relevant logicrelevant**

The term 'universal logic' has also been separately used by logicians such as Richard Sylvan and Ross Brady to refer to a new type of (weak) relevant logic.

### Abstract model theory

An abstract model theory system axiomatized by Jon Barwise,

### Jon Barwise

**Barwise, JonJ. BarwiseBarwise**

An abstract model theory system axiomatized by Jon Barwise,

### Topology

**topologicaltopologicallytopologist**

a topological/categorical approach based on sketches (sometimes called categorical model theory),

### Sketch (mathematics)

**sketchessketchSketches (category theory)**

a topological/categorical approach based on sketches (sometimes called categorical model theory),

### Rod Burstall

**Burstall**

a categorical approach originating in Computer Science based on Goguen and Burstall's notion of institution.

### Montreux

**Montreux, SwitzerlandchêneClarens**

First World Congress and School on Universal Logic, 26 March–3 April 2005, Montreux, Switzerland. Participants included Béziau, Dov Gabbay, and David Makinson. (Secret Speaker: Saul Kripke.)

### Dov Gabbay

**Gabbay, DovD. GabbayD. M. Gabbay**

First World Congress and School on Universal Logic, 26 March–3 April 2005, Montreux, Switzerland. Participants included Béziau, Dov Gabbay, and David Makinson. (Secret Speaker: Saul Kripke.)

### David Makinson

**MakinsonMakinson, David**

First World Congress and School on Universal Logic, 26 March–3 April 2005, Montreux, Switzerland. Participants included Béziau, Dov Gabbay, and David Makinson. (Secret Speaker: Saul Kripke.)

### Saul Kripke

**KripkeKripke, SaulKripkean**

### Xi'an

**XianChang'anXi'an, Shaanxi**

Second World Congress and School on Universal Logic, 16–22 August 2007, Xi'an, China.

### Lisbon

**LisboaLisbon, Portugalcapital**

Third World Congress and School on Universal Logic, 18–25 April 2010, Lisbon, Portugal. (Secret Speaker: Jaakko Hintikka.)