Wyniki wyszukiwania:

In the 20th century philosophy of mathematics has to a great extent been dominated by views developed during the so-called foundational crisis in the beginning of that century. These views have primarily focused on questions pertaining to the logical structure of mathematics and questions regarding the justi?cation and consistency of mathematics. Paradigmatic in this - spect is Hilbert s program which inherits from Frege and Russell the project to formalize all areas of ordinary mathematics and then adds the requi- ment of a proof, by epistemically privileged means (?nitistic reasoning), of...

Much of chemistry, molecular biology, and drug design, are centered around the relationships between chemical structure and measured properties of compounds and polymers, such as viscosity, acidity, solubility, toxicity, enzyme binding, and membrane penetration. For any set of compounds, these relationships are by necessity complicated, particularly when the properties are of biological nature. To investigate and utilize such complicated relationships, henceforth abbreviated SAR for structure-activity relationships, and QSAR for quantitative SAR, we need a description of the variation in...

In the 20th century philosophy of mathematics has to a great extent been dominated by views developed during the so-called foundational crisis in the beginning of that century. These views have primarily focused on questions pertaining to the logical structure of mathematics and questions regarding the justi?cation and consistency of mathematics. Paradigmatic in this - spect is Hilbert s program which inherits from Frege and Russell the project to formalize all areas of ordinary mathematics and then adds the requi- ment of a proof, by epistemically privileged means (?nitistic reasoning), of...

The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics of knowledge and belief in a variety of fields, and finally to discuss future directions of research with particular emphasis on 'active agenthood' and multi-modal systems. It is accessible to researchers and graduate students in philosophy, computer science, game theory, economics and related disciplines utilizing the means and methods of epistemic logic.

The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics of knowledge and belief in a variety of fields, and finally to discuss future directions of research with particular emphasis on 'active agenthood' and multi-modal systems. It is accessible to researchers and graduate students in philosophy, computer science, game theory, economics and related disciplines utilizing the means and methods of epistemic logic.

Springer Book Archives