logic geometry and probability theory
play

Logic, Geometry And Probability Theory Federico Holik 1 1-Center Leo - PowerPoint PPT Presentation

Jan 16, 2024 •199 likes •1.09k views

Logic, Geometry And Probability Theory Federico Holik 1 1-Center Leo Apostel for Interdisciplinary Studies and, Department of Mathematics, Brussels Free University Krijgskundestraat 33, 1160 Brussels, Belgium Whither Quantum Structures In The

  1. Logic, Geometry And Probability Theory Federico Holik 1 1-Center Leo Apostel for Interdisciplinary Studies and, Department of Mathematics, Brussels Free University Krijgskundestraat 33, 1160 Brussels, Belgium Whither Quantum Structures In The 21th Century? Brussels - 2013 Logic, geometry and probability theory Federico Holik: olentiev2@gmail.com

  2. Abstract General Framework Quantum probabilities General Scheme Compound quantum systems Conclusions Outline Abstract General Framework Boolean algebra Quantum probabilities Kolmogorov R. T. Cox Quantum Probabilities The von Neumann program General Scheme General Method Compound quantum systems Conclusions Logic, geometry and probability theory Federico Holik: olentiev2@gmail.com

  3. Abstract General Framework Quantum probabilities General Scheme Compound quantum systems Conclusions Outline Abstract General Framework Boolean algebra Quantum probabilities Kolmogorov R. T. Cox Quantum Probabilities The von Neumann program General Scheme General Method Compound quantum systems Conclusions Logic, geometry and probability theory Federico Holik: olentiev2@gmail.com

  4. Abstract General Framework Quantum probabilities General Scheme Compound quantum systems Conclusions Abstract ◮ We study the origin of quantum probabilities as arising from non-boolean propositional-operational structures and deduce non-kolmogorvian probability measures of quantum mechanics. ◮ We discuss some problems posed by von Neumann regarding the development of a quantum probability theory. ◮ We present an alternative perspective to the problem of compound quantum systems. Logic, geometry and probability theory Federico Holik: olentiev2@gmail.com

  5. Abstract General Framework Quantum probabilities General Scheme Compound quantum systems Conclusions Abstract ◮ We study the origin of quantum probabilities as arising from non-boolean propositional-operational structures and deduce non-kolmogorvian probability measures of quantum mechanics. ◮ We discuss some problems posed by von Neumann regarding the development of a quantum probability theory. ◮ We present an alternative perspective to the problem of compound quantum systems. Logic, geometry and probability theory Federico Holik: olentiev2@gmail.com

  6. Abstract General Framework Quantum probabilities General Scheme Compound quantum systems Conclusions Abstract ◮ We study the origin of quantum probabilities as arising from non-boolean propositional-operational structures and deduce non-kolmogorvian probability measures of quantum mechanics. ◮ We discuss some problems posed by von Neumann regarding the development of a quantum probability theory. ◮ We present an alternative perspective to the problem of compound quantum systems. Logic, geometry and probability theory Federico Holik: olentiev2@gmail.com

  7. Abstract General Framework Quantum probabilities General Scheme Compound quantum systems Conclusions Outline Abstract General Framework Boolean algebra Quantum probabilities Kolmogorov R. T. Cox Quantum Probabilities The von Neumann program General Scheme General Method Compound quantum systems Conclusions Logic, geometry and probability theory Federico Holik: olentiev2@gmail.com

  8. Abstract General Framework Quantum probabilities General Scheme Compound quantum systems Conclusions Regularities Given a physical theory: ◮ We concentrate on events or states of affairs . Given a certain state of affairs, we ask for how likely is that another state of affairs occurs. How can we measure this? ◮ How are events of a given theory structured? Are they structured in some way? Is there a link between the event structure and probability theory? ◮ The existence of well defined events is a necessary condition in order to have a scientific theory. This is independent of the position that we adopt, realism, empiricism, etc. Logic, geometry and probability theory Federico Holik: olentiev2@gmail.com

  9. Abstract General Framework Quantum probabilities General Scheme Compound quantum systems Conclusions Regularities Given a physical theory: ◮ We concentrate on events or states of affairs . Given a certain state of affairs, we ask for how likely is that another state of affairs occurs. How can we measure this? ◮ How are events of a given theory structured? Are they structured in some way? Is there a link between the event structure and probability theory? ◮ The existence of well defined events is a necessary condition in order to have a scientific theory. This is independent of the position that we adopt, realism, empiricism, etc. Logic, geometry and probability theory Federico Holik: olentiev2@gmail.com

  10. Abstract General Framework Quantum probabilities General Scheme Compound quantum systems Conclusions Regularities Given a physical theory: ◮ We concentrate on events or states of affairs . Given a certain state of affairs, we ask for how likely is that another state of affairs occurs. How can we measure this? ◮ How are events of a given theory structured? Are they structured in some way? Is there a link between the event structure and probability theory? ◮ The existence of well defined events is a necessary condition in order to have a scientific theory. This is independent of the position that we adopt, realism, empiricism, etc. Logic, geometry and probability theory Federico Holik: olentiev2@gmail.com

  11. Abstract General Framework Quantum probabilities General Scheme Compound quantum systems Conclusions Different kinds of regularities Several possibilities: ◮ We can predict with absolute certainty (example: classical mechanics, determinism). Absolute regularity . ◮ We can only compute probabilities: given two equivalent preparations, we may have different effects, but with probabilities cogently defined (example: quantum mechanics). Statistical regularity . ◮ There is no regularity at all. Several reasons: ontological, impossibility of defining equivalent preparations, ect. Even in this case, we can (sometimes) define probabilities (but we will not discuss this here). Logic, geometry and probability theory Federico Holik: olentiev2@gmail.com

  12. Abstract General Framework Quantum probabilities General Scheme Compound quantum systems Conclusions Different kinds of regularities Several possibilities: ◮ We can predict with absolute certainty (example: classical mechanics, determinism). Absolute regularity . ◮ We can only compute probabilities: given two equivalent preparations, we may have different effects, but with probabilities cogently defined (example: quantum mechanics). Statistical regularity . ◮ There is no regularity at all. Several reasons: ontological, impossibility of defining equivalent preparations, ect. Even in this case, we can (sometimes) define probabilities (but we will not discuss this here). Logic, geometry and probability theory Federico Holik: olentiev2@gmail.com

  13. Abstract General Framework Quantum probabilities General Scheme Compound quantum systems Conclusions Different kinds of regularities Several possibilities: ◮ We can predict with absolute certainty (example: classical mechanics, determinism). Absolute regularity . ◮ We can only compute probabilities: given two equivalent preparations, we may have different effects, but with probabilities cogently defined (example: quantum mechanics). Statistical regularity . ◮ There is no regularity at all. Several reasons: ontological, impossibility of defining equivalent preparations, ect. Even in this case, we can (sometimes) define probabilities (but we will not discuss this here). Logic, geometry and probability theory Federico Holik: olentiev2@gmail.com

  14. Abstract General Framework Quantum probabilities General Scheme Compound quantum systems Conclusions Events in the QL approach von Neumann: “And one also has the parallelism that logics corresponds to set theory and probability theory corresponds to measure theory and that a given system of logics, so given a system of sets, if all is right, you can introduce measures, you can introduce probability and you can always do it in very many different ways.”(vN-Amsterdam Talk) Logic, geometry and probability theory Federico Holik: olentiev2@gmail.com

  15. Abstract General Framework Quantum probabilities General Scheme Compound quantum systems Conclusions In this way, the connection between Logic, Set Theory, and Probability Theory is clear. What does this means? The definition of Cantor of a set reads: “A set is a gathering together into a whole of definite, distinct objects of our perception [Anschauung] or of our thought —which are called elements of the set.” (Cantor) Logic, geometry and probability theory Federico Holik: olentiev2@gmail.com

  16. Abstract General Framework Quantum probabilities General Scheme Compound quantum systems Conclusions Events in the QL approach Propositional systems: ◮ Operational questions in CM correspond to subsets of phase space . ◮ Operational questions in QM correspond to subspaces (projections) in a Hilbert space . Logic, geometry and probability theory Federico Holik: olentiev2@gmail.com

  17. Abstract General Framework Quantum probabilities General Scheme Compound quantum systems Conclusions Events in the QL approach Propositional systems: ◮ Operational questions in CM correspond to subsets of phase space . ◮ Operational questions in QM correspond to subspaces (projections) in a Hilbert space . Logic, geometry and probability theory Federico Holik: olentiev2@gmail.com

Recommend

Probability Theory as Extended Logic: Probability Theory as Extended Logic: Applications to motif

Probability Theory as Extended Logic: Probability Theory as Extended Logic: Applications to motif

Probability Theory as Extended Logic: Probability Theory as Extended Logic: Applications to motif finding and clustering Applications to motif finding and clustering Ab initio motif finding: regular expressions, MEME, Gibbs-Sampling.

504 views • 48 slides
From AI to ML, from Logic to Probability 2018 Workshop on Finance, Insurance, Probability and

From AI to ML, from Logic to Probability 2018 Workshop on Finance, Insurance, Probability and

AI Scruffy Logic ML Probability BM Domains Connection Further Q&A From AI to ML, from Logic to Probability 2018 Workshop on Finance, Insurance, Probability and Statistics (FIPS 2018) Kings College, London, UK Dr. Paul A. Bilokon

1.83k views • 119 slides
Probability Theory as Extended Logic: Probability Theory as Extended Logic: A short introduction

Probability Theory as Extended Logic: Probability Theory as Extended Logic: A short introduction

Probability Theory as Extended Logic: Probability Theory as Extended Logic: A short introduction into quantitative reasoning with A short introduction into quantitative reasoning with incomplete information incomplete information

698 views • 42 slides
Markov Logic Markov Logic Probability First-Order Logic Propositional Logic Markov Logic

Markov Logic Markov Logic Probability First-Order Logic Propositional Logic Markov Logic

Putting the Pieces Together Markov Logic Markov Logic Probability First-Order Logic Propositional Logic Markov Logic Definition A Markov Logic Network (MLN) is a set of A logical KB is a set of hard constraints pairs (F, w) where on

350 views • 6 slides
Chapter 2: Basics from Probability Theory and Statistics 2.1 Probability Theory Events,

Chapter 2: Basics from Probability Theory and Statistics 2.1 Probability Theory Events,

Chapter 2: Basics from Probability Theory and Statistics 2.1 Probability Theory Events, Probabilities, Random Variables, Distributions, Moments Generating Functions, Deviation Bounds, Limit Theorems Basics from Information Theory 2.2

353 views • 22 slides
CS 630 Basic Probability and Information Theory Tim Campbell 21 January 2003 Probability

CS 630 Basic Probability and Information Theory Tim Campbell 21 January 2003 Probability

CS 630 Basic Probability and Information Theory Tim Campbell 21 January 2003 Probability Theory Probability Theory is the study of how best to predict outcomes of events. An experiment (or trial or event) is a pro- cess by which

379 views • 22 slides
Chapter 3: Basics from Probability Theory and Statistics 3.1 Probability Theory Events,

Chapter 3: Basics from Probability Theory and Statistics 3.1 Probability Theory Events,

Chapter 3: Basics from Probability Theory and Statistics 3.1 Probability Theory Events, Probabilities, Bayes Theorem, Random Variables, Distributions, Moments, Tail Bounds, Central Limit Theorem, Entropy Measures 3.2 Statistical Inference

845 views • 45 slides
On Lukasiewicz Logic with constants and non-Diophantine geometry on MV algebras November 5,

On Lukasiewicz Logic with constants and non-Diophantine geometry on MV algebras November 5,

Naples Konstanz : Days , Model Theory 2013 On Lukasiewicz Logic with constants and non-Diophantine geometry on MV algebras November 5, 2013 This talk is based on a joint work with Peter L. Belluce and Giacomo Lenzi. The spirit of

1.6k views • 110 slides
Ramsey on Partial Belief Dan Hoek PHI 371 Foundations of Probability and Decision Theory

Ramsey on Partial Belief Dan Hoek PHI 371 Foundations of Probability and Decision Theory

Ramsey on Partial Belief Dan Hoek PHI 371 Foundations of Probability and Decision Theory Princeton March 2020 What is Probability? (What is the probability of confirmation theory) 1: The Frequency Theory Probability is Chance

720 views • 47 slides
Chapter II.2: Basic Probability Theory and Statistics 1. What is a probability? 1.1. Probability

Chapter II.2: Basic Probability Theory and Statistics 1. What is a probability? 1.1. Probability

Chapter II.2: Basic Probability Theory and Statistics 1. What is a probability? 1.1. Probability spaces, events, and random variables 2. Distributions 2.1. Discrete distributions 2.2. Continuous distributions 3. Moments, independence, and

355 views • 34 slides
Artificial Intelligence: Methods and Applications Lecture 6: Probability theory Henrik

Artificial Intelligence: Methods and Applications Lecture 6: Probability theory Henrik

Artificial Intelligence: Methods and Applications Lecture 6: Probability theory Henrik Bjrklund Ume University 4. December 2012 What is probability theory? Probability theory deals with mathematical models of random phenomena. We often

378 views • 16 slides
Recap of Basic Probability Elements of basic probability theory probability theory The

Recap of Basic Probability Elements of basic probability theory probability theory The

02407 Stochastic Processes Elements of basic probability theory Stochastic experiments Elements of basic Recap of Basic Probability Elements of basic probability theory probability theory The probability triple ( , F , P ) : Why

516 views • 10 slides
1 Cl Be Cl MOLECULAR GEOMETRY # of atoms # lone bonded to pairs on Arrangement of

1 Cl Be Cl MOLECULAR GEOMETRY # of atoms # lone bonded to pairs on Arrangement of

CHAPTER TEN CHEMICAL BONDING II: MOLECULAR GEOMETRY AND HYBRIDIZATION OF ATOMIC ORBITALS MOLECULAR GEOMETRY V S E P R VSEPR Theory In VSEPR theory, multiple bonds behave like a single electron pair MOLECULAR GEOMETRY Valence shell

422 views • 19 slides
Graphical Models Graphical Models Review of probability theory Review of probability theory

Graphical Models Graphical Models Review of probability theory Review of probability theory

Graphical Models Graphical Models Review of probability theory Review of probability theory Siamak Ravanbakhsh Winter 2018 Learning objectives Learning objectives Probability distribution and density functions Random variable Bayes' rule

988 views • 65 slides
G odel Logic: from Natural Deduction to Parallel Computation Federico Aschieri Agata

G odel Logic: from Natural Deduction to Parallel Computation Federico Aschieri Agata

G odel Logic: from Natural Deduction to Parallel Computation Federico Aschieri Agata Ciabattoni Francesco A. Genco Institute of Discrete Mathematics and Geometry Theory and Logic Group Theory and Logic Group TU Wien, Austria TU Wien,

246 views • 12 slides
CS786: Lecture 1 May 1st Basics: review of probability theory 1 CS 786 Lecture Slides (c)

CS786: Lecture 1 May 1st Basics: review of probability theory 1 CS 786 Lecture Slides (c)

CS786: Lecture 1 May 1st Basics: review of probability theory 1 CS 786 Lecture Slides (c) 2012 P. Poupart Theories to deal with uncertainty Dempster-Shafer theory Fuzzy set theory Possibility theory Probability theory

143 views • 10 slides
70: Discrete Math and Probability Theory Programming + Microprocessors Superpower! What are

70: Discrete Math and Probability Theory Programming + Microprocessors Superpower! What are

70: Discrete Math and Probability Theory Programming + Microprocessors Superpower! What are your super powerful programs/processors doing? Logic and Proofs! Induction Recursion. What can computers do? Work with discrete objects. Discrete

449 views • 23 slides
Probability Theory p ( E ) = p ( a 1 ) + p ( a 2 ) + ... + p ( a m ) 1 2 3 4 5 6 7 8 9 10 11 12 13

Probability Theory p ( E ) = p ( a 1 ) + p ( a 2 ) + ... + p ( a m ) 1 2 3 4 5 6 7 8 9 10 11 12 13

Probability Theory http://localhost/~senning/courses/ma229/slides/probability-theory/slide01.html Probability Theory http://localhost/~senning/courses/ma229/slides/probability-theory/slide02.html Probability Theory prev | slides | next prev |

327 views • 5 slides
Which probability Which probability Which probability Which probability theory for cosmology?

Which probability Which probability Which probability Which probability theory for cosmology?

Which probability Which probability Which probability Which probability theory for cosmology? theory for cosmology? theory for cosmology? theory for cosmology? From Bayes theorem to the anthropic principle From Bayes theorem to the

537 views • 35 slides
Statistical Reasoning Probability and Bayes' Theorem Certainty Factors and Rule- Based

Statistical Reasoning Probability and Bayes' Theorem Certainty Factors and Rule- Based

Statistical Reasoning Probability and Bayes' Theorem Certainty Factors and Rule- Based Systems Bayesian Networks Dempster-Shafer Theory Fuzzy Logic Chapter 8 1 Probability and Bayes' Theorem P(H i|E) = the probability that

281 views • 13 slides
Lecture 1 : The Mathematical Theory of Probability 0/ 30 1. Introduction Today we will do 2.1

Lecture 1 : The Mathematical Theory of Probability 0/ 30 1. Introduction Today we will do 2.1

Lecture 1 : The Mathematical Theory of Probability 0/ 30 1. Introduction Today we will do 2.1 and 2.2. We will skip Chapter 1. We all have an intuitive notion of probability. Lets see. What is the probability P of tossing two heads in a

428 views • 31 slides
3. Discrete Probability CSE 312 Winter 2017 W.L. Ruzzo 2 Probability theory: an

3. Discrete Probability CSE 312 Winter 2017 W.L. Ruzzo 2 Probability theory: an

3. Discrete Probability CSE 312 Winter 2017 W.L. Ruzzo 2 Probability theory: an aberration of the intellect and ignorance coined into science John Stuart Mill 3 sample spaces Sample space: S is a set of all potential

669 views • 42 slides
Unifying Logic, Dynamics and Probability: Founda9ons, Algorithms and Challenges Vaishak Belle

Unifying Logic, Dynamics and Probability: Founda9ons, Algorithms and Challenges Vaishak Belle

Unifying Logic, Dynamics and Probability: Founda9ons, Algorithms and Challenges Vaishak Belle University of Edinburgh 1 About this tutorial pages.vaishakbelle.com/logprob On unifying logic and probability Slides online at end of

639 views • 45 slides
Review of Probability 1 Probability Theory: Many techniques in speech processing require the

Review of Probability 1 Probability Theory: Many techniques in speech processing require the

Review of Probability 1 Probability Theory: Many techniques in speech processing require the manipulation of probabilities and statistics. The two principal application areas we will encounter are: Statistical pattern recognition.

859 views • 39 slides

More recommend