Objective
The standard logical approaches to belief revision or scientific theory change assume either that the reality under investigation is static or at least that the ontic changes are un-correlated with the doxastic/epistemic change. But in numerous situations, the very act of learning new information may change the reality that is being learnt. Such situations were studied in Quantum Physics, Economics and Social Science, but have not been much investigated from the perspective of Philosophy of Science and the Logic of Theory Change. An example is the way in which an introspective agent changes her beliefs when learning new higher-order information, i.e. information that may refer to her own beliefs. A similar situation arises when a scientist learns about a phenomenon by performing measurements that perturb the very phenomenon under study. In Quantum Mechanics, this property that “observation causes perturbation” (the so-called observer effect) lies at the basis of most applications in quantum communication. We find similar examples in Psychology when a psychological test changes the very facts under investigation. More complex such scenarios of correlated information change occur in groups of communicating agents, whenever some agents’ knowledge about the others’ belief changes influence their own beliefs.
What these examples have in common is that the very act of learning (individually or in group) can influence the results of learning, by changing the phenomena under study. In this project we develop a new unified logical setting to handle these different types of correlated information change in a multi-agent context. This setting is based on bringing together the insights and methods of Dynamic Epistemic Logic, Quantum Logic, Belief Revision Theory, Truth Approximation and Learning Theory. We plan to investigate applications of this setting to various areas of philosophy, ranging from social epistemology to philosophy of information and philosophy of science.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- humanities philosophy, ethics and religion philosophy epistemology
- social sciences educational sciences
- social sciences psychology cognitive psychology
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback. You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
ERC-2011-StG_20101124
See other projects for this call
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Host institution
1012WX Amsterdam
Netherlands
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.