Presents thirteen studies that engage with the notion of formal function in a variety of ways

This book explores the gap that has developed between two sides in linguistics: the formal tradition and the functional tradition. It discusses fundamental issues such as tense, aspect and action by examining and comparing insights from the two traditions with a view to determining whether there are any possibilities of future bridge-building between the two approaches. This study focuses on comparing the actual output of different linguistic approaches and examines their 'usefulness'. A major aim is, therefore, to evaluate and identify the most useful approach.

This book offers a metaphysical development of the notion of perspective. By explaining the functional nature of point of view, and by providing a concrete definition of point of view as a window through which to see the world, it offers a scientific realist theory that explains that points of view are real structures that ground properties and objects as well as perspectives. The notion of point of view has been of key importance in the history of philosophy, and different philosophical schools have used this notion to conduct analyses from the external reality to the inner phenomenal status, or even to construct an entire philosophical system. However, there has been a lack of systematic analysis of what a point of view is and what its structure is; this book fills the gap in the literature and makes the transition between semantics and epistemology, and the philosophy of science.

Researchers in areas such as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. In all these areas, attention is now being focused on the content of information rather than on just the formats and languages used to represent information. The clearest example of this development is provided by the many initiatives growing up around the project of the Semantic Web. And, as the need for integrating research in these different fields arises, so does the realisation that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The tools of formal ontology address precisely these needs, but a real effort is required in order to apply such philosophical tools to the domain of information systems. Reciprocally, research in the information sciences raises specific ontological questions which call for further philosophical investigations. The purpose of FOIS is to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues and concrete applications. This book contains a wide range of areas, all of which are important to the development of formal ontologies.

This is a book about mathematics and mathematical thinking. It is intended for the serious learner who is interested in studying some deductive strategies in the context of a variety of elementary mathematical situations. No background beyond single-variable calculus is presumed.

This is the first volume of essays devoted to Aristotelian formal causation and its relevance for contemporary metaphysics and philosophy of science. The essays trace the historical development of formal causation and demonstrate its relevance for contemporary issues, such as causation, explanation, laws of nature, functions, essence, modality, and metaphysical grounding. The introduction to the volume covers the history of theories of formal causation and points out why we need a theory of formal causation in contemporary philosophy. Part I is concerned with scholastic approaches to formal causation, while Part II presents four contemporary approaches to formal causation. The three chapters in Part III explore various notions of dependence and their relevance to formal causation. Part IV, finally, discusses formal causation in biology and cognitive sciences. Neo-Aristotelian Perspectives on Formal Causation will be of interest to advanced graduate students and researchers working on contemporary Aristotelian approaches to metaphysics and philosophy of science. This volume includes contributions by José Tomás Alvarado, Christopher J. Austin, Giacomo Giannini, Jani Hakkarainen, Ludger Jansen, Markku Keinänen, Gyula Klima, James G. Lennox, Stephen Mumford, David S. Oderberg, Michele Paolini Paoletti, Sandeep Prasada, Petter Sandstad, Wolfgang Sattler, Benjamin Schnieder, Matthew Tugby, and Jonas Werner.