Catálogo de publicaciones - libros
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
2006
Información sobre derechos de publicación
© Springer 2006
Cobertura temática
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