44,640 research outputs found
Abstract State Machines 1988-1998: Commented ASM Bibliography
An annotated bibliography of papers which deal with or use Abstract State
Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm
Reassessing Neo-Kantianism. Another Look at Hermann Cohen’s Kant Interpretation
This article is a novel assessment of Hermann
Cohen’s theoretical philosophy, starting out
from his Kant interpretation. Hermann Cohen was
the head and founder of the Marburg School of Neo-
Kantianism. In the beginning, hence, I will commence
with some initial reflections on the makeup and
importance of this school, before I move on to Cohen’s
revolutionary Kant interpretation and its ramification
for the Marburg School in general
A Paraconsistent Higher Order Logic
Classical logic predicts that everything (thus nothing useful at all) follows
from inconsistency. A paraconsistent logic is a logic where an inconsistency
does not lead to such an explosion, and since in practice consistency is
difficult to achieve there are many potential applications of paraconsistent
logics in knowledge-based systems, logical semantics of natural language, etc.
Higher order logics have the advantages of being expressive and with several
automated theorem provers available. Also the type system can be helpful. We
present a concise description of a paraconsistent higher order logic with
countable infinite indeterminacy, where each basic formula can get its own
indeterminate truth value (or as we prefer: truth code). The meaning of the
logical operators is new and rather different from traditional many-valued
logics as well as from logics based on bilattices. The adequacy of the logic is
examined by a case study in the domain of medicine. Thus we try to build a
bridge between the HOL and MVL communities. A sequent calculus is proposed
based on recent work by Muskens.Comment: Originally in the proceedings of PCL 2002, editors Hendrik Decker,
Joergen Villadsen, Toshiharu Waragai (http://floc02.diku.dk/PCL/). Correcte
Predicativity and parametric polymorphism of Brouwerian implication
A common objection to the definition of intuitionistic implication in the
Proof Interpretation is that it is impredicative. I discuss the history of that
objection, argue that in Brouwer's writings predicativity of implication is
ensured through parametric polymorphism of functions on species, and compare
this construal with the alternative approaches to predicative implication of
Goodman, Dummett, Prawitz, and Martin-L\"of.Comment: Added further references (Pistone, Poincar\'e, Tabatabai, Van Atten
Critical Foundations of the Contextual Theory of Mind
The contextual mind is found attested in various usages of the term complement, in the background of Kant. The difficulties of Kant's intuitionism are taken up through Quine, but referential opacity is resolved as semantic presence in lived context. A further critique of rationalist linguistics is developed from Jakobson, showing generic functions in thought supporting abstraction, binding and thereby semantic categories. Thus Bolzano's influential philosophy of mathematics and science gives way to a critical view of the ancient heritage acknowledged by Plato.\ud
\u
Continuity, Discontinuity and Dynamics in Mathematics & Economics - Reconsidering Rosser's Visions
Barkley Rosser has been a pioneer in arguing the case for the mathematics of discontinuity, broadly conceived, to be placed at the foundations of modelling economic dynamics. In this paper we reconsider this vision from the broad perspective of a variety of different kinds of mathematics and suggest a broadening of Rosser’s methodology to the study of economic dynamicsContinuity, Discontinuity, Economic Dynamics, Relaxation Oscillations
- …