A formal approach to the metaphysical foundations of physics  Page description

Help  Print 
Back »

 

Details of project

 
Identifier
115593
Type K
Principal investigator Szabó, Gábor
Title in Hungarian A fizika metafizikai alapkérdései formális megközelítésben
Title in English A formal approach to the metaphysical foundations of physics
Keywords in Hungarian determinizmus, lokalitás, kauzalitás, valószínűség
Keywords in English determinism, locality, causality, chance
Discipline
Philosophy (Council of Humanities and Social Sciences)100 %
Ortelius classification: Philosophy of science
Panel Culture
Department or equivalent Institute of Philosophy (Research Centre for the Humanities)
Participants Gömöri, Márton
Gyenis, Balázs
Gyenis, Zalán
Rédei, Miklós
Szabó, László
Starting date 2015-09-01
Closing date 2020-12-31
Funding (in million HUF) 15.992
FTE (full time equivalent) 9.47
state closed project
Summary in Hungarian
A kutatás összefoglalója, célkitűzései szakemberek számára
Itt írja le a kutatás fő célkitűzéseit a témában jártas szakember számára.

A tervezett kutatási program a projektvezetőnek Szabó E. Lászlóval és Rédei Miklóssal közösen írt és 2013-ban a Cambridge University Press-nél megjelent "The Principle of the Common Cause" című könyvében ismertetett kutatás szerves folytatása. A kutatás célja az empirikus tudományok, kivált a modern fizikai elméletek ismeretelméleti és metafizikai alapjainak szigorú formális keretben történő vizsgálata. A kutatás olyan központi fogalmak tisztázását célozza, mint a determinizmus, a téridőbeli lokalitás illetve a valószínűség. Mindezen fogalmak a modern fizikai elméletek kulcsfogalmai, és így szigorú elemzésük az elméletek filozófiai interpretációjának elengedhetetlen feltétele. Pályázatunkban arra vállalkozunk, hogy matematikai-fizikai háttértudásunkat a filozófiai-konceptuális elemzés szolgálatába állítva külföldi folyóiratokban publikált számos cikkel alátámasztott nemzetközileg is számottevő kutatási programot hozzunk létre.

Mi a kutatás alapkérdése?
Ebben a részben írja le röviden, hogy mi a kutatás segítségével megválaszolni kívánt probléma, mi a kutatás kiinduló hipotézise, milyen kérdéseket válaszolnak meg a kísérletek.

A kutatás központi kérdései a következők:

1. Milyen formális definíciói lehetségesek a determinizmus fogalmának, milyen filozófiai tulajdonságok következnek az egyes definíciókból? Milyen
szerepet játszanak a különféle determinizmuskoncepciók az egyes fizikai elméleteinkben?
2. Hogyan függ össze a lokalitás és a kauzalitás fogalma a klasszikus és kvantumos lokális fizikai elméleteinkben? Mi egy lokálisan kauzális elmélet
helyes megfogalmazása?
3. Mik a bayesiánus episztemológia formális alapjai? Konkrétabban: milyen szerepet játszanak az objektív és szubjektív valószínűség koordinációját
szolgáló elvek, kivált Lewis híres "Principal Principle"-je?
4. Hogyan szállásolhatóak el a lokalitás, kauzalitás és determinizmus metafizikai fogalmai az általános relatvitáselmélet téridő-képében? Mi a
téridő pontos metafizikai és ismeretelméleti státusza az általános relativitáselméletben?

Mi a kutatás jelentősége?
Röviden írja le, milyen új perspektívát nyitnak az alapkutatásban az elért eredmények, milyen társadalmi hasznosíthatóságnak teremtik meg a tudományos alapját. Mutassa be, hogy a megpályázott kutatási területen lévő hazai és a nemzetközi versenytársaihoz képest melyek az egyediségei és erősségei a pályázatának!

A modern fizika, jelesül a kvantumelmélet filozófiai alapjaival számos helyen foglalkoznak szerte a világban. A magyar iskola ezen nemzetközi kutatási hálón belül elsősorban a kvantumkorrelációk kauzális magyarázatának tanulmányozásában elért eredményei alapján számít világviszonylatban is kiemelkedőnek. A mostani kutatás azokat a tapasztalatokat kívánja kamatoztatni egy az előző kutatásokkal határos, attól mégis eltérő területen, amely tapasztalatokra az elmúlt tizenöt év során tettünk szert. A három természettudományos háttérrel rendelkező fiatal, PhD körül járó, de már jelentős önálló eredményeket felmutató kutató bevonása ebbe a nemzetközileg is elismert kutatási projektbe várhatóan a kutatás kiszélesítését és további nemzetközi elismerést eredményez.

A kutatás összefoglalója, célkitűzései laikusok számára
Ebben a fejezetben írja le a kutatás fő célkitűzéseit alapműveltséggel rendelkező laikusok számára. Ez az összefoglaló a döntéshozók, a média, illetve az érdeklődők tájékoztatása szempontjából különösen fontos az NKFI Hivatal számára.

A modern fizika filozófiai kérdései a tudományfilozófia talán legizgalmasabb kérdései. Determinizmus uralkodik-e a természetben? Érvényes-e az okság elve a modern kvantumelméletben? Lokalizálhatók-e a fizikai történések a téridőben? Milyen értelmezései lehetségesek a valószínűségnek? Kutatási programunkban ezekre az ismeretelméleti és metafizikai kérdésekre keressük a választ egy formálisan is szigorú filozófiai gondolkodásmód keretein belül.
Summary
Summary of the research and its aims for experts
Describe the major aims of the research for experts.

From many aspects, our research plan is a straightforward continuation and extension of the research summarized in the monograph The Principle of the Common Cause, written by the current project's Principal Investigator together with László E. Szabó and Miklós Rédei, published in 2013 with the
Cambridge University Press. This research project aims at analyzing the metaphysical and epistemological foundations of empirical sciences and, in
particular, modern physics in a rigorous formal approach. Our research focuses on clarifying such fundamental concepts as determinism, locality in
spacetime, and probability. As the mentioned concepts are key in modern physical theories, formal investigations of such concepts are indispensable
regarding the philosophical interpretation of these theories. By employing our background in formal sciences in philosophical-conceptual analysis, we
plan to undertake an internationally recognized research program supported with several peer-reviewed papers in top international journals.

What is the major research question?
Describe here briefly the problem to be solved by the research, the starting hypothesis, and the questions addressed by the experiments.

The research project focuses on the following main issues:

1. What formal definitions of the notion of determinism can be given and what are the philosophical consequences of such definitions? What role do the various concepts of determinism play in our physical theories?

2. How do the notions of locality and causality relate to each other in classical and quantum local physical theories? What are the sound definitions of a locally causal physical theory?

3. What are the formal basics of a Bayesian epistemology. More precisely, what role does Lewis' Principal Principle play in regulating subjective and
objective probabilities?

4. How can the metaphysical notions of locality, causality and determinism be accommodated in the spaciotemporal picture of general relativity? What
is the metaphysical and epistemological status of spacetime in general relativity?

What is the significance of the research?
Describe the new perspectives opened by the results achieved, including the scientific basics of potential societal applications. Please describe the unique strengths of your proposal in comparison to your domestic and international competitors in the given field.

Philosophical foundations of modern physics and, in particular, of quantum theory attract the interest of scholars from all over the world. In this international environment the so-called Hungarian school is much recognized for its results achieved in investigating causal explanations of quantum correlations. The present research project will enormously benefit from all those experiences and methods that were developed in similar -- though different -- former research projects during the last fifteen years. All the three young researchers have a background in physics or mathematics
and have significant contributions to our former research. The opportunity for the three young researchers to take part in the present research would
result in the extension of the research program to a wider range of problems leading to further international recognition.

Summary and aims of the research for the public
Describe here the major aims of the research for an audience with average background information. This summary is especially important for NRDI Office in order to inform decision-makers, media, and others.

The philosophical understanding of the foundations of modern physics is one of the most thrilling research areas in today's philosophy of science. Does Nature follow deterministic laws? Is the principle of causality valid in quantum theory? Can physical events be localized in spacetime? What
interpretations of probability are possible? How our most fundamental philosophical concepts such as causality, determinism, probability or
locality mesh with our most fundamental scientific theories? Our research project aims at analyzing such epistemological and metaphysical questions
in rigorous and formal approach.





 

Final report

 
Results in Hungarian
(a) A kvantumtérelméletekben megőrizhető a lokalitás fogalma a klasszikalitás feladása árán; a lokális kauzalitás a Bayes-hálók elméletéből ismert d-szeparáció fogalmával analóg; az Einstein-féle realitáskritérium a Közös ok elv speciális esete; a valószínűségnek megadható egy új kauzális interpretációja; a Kochen-Specker-argumentumok csak szimultán mérések esetében konkluzívak. (b) A kauzalitás makroszkopikus fogalma visszavezethető a dinamika mikroszkopikus fogalmára; ez megoldja a kauzalitás számos konceptuális problémáját. (c) A természettörvények természetének és a fizikai lehetőség fogalmának megfelelő választásával a determinizmus helyreállítható. (d) Szemantikailag definiálható modális logikák egy olyan hierarchiája, mely a bayesianus hit-újraértékelések logikáját írja le; ezek a logikák nem axiomatizálhatók végesen; ami azt mutatja, hogy a hit-újraértékelések axiomatikus megközelítése erősen limitált. (e) Definiálható a mezőszerű objektumok perzisztenciája a téridőn; megmutatható a téridőbeli események korreláció és kauzalitás fogalmának alapvető cirkularitása; fizikalista-formalista szempontból leírható az általános relativitáselmélet diffeomorfizmus-invarianciája. A projekt során 12 workshopot szerveztünk, 167 javarészt nemzetközi előadást tartottunk és 54 publikációnk jelent meg (köztük 1 könyv és 1 szerkesztett kötet), leginkább top-kategóriás nemzetközi folyóiratokban. A részletekről ld. a csoport honlapját: http://phil.elte.hu/bpgroup/index.html.
Results in English
(a) Locality can be preserved in quantum field theories if classicality is abandoned; local causality is an analogous concept to d-separation in the theory of Bayesian nets; Einstein's reality concept is a special case of the Common cause principle; a causal interpretation of probability can be developed; the Kochen-Specker arguments are conclusive only in case of simultaneous measurements. (b) Causality is a macroscopic concept which can be reduced to the concept of dynamics; this solves many of the philosophical problems of causality. (c) Determinism can be restored by appropriate choice of accounts of laws of nature and of physical possibility. (d) A hierarchy of modal logics can be defined that captures the logical features of Bayesian belief revision; such modal logics are not finitely axiomatizable indicating that the axiomatic approaches to belief revision might be severely limited. (e) Persistence of field-like physical objects over spacetime can be developed; fundamental circularity concerning the notions of correlation and causation of distant events in spacetime is formulated; the problem of diffeomorphism invariance in general relativity is analyzed in terms of physico-formalist account. During the project we organized 12 workshops, held 167 mainly international talks and have 54 publications (among them 1 book and 1 edited volume) mainly in top international journals. For the details, see: http://phil.elte.hu/bpgroup/index.html.
Full text https://www.otka-palyazat.hu/download.php?type=zarobeszamolo&projektid=115593
Decision
Yes





 

List of publications

 
Miklós Rédei: Wissenschaftstheoretische Eigenschaften der Wissenschaften in Musils ‘Mann ohne Eigenschaften’, In K. Kokai, editor, Robert Musil und die Modernen Wissenschaften, Wechselwirkungen. Peter Lang, NoPress, Wien, December, pp. 12-25., 2019
László E. Szabó: Intrinsic, extrinsic, and the constitutive a priori, Foundations of Physics 50, 555–567, 2020
László E. Szabó: A végtelen idóluma, Magyart Tudomány, (forthcoming), 2020
Gábor Hofer-Szabó: Quantum mechanics as a representation of classical conditional probabilities, Journal of Mathematical Physics, 60, 062106, 2019
Péter Fazekas, B.alázs Gyenis, Gábor Hofer-Szabó, and Gergely Kertész: A dynamical systems approach to causation, Erkenntnis (forthcoming), 2020
Márton Gömöri: On the Very Idea of Distant Correlations, Foundations of Physics 50, 530–554, 2020
A. Banerjee, Z. Gyenis: , Chromatic number of the product of graphs, graph homomorphisms, antichains and cofinal subsets of posets without AC, Commentationes Math. Univ. Carolinae (accepted), 2020
Balázs Gyenis: Determinism, physical possibility, and laws of nature, Foundations of Physics 50, 568-581, 2020
M. Rédei: On the tension between physics and mathematics, Journal of General Philosophy of Science, online first Februar 4, 2020
M. Rédei and C. Hitchcock: The Common Cause Principle, Stanford Encyclopedia of Philosophy entry, published online January 13, 2020
Gábor Hofer-Szabó: On the three types of Bell's inequality, Orly Shenker, Meir Hemmo (eds.) Quantum, Probability, Logic: The Work and Infuence of Itamar Pitowsky, Berlin: Springer, 353-374., 2020
Gábor Hofer-Szabó: Hofer-Szabó G., Commutativity, comeasurability, and contextuality in the Kochen-Specker arguments, Philosophy of Science (forthcoming), 2020
László E. Szabó: A végtelen idóluma, Magyart Tudomány, 181(2020)11, 1509–1522., 2020
Hofer-Szabó Gábor: Three noncontextual hidden variable models for the Peres-Mermin square,, European Journal for the Philosophy of Science, (forthcoming)., 2020
Márton Gömöri and László E. Szabó: "Formal statement of the special principle of relativity,”, Synthese, 192, 2053–2076, 2015
Zalán Gyenis and Miklós Rédei: "Defusing Bertrand’s paradox,”, The British Journal for the Philosophy of Science, 66(2), 349–373, 2015
Gábor Hofer-Szabó,: "Relating Bell's local causality to the Causal Markov Condition,", Foundations of Physics. 45(9), 1110-1136, 2015
Zalán Gyenis and Miklós Rédei,: "Why Bertrand’s paradox is not paradoxical but is felt so,”, in U. Mäki, ‎I. Votsis, ‎S. Ruphy, G. Schurz (eds.), Recent Developments in the Philosophy of Science: EPSA13 Helsinki, Springer Verlag, 265–276, 2015
Gábor Hofer-Szabó,: "Local causality and complete specification: a reply to Seevinck and Uffink,", in U. Mäki, ‎I. Votsis, ‎S. Ruphy, G. Schurz (eds.), Recent Developments in the Philosophy of Science: EPSA13 Helsinki, Springer Verlag, 209-226, 2015
Gábor Hofer-Szabó and Péter Vecsernyés,: "On the concept of Bell's local causality in local classical and quantum theory,", Journal of Mathematical Physics, 56, 032303, 2015
Gábor Hofer-Szabó,: "On the relation between the probabilistic characterization of the common cause and Bell's notion of local causality,", Studies in the History and Philosophy of Modern Physics, 49, 32-41, 2015
Yuichiro Kitajima and Miklós Rédei,: "Characterizing common cause closedness of quantum probability theories,", Studies in History and Philosophy of Modern Physics, 52, 234, 2015
Zalán Gyenis and Miklós Rédei,: "Measure theoretic analysis of consistency of fhe Principal Principle,”, Philosophy of Science, (elfogadva, megjelenés alatt), 2016
Zalán Gyenis, Gábor Hofer-Szabó and Miklós Rédei,: "Conditioning using conditional expectation: the Borel-Kolmogorov paradox,", Synthese, (elfogadva, megjelenés alatt), 2016
Gábor Hofer-Szabó,: "Bell's local causality is a d-separation criterion,", Springer Proceedings in Mathematics and Statistics, (elfogadva, megjelenés alatt), 2016
Gábor Hofer-Szabó and Péter Vecsernyés,: "A generalized definition of Bell's local causality,", Synthese, (elfogadva, megjelenés alatt), 2016
Gábor Hofer-Szabó,: "How human and nature shake hands: the role of no-conspiracy in physical theories,", Studies in History and Philosophy of Modern Physics, (elfogadva, megjelenés alatt), 2016
Zalán Gyenis and Miklós Rédei,: "Measure theoretic analysis of consistency of fhe Principal Principle,”, Philosophy of Science, 83, 972-987, 2016
Zalán Gyenis, Gábor Hofer-Szabó and Miklós Rédei,: "Conditioning using conditional expectation: the Borel-Kolmogorov paradox,", Synthese, 194(7), 2595-2630, 2017
Gábor Hofer-Szabó,: "Bell's local causality is a d-separation criterion,", Reality and Measurement in Algebraic Quantum Theory. Springer Proceedings in Mathematics and Statistics, Springer, forthcoming., 2018
Gábor Hofer-Szabó and Péter Vecsernyés,: "A generalized definition of Bell's local causality,", Synthese, 193(10), 3195–3207, 2016
Gábor Hofer-Szabó,: "How human and nature shake hands: the role of no-conspiracy in physical theories,", Studies in History and Philosophy of Modern Physics, 57, 89-97, 2017
Márton Gömöri and Tomasz Placek: Small probability space formulation of Bell's theorem, Gábor Hofer-Szabó and Leszek Wronski (eds.) Making it Formally Explicit -- Probability, Causality and Indeterminism, Springer, 2017
Márton Gömöri , Balázs Gyenis and Gábor Hofer-Szabó: How do macrostates come about?, Gábor Hofer-Szabó and Leszek Wronski (eds.) Making it Formally Explicit -- Probability, Causality and Indeterminism, Springer, 2017
Balázs Gyenis: Maxwell and the normal distribution: a colored story of probability, independence, and tendency toward equilibrium, Studies in History and Philosophy of Modern Physics, 57, 53-65, 2017
Balázs Gyenis: Ki magyarázta először az egyensúly felé törekvést?, Fizikai Szemle, 750, 190-192, 2017
Balázs Gyenis and Leszek Wronski: Is it the Principal Principle that implies the Principle of Indifference?, Gábor Hofer-Szabó and Leszek Wronski (eds.) Making it Formally Explicit -- Probability, Causality and Indeterminism, Springer, 2017
Zalán Gyenis and Miklós Rédei: A principled analysis of consistency of an Abstract Principal Principle, Gábor Hofer-Szabó and Leszek Wronski (eds.) Making it Formally Explicit -- Probability, Causality and Indeterminism, Springer, 2017
Zalán Gyenis and Miklós Rédei: Categorial subsystem independence as morphism co-possibility, Communications in Mathematical Physics, Forthcoming, 2018
Zalán Gyenis and Miklós Rédei: General properties of Bayesian learning as statistical inference determined by conditional expectations, Reviews of Symbolic Logic (forthcoming), 2018
Zalán Gyenis and Miklós Rédei: Common cause completability of non-classical probability spaces, Belgrade Philosophical Annual 29, 15-32, 2016
Gábor Hofer-Szabó: Three principles leading to the Bell inequalities, Belgrade Philosophical Annual, 29, 57-66, 2016
Gábor Hofer-Szabó and Leszek Wronski: Making it Formally Explicit -- Probability, Causality and Indeterminism, European Studies in the Philosophy of Science Series Vol. 6, Springer Verlag, 2017
Miklós Rédei: Categorial local quantum physics, Reality and Measurement in Algebraic Quantum Theory. Springer Proceedings in Mathematics and Statistics, Springer, 2018
László E. Szabó: Meaning, Truth, and Physics, Gábor Hofer-Szabó and Leszek Wronski (eds.) Making it Formally Explicit -- Probability, Causality and Indeterminism, Springer, 2017
Gábor Hofer-Szabó: A kvantummechanika és a huzat logikája, Magyar Tudomány, 44-47, 2017
Zalán Gyenis and Miklós Rédei: Categorial subsystem independence as morphism co-possibility, Communications in Mathematical Physics, 357, 447-465, 2018
Zalán Gyenis and Miklós Rédei: General properties of Bayesian learning as statistical inference determined by conditional expectations, Reviews of Symbolic Logic 10, 719-755, 2018
Márton Gömöri and László E. Szabó: On the Persistence of the Electromagnetic Field, Journal for General Philosophy of Science (forthcoming), 2018
Zalán Gyenis: On the modal logic of Jeffrey conditionalization, Logica Universalis (forthcoming), 2018
Zalán Gyenis: Algebraic characterization of the local Craig interpolation property, Bulletin of the Section of Logic, Vol. 47, No. 1, pp. 45--59, 2018
Zalán Gyenis: Skeleton in the Euclidean closet, Kálmán--Kornai 120 Festschrift", Beáta Gyuris, Katalin Mády, and Gábor Recski (eds.), Research Institute for Linguistics, 2017
Gábor Hofer-Szabó and Péter Vecsernyés: Quantum Theory and Local Causality, Dordrecht: Springer Brief, 2018
Gábor Hofer-Szabó: A kvantumelmélet nehéz öröksége, Különbség, 18/1, 81-87., 2018
Gábor Hofer-Szabó: Matematika, filozófia és megértés, Műhely, 5-6, 86-88., 2017
Gábor Hofer-Szabó: Julian Barbour időtlen világa, Veress Károly (ed.) Emlékezet és felejtés. Interdiszciplináris párbeszéd 5., Kolozsvár, Egyetemi Műhely Kiadó, 11-24., 2017
Gábor Hofer-Szabó,: "Bell's local causality is a d-separation criterion,", Ozawa, M., Butterfield, J., Halvorson, H., Rédei, M., Kitajima, Y., Buscemi, F. (eds.) Reality and Measurement in Algebraic Quantum Field theory, Springer Proceedings i, 2018
Zalán Gyenis: On the modal logic of Jeffrey conditionalization, Logica Universalis 12, Issue 3–4, 351–374, 2018
Miklós Rédei: Parallels and divergencies: Gödel and von Neumann, Magyar Filozófiai Szemle, 62(4):168–181,2018, 2018
Miklós Rédei: Wissenschaftstheoretische Eigenschaften der Wissenschaften in Musils ‘Mann ohne Eigenschaften’, In K. Kokai, editor, Robert Musil und die Modernen Wissenschaften, Wechsel- wirkungen. Peter Lang, Wien, 2019. (forthcoming)., 2019
Zalán Gyenis and Mikós Rédei: "Having a look at the Bayes Blind Spot", Synthese (forthcoming), 2019
William Brown, Zalán Gyenis, Miklós Rédei: The modal logic of Bayesian belief revision, Online first, Journal of Philosophical Logic, 2018, 2018
Zalán Gyenis: Standard Bayes logic is not finitely axiomatizable, Online first, Reviews of Symbolic Logic, 2019, 2019
Zalán Gyenis: Czy piraci powodują globalne ocieplenie?, Filozofuj! 2019:3(27)., 2019
Márton Gömöri and László E. Szabó: On the Persistence of the Electromagnetic Field, Journal for General Philosophy of Science, 50(1), 43-61., 2019
Márton Gömöri: Valószínűség, véletlen és a közösok-elv, Magyar Filozófiai Szemle, 62(2), 6, 2018
László E. Szabó: Intrinsic, extrinsic, and the constitutive a priori, Foundations of Physics DOI: 10.1007/s10701-019-00281-z (Open Access: https://rdcu.be/bKxdO), 2019
László E. Szabó: A végtelen idóluma, Magyart Tudomány, (forthcoming), 2019
Gábor Hofer-Szabó: Quantum mechanics as a representation of classical conditional probabilities, Journal of Mathematical Physics (forthcoming), 2019
Péter Fazekas, B.alázs Gyenis, Gábor Hofer-Szabó, and Gergely Kertész: A dynamical systems approach to causation, Erkenntnis (forthcoming), 2019




Back »