In his published work and even more in conversations, Tarski emphasized what he thought were important philosophical aspects of his work. The English translation of his more philosophical papers [56m] was dedicated to his teacher Tadeusz Kotarbinski, and in informal discussions of philosophy he often referred to the influence of Kotarbinski. Also, the influence of Leiniewski, his dissertation ...

One of the reasons for our interest in past, or history, is concern future, including future planet and its many varied inhabitants. It has been suggested that “historians are particularly suited” to exploring teaching about future. This suggestion recalls earlier ideas philosophical approaches study history sought find patterns purpose history. These associated with progress teleological accou...

Since the beginning of the semantic web initiative, ontologies have been referred to as the key tool for implementing the semantic web vision. The way they have been studied in, and brought to, this field has assumed that they are the same kind of ontologies used in artificial intelligence (AI) or studied in philosophy. However, by looking at the most popular web ontologies we can conclude that...

The traditional overlap between computer science and philosophy centres upon the issue of in what sense a computer may be said to think. A lesser known issue of potential common interest is the ontology of the semantics computer science assigns to programming languages such as Pascal or Java. We argue that the usual purely mathematical approach of denotational semantics necessarily excludes imp...

Within this issue, we are pleased to publish A Model for Standardizing Manipulation Terminology in Physical Therapy Practice, a manuscript by Paul Mintken and colleagues, which provides a model for standardized terminology to describe manipulative techniques regardless of individual clinical practices or schools of thought. Mintken and colleagues were charged with this assignment as part of a t...

This chapter reports work done mostly by one member of the team – a philosopher with substantial AI programming experience, whose primary interests were in the very long term goals of the project, summarised in Chapter 1, including the goal of shedding light on problems solved by biological evolution , and who was not directly involved in the coding but who interacted closely with people who we...

One of the surprising developments in the area of program verification is how ideas introduced by logicians in the early part of the 20th Century ended up yielding by the 21 Century industrial-standard property-specification languages. This development was enabled by the equally unlikely transformation of the mathematical machinery of automata on infinite words, introduced in the early 1960s fo...