Tarski’s conceptual analysis of the notion of logical consequence is one of the pinnacles of the process of defining the metamathematical foundations of mathematics in the tradition of his predecessors Euclid, Frege, Russell and Hilbert, and his contemporaries Carnap, Gödel, Gentzen and Turing. However, he also notes that in defining the concept of consequence “efforts were made to adhere to the common usage of the language of every day life.” This paper addresses the issue of what relationship Tarski’s analysis, and (...) Béziau’s further generalization of it in universal logic, have to reasoning in the everyday lives of ordinary people from the cognitive processes of children through to those of specialists in the empirical and deductive sciences. It surveys a selection of relevant research in a range of disciplines providing theoretical and empirical studies of human reasoning, discusses the value of adopting a universal logic perspective, answers the questions posed in the call for this special issue, and suggests some specific research challenges. (shrink)

Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted on knowledge representation (...) came to be called description logics, and research on these logics has focused on issues of tractability of subsets with differing representation capabilities, and on the implementation of practical inference systems achieving the best possible performance. Semantic network research has kept pace with these developments, providing visual languages for knowledge entry, editing, and presenting the results of inference, that translate unambiguously to the underlying description logics. This paper discusses the design issues for such semantic network formalisms, and illustrates them through detailed examples of significant generic knowledge structures analyzed in the literature, including determinables, contrast sets, genus/differentiae, taxonomies, faceted taxonomies, cluster concepts, family resemblances, graded concepts, frames, definitions, rules, rules with exceptions, essence and state assertions, opposites and contraries, relevance, and so on. Such examples provide important test material for any visual language formalism for logic. (shrink)

Susan Mills and John Beatty's propensity interpretation of fitness encountered very different philosophical criticisms by Alexander Rosenberg and Kenneth Waters. These criticisms and the rejoinders to them are both predictable and important. They are predictable as raisingkinds of issues typically associated with disposition concepts (this is established through a systematic review of the problems generated by Carnap's dispositional interpretation of all scientific terms). They are important as referring the resolution of these issues to the development of evolutionary biology. This historical (...) approach to the propensity interpretation of fitness draws attention to the precarious relation between philosophical clarification of scientific concepts and any given state of the empirical arts. (shrink)

Michael Naish; Education and Essential Contestability Revisited, Journal of Philosophy of Education, Volume 18, Issue 2, 30 May 2006, Pages 141–153, https://doi.

An object being non-art appears only trivially informative. Some non-art objects, however, could be saliently ‘almost’ art, and therefore objects for which being non-art is non-trivially informative. I call these kinds of non-art objects ‘failed-art’ objects—non-art objects aetiologically similar to art-objects, diverging only in virtue of some relevant failure. I take failed-art to be the right sort of thing, to result from the right sort of action, and to have the right sort of history required to be art, but to (...) be non-art by having failure where being art requires success. I assume that for something to be art that thing must be the product of intention-directed action. I then offer an account of attempts that captures the success conditions governing the relationship between intention-directed actions and their products. From this, I claim that to be failed-art is to be the product of a failed art-attempt, i.e., to be non-art as the result of the particular way in which that art-attempt failed. An art-attempt I take to be an attempt with success conditions, that, if satisfied, entail the satisfaction of the conditions for being art—whatever those may be. To be art, then, is to be the product of a successful art-attempt. As such, any art theory incompatible with my account of failed-art is an art theory for which the notions of success and failure do not matter, and therefore an art theory for which being art needn't be substantively intention-dependent. So, any theory of art unable to accommodate my account of failed-art is ipso facto false. (shrink)

Systematic research in the wide field of practical knowledge is a recent phenomenon. In this paper, the approaches which have been developed in the main centres of research into practical knowledge in Norway and Sweden are compared with an emphasis on their potential for revitalizing the study of ethics. The focus on narratives and reflection based on the researcher’s own professional experience which is the distinguishing feature of the centre for practical knowledge at the University of Nordland is seen as (...) a very promising addition to the traditional repertory of ethical studies. (shrink)