Catálogo de publicaciones - libros

Compartir en
redes sociales


Knowledge and reality: Essays in Honor of Alvin Plantinga

Thomas M. Crisp ; Matthew Davidson ; David Vander Laan (eds.)

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

No disponibles.

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-1-4020-4732-9

ISBN electrónico

978-1-4020-4733-6

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

Información sobre derechos de publicación

© Springer 2006

Tabla de contenidos

Actualism and Presentism

James E. Tomberlin

This chapter introduces the new systems development platform presented in this book. This new development methodology for management information systems (MISs) is based on a formal model-theoretic structure derived from the systems concepts of general systems theory (GST). The model is represented in set theory and implemented in a fourth-generation programming language, extProlog, by automated system generation. The extProlog language is an extension of standard Prolog that allows for the implementation of an MIS. As discussed in Section 1.2, the new methodology provides a platform for the development of both transaction processing systems and problemsolving systems as the two principal components of an MIS.

Pp. 1-14

Properties

Peter van Inwagen

This chapter introduces the new systems development platform presented in this book. This new development methodology for management information systems (MISs) is based on a formal model-theoretic structure derived from the systems concepts of general systems theory (GST). The model is represented in set theory and implemented in a fourth-generation programming language, extProlog, by automated system generation. The extProlog language is an extension of standard Prolog that allows for the implementation of an MIS. As discussed in Section 1.2, the new methodology provides a platform for the development of both transaction processing systems and problemsolving systems as the two principal components of an MIS.

Pp. 15-34

So You Think You Exist? In Defense of Nolipsism

Jenann Ismael; John L. Pollock

This chapter introduces the new systems development platform presented in this book. This new development methodology for management information systems (MISs) is based on a formal model-theoretic structure derived from the systems concepts of general systems theory (GST). The model is represented in set theory and implemented in a fourth-generation programming language, extProlog, by automated system generation. The extProlog language is an extension of standard Prolog that allows for the implementation of an MIS. As discussed in Section 1.2, the new methodology provides a platform for the development of both transaction processing systems and problemsolving systems as the two principal components of an MIS.

Pp. 35-62

Substance and Artifact in Aquinas’s Metaphysics

Eleonore Stump

This chapter introduces the new systems development platform presented in this book. This new development methodology for management information systems (MISs) is based on a formal model-theoretic structure derived from the systems concepts of general systems theory (GST). The model is represented in set theory and implemented in a fourth-generation programming language, extProlog, by automated system generation. The extProlog language is an extension of standard Prolog that allows for the implementation of an MIS. As discussed in Section 1.2, the new methodology provides a platform for the development of both transaction processing systems and problemsolving systems as the two principal components of an MIS.

Pp. 63-79

Epistemology and Metaphysics

William P. Alston

This chapter introduces the new systems development platform presented in this book. This new development methodology for management information systems (MISs) is based on a formal model-theoretic structure derived from the systems concepts of general systems theory (GST). The model is represented in set theory and implemented in a fourth-generation programming language, extProlog, by automated system generation. The extProlog language is an extension of standard Prolog that allows for the implementation of an MIS. As discussed in Section 1.2, the new methodology provides a platform for the development of both transaction processing systems and problemsolving systems as the two principal components of an MIS.

Pp. 81-109

Historicizing the Belief-Forming Self

Nicholas Wolterstorff

This chapter introduces the new systems development platform presented in this book. This new development methodology for management information systems (MISs) is based on a formal model-theoretic structure derived from the systems concepts of general systems theory (GST). The model is represented in set theory and implemented in a fourth-generation programming language, extProlog, by automated system generation. The extProlog language is an extension of standard Prolog that allows for the implementation of an MIS. As discussed in Section 1.2, the new methodology provides a platform for the development of both transaction processing systems and problemsolving systems as the two principal components of an MIS.

Pp. 111-135

A Dilemma for Internalism

Michael Bergmann

This chapter introduces the new systems development platform presented in this book. This new development methodology for management information systems (MISs) is based on a formal model-theoretic structure derived from the systems concepts of general systems theory (GST). The model is represented in set theory and implemented in a fourth-generation programming language, extProlog, by automated system generation. The extProlog language is an extension of standard Prolog that allows for the implementation of an MIS. As discussed in Section 1.2, the new methodology provides a platform for the development of both transaction processing systems and problemsolving systems as the two principal components of an MIS.

Pp. 137-177

Epistemic Internalism, Philosophical Assurance and the Skeptical Predicament

Richard Fumerton

This chapter introduces the new systems development platform presented in this book. This new development methodology for management information systems (MISs) is based on a formal model-theoretic structure derived from the systems concepts of general systems theory (GST). The model is represented in set theory and implemented in a fourth-generation programming language, extProlog, by automated system generation. The extProlog language is an extension of standard Prolog that allows for the implementation of an MIS. As discussed in Section 1.2, the new methodology provides a platform for the development of both transaction processing systems and problemsolving systems as the two principal components of an MIS.

Pp. 179-191

Scientific Naturalism and the Value of Knowledge

Jonathan Kvanvig

This chapter introduces the new systems development platform presented in this book. This new development methodology for management information systems (MISs) is based on a formal model-theoretic structure derived from the systems concepts of general systems theory (GST). The model is represented in set theory and implemented in a fourth-generation programming language, extProlog, by automated system generation. The extProlog language is an extension of standard Prolog that allows for the implementation of an MIS. As discussed in Section 1.2, the new methodology provides a platform for the development of both transaction processing systems and problemsolving systems as the two principal components of an MIS.

Pp. 193-214

Naturalism and Moral Realism

Michael C. Rea

This chapter introduces the new systems development platform presented in this book. This new development methodology for management information systems (MISs) is based on a formal model-theoretic structure derived from the systems concepts of general systems theory (GST). The model is represented in set theory and implemented in a fourth-generation programming language, extProlog, by automated system generation. The extProlog language is an extension of standard Prolog that allows for the implementation of an MIS. As discussed in Section 1.2, the new methodology provides a platform for the development of both transaction processing systems and problemsolving systems as the two principal components of an MIS.

Pp. 215-241