I examine Belnap’s two criteria of existence and uniqueness for evaluating putative definitions of logical concepts in inference rules, by determining how they apply in four different examples: conjunction, the universal quantifier, the indefinite choice operator and the necessity in the modal logic s5. This illustrates the ways that definitions may be evaluated relative to a background theory ...

This paper is an overview of existing applications of Linear Logic LL to issues of computation After a substantial introduction to LL it discusses the implications of LL to functional programming logic programming concurrent and object oriented programming and some other applications of LL like semantics of negation in LP non monotonic issues in AI planning etc Although the overview covers pret...

We survey some classical and some recent results in the theory of forcing axioms, aiming to present recent breakthroughs and interest the reader in further developing the theory. The article is written for an audience of logicians and mathematicians not necessarily familiar with set theory.

The Tableaux Work Bench (TWB) is a meta tableau system designed for logicians with limited programming or automatic reasoning knowledge to experiment with new tableau calculi and new decision procedures. It has a simple interface, a history mechanism for controlling loops or pruning the search space, and modal simplification.

Presupposition has long history in philosophy of language and linguistic semantics. Recent works linguistics have given a central place to the notion presupposition. It is studied as an essential aspect providing semantic well pragmatic representations. Resultantly, presupposition obtained significant linguists, logicians philosophers spheres interest. been kind unspoken information that accomp...

3 Creativity in What Sense? 3 3.1 Lovelace-Test Creativity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3.2 Creative Formal Thought? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3.3 Creative Musical Thought? . . . . . . . . . . . . . . . . . . . . . ....

Introduction Among logicians it is well-known that Leibniz was the first to conceive of a mathematical treatment of logic. Much less known, however, was his insistence that there was need for a new kind of logic that would treat of degrees of probability. Although it isn't clear what Leibniz had in mind for such a logic—understandably, since the subject of probability had just begun in his life...

We discuss how concepts and methods introduced in mathematical logic can be used to support the engineering and deployment of life science ontologies. The required applications of mathematical logic are not straighforward and we argue that such ontologies provide a new and rich family of logical theories that wait to be explored by logicians.

We put the title problem and Church’s thesis into a proper perspective, and we address some common misconceptions about Turing’s analysis of computation. In addition, we comment on two approaches to the title problem, one well known among philosophers and another well known among logicians.