Shortlink

Logic talk at DTU

Talk on Wednesday 17 February 2016 14:00-15:00 at DTU Lyngby Campus, Building 101, Room S10

A synthetic axiomatization of Map Theory
By Klaus Grue, Edlund A/S

Map Theory axiomatizes lambda calculus plus Hilbert's epsilon operator. All theorems of ZFC set theory including the axiom of foundation are provable in Map Theory, and if one omits Hilbert's epsilon operator from Map Theory then one is left with a computer programming language.
Continue reading

Shortlink

DEON 2016 - 2nd call for papers

13th International Conference on Deontic logic and Normative Systems (DEON 2016)
18-21 July 2016, Bayreuth, Germany

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law.

In addition to these general themes, DEON 2016 will encourage a special focus on the topic:
“Reasons, Argumentation and Justification”
Continue reading

Shortlink

Norm, Actions, Games (NAG 2016)

Norm, Actions, Games (NAG 2016)
June 20-21, 2016, Toulouse France
Website of the workshop: http://www.irit.fr/~Emiliano.Lorini/NAG2016/welcome.htm

Aim of the workshop:
In strategic interaction, where multiple agents pursue personal objectives, conflict is bound to arise, as the actions of the individual agents have an effect on the welfare of the others. In such situations the need arises for the explicit regulation of individual and collective behaviour which has traditionally followed two alternative approaches, well-known in the economics literature: the spontaneous order approach, which studies how norms result from endogenous agreements among rational individuals or how conventions emerge through repeated interactions and learning, and the mechanism design approach, which studies how norms are exogenously designed in order to reach desirable properties. Continue reading

Shortlink

PhDs in Logic. 2nd call for submissions

Second Call for submissions: PhDs in Logic VIII, Darmstadt, Germany, May
9-11, 2016

"PhDs in Logic" is an annual graduate conference organised by local graduate students. This conference has an interdisciplinary character, welcoming contributions to various topics in Mathematical Logic, Philosophical Logic, and Logic in Computer Science. It involves tutorials by established researchers as well as short presentations by PhD students on their research.

We are happy to announce that the next edition of "PhDs in Logic" will take place in Darmstadt, Germany, during May 9-11 2016, hosted by the Logic research group of the Department of Mathematics, TU Darmstadt. Continue reading

Shortlink

LAMAS 2016 - 2nd cfp

9th Workshop on Logical Aspects of Multi-Agent Systems
LAMAS 2016
(satellite workshop of AAMAS 2016)

May 10, 2016, Singapore
http://ii.tudelft.nl/~nils/lamas2016/

2nd Call for Papers

Continue reading

Shortlink

Special issue of Philosophy and Technology on "Logic as Technology"

This special issue initiates Philosophy and Technology’s new subject area on logic and technology by proposing to explore novel insights from the natural, yet in philosophical contexts still uncommon juxtaposition of logic and technology. Instead of considering questions regarding the philosophical relevance of how logic is applied in technology (as witnessed by the role of recursion theory, the foundation of computation, in logic), as a means to reason about technology (reasoning about programs, security, etc.), or even how technology is used to learn more about logic (e.g. with the help of theorem-provers), we suggest to explore how our thinking about logic can be shaped by our thinking about technology. This includes, first and foremost, the suggestion that we can see logic as a technology by avoiding the common restriction of technology to physical artefacts and the even more traditional restriction of logic to symbolically formulated deductive systems. Abstract or semantic artefacts are technologies, and logic is—like mathematics—a typical example of such a technology. Continue reading

Shortlink

NMR 2016

Co-located with KR 2016 (http://kr2016.cs.uct.ac.za/) and DL 2016 (http://dl2016.cs.uct.ac.za/).

NMR 2016
16th International Workshop on Non-Monotonic Reasoning, April 22-24, 2016, Cape Town, South Africa

http://nmr2016.cs.uct.ac.za/

NMR is the premier forum for results in the area of Non-Monotonic Reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications. Continue reading

Shortlink

Logica 2016

The Institute of Philosophy, Academy of Sciences of the Czech Republic, announces

LOGICA 2016

the * 30th * in the series of annual international symposia devoted to logic, to be held at Hejnice (in northern Bohemia, about 2.5 hours from Prague), 20 – 24 June 2016.

 Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

 The first session begins on the morning of Tuesday June 21. The symposium closes at noon Friday June 24.

The official language of the symposium is English. Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for ‘philosophically’ and for ‘mathematically’ oriented logicians.

The guidelines for submissions can be found at

http://logika.flu.cas.cz/en/logica
Continue reading

Shortlink

LAMAS 2016

9th Workshop on Logical Aspects of Multi-Agent Systems
LAMAS 2016
(satellite workshop of AAMAS 2016)
May 9 or 10, 2016, Singapore
http://ii.tudelft.nl/~nils/lamas2016/

1st Call for Papers Continue reading

Shortlink

5th World Congress on "the Square of Opposition", call for abstracts

Easter Island - Rapa Nui - Nov 11-15, 2016
http://www.square-of-opposition.org/square2016