Preface

Gerhard Heinzmann, Wilfrid Hodges, Peter Schroeder-Heister

1-3

Copies of classical logic in intuitionistic logic

Jaime Gaspar

5-11

A critical remark on the BHK interpretation of implication

Wagner de Campos Sanz, Thomas Piecha

13-22

Gödel's incompleteness phenomenon—computationally

Saeed Salehi

23-37

Meinong and Husserl on existence

two solutions of the paradox of non-existence

Giuliano Bacigalupo

39-51

Nicolai Vasiliev's imaginary logic and semantic foundations for the logic of assent

Werner Stelzner

53-70

Quine's other way out

Barry H. Slater

71-79

Minimal logicism

Francesca Boccuni

81-94

The form and function of duality in modern mathematics

Ralf Krömer, David Corfield

95-109

Proofs as spatio-temporal processes

Petros Stefaneas, Ioannis M. Vandoulakis

111-125

A scholastic-realist modal-structuralism

Pietarinen

127-138

Formal ontologies and semantic technologies

a "dual process" proposal for concept representation

Marcello Frixione, Antonio Lieto

139-152

A philosophical inquiry into the character of material artifacts

Manjari Chakrabarty

153-156

What linguistic nativism tells us about innateness

Delphine Blitman

167-175

Can innateness ascriptions avoid tautology?

Valentine Reynaud

177-190

Damasio, self and consciousness

Gonzalo Munévar

191-201

The principle based explanations are not extinct in cognitive science

the case of the basic level effects

Lilia Gurova

203-214

Computational mechanisms and models of computation

Marcin Miłkowski

215-228

Is Church's picture of Frege a good one?

Zoe McConaughey

231-245

Rationality of performance

Edda Weigand

247-268

Erratum