SlideShare ist ein Scribd-Unternehmen logo
1 von 12
Downloaden Sie, um offline zu lesen
Comparing degrees of truth 
Lessons from utility theory 
Rossella Marrano 
Scuola Normale Superiore 
Joint work with Hykel Hosni 
Rome, 19 June 2014 
Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 1 / 12
Motivation 
Degrees of truth as real numbers 
We shall assume that the truth degrees are linearly ordered, with 1 
as maximum and 0 as minimum. Thus truth degrees will be coded 
by (some) reals. And even if logics of finitely many truth degrees 
can be developed we choose not to exclude any real number from the 
set of truth degrees. We shall always take the set [0; 1] with its 
natural (standard) linear order. (Petr Hájek, Metamathematics of 
Fuzzy Logic, 1998) 
Artificial precision 
I arbitrariness of the choice 
how can we justify the choice of the truth value 0.24 over 0.23? 
I implausibility of the interpretation 
what does it mean for a sentence to be 1= true? 
Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 2 / 12
Lessons from utility theory 
Bisogna trovare il modo di sottoporre i gusti degli uomini al calcolo. 
Perciò si ebbe l’idea di dedurli dal piacere che certe cose fanno 
provare all’uomo. Se una cosa soddisfa bisogni o desideri dell’uomo 
si disse che aveva un valore d’uso, un’utilità. (Pareto) 
Our proposal 
Bringing key concepts of utility theory to bear on the analysis of truth 
1. ordinal – cardinal 
2. certainty – risk – uncertainty 
3. preferences – choice 
Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 3 / 12
Ordinal foundations 
Jeremy Bentham (1748-1832) 
I The amount of pleasure or pain 
caused by a certain good is 
measurable 
I Agents have utils in their heads 
Vilfredo Pareto (1848-1923) 
I Agents can only tell between two 
goods which one they prefer 
I Utility has an ordinal meaning 
Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 4 / 12
Representation theorems 
I comparative judgments: 
preferences or indifference 
I pairwise evaluation 
I   X2 
I numerical analysis: utility 
function 
I point-wise evaluation 
I u: X ! R 
Representation theorems 
If  satisfies certain conditions then there exists u such that for all x; y 2 X 
x  y () u(x)  u(y): 
[von Neumann  Morgenstern (1947), Savage (1954), Debreu (1954)] 
I ‘behavioural’ foundation of measurement 
Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 5 / 12
Back to truth 
Graded notions: 
I interest in a numerical analysis (quantitative) 
I comparative judgements (qualitative) are more plausible 
I representation theorems 
Qualitative or ordinal 
I ‘more or less true’ 
I ranking alternatives 
Quantitative or cardinal 
I ‘degrees of truth’ 
I numerical evaluation 
Problem 
Lay down sufficient conditions for the relation ‘more or less true’ to be 
represented by a real-valued valuation 
Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 6 / 12
Formally: the case of Łukasiewicz infinite-valued logic 
Language 
I L = fp1; p2; : : : g 
I :, _ 
I SL 
I ?; 
I ` 
Łukasiewicz valuation functions 
v : SL ! [0; 1] 
1. v(?) = 0. 
2. v(:) = 1  v() 
3. v( _ ) = minf1; v() + v()g 
Ordinal valuations (‘no less true than’) 
  SL  SL 
Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 7 / 12
Representation theorem for truth1 
(T.1)   SL2 is complete and transitive 
(T.2)   ,   ? 
(T.3) `Ł  =)    
(T.4) 1  2; 1  2 =) 1 _ 1  2 _ 2 
(T.5)    =) :  : 
Theorem 
If  satisfies axioms (T.1)–(T.5) then there exists a unique Łukasiewicz 
valuation v : SL ! [0; 1] such that for all ;  2 SL: 
   =) v()  v(): 
1Ongoing work with H. Hosni and V.Marra 
Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 8 / 12
Philosophical implications 
Generalizations 
I other fuzzy logics 
I many-valued logics 
I classical logic 
Feedback 
I real-valued valuation functions arise from certain comparisons between 
degrees of truth of sentences 
I natural appeal of the notion ‘no less true than’ 
I axioms as properties 
I independence from the mathematical apparatus 
Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 9 / 12
Further work 
1. Introducing uncertainty in the outcomes 
Certainty perfect information regarding the outcome 
Risk no perfect information, the probabilities are known 
Uncertainty no perfect information, unknown probabilities 
Expected degrees of truth 
EDT() = p(v)  v() 
   () EDT()  EDT() 
2. Choice-based approach 
Revealed preferences Let X6= ;, x; y 2 X and let C() be a choice 
function over X. 
x  y () x = C(fx; yg): 
Truth by choice (conventionalism) 
Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 10 / 12
Conclusion 
I Relating truth with utility theory 
1. ordinal – cardinal 
2. certainty – risk – uncertainty 
3. preferences – choice 
I Ordinal foundations for many-valued semantics 
I the case of Łukasiewicz real-valued logic 
I many-valued valuations can be proved to arise from 
truth-comparisons under certain conditions 
I Philosophical relevance 
I Methodological lessons 
I New answers to old questions 
I New questions! 
Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 11 / 12
References 
Roberto L. O. Cignoli, Italia M. L. D’Ottaviano and Daniele Mundici. 
Algebraic foundations of many-valued reasoning, 
Trends in Logic – Studia Logica Library, Kluwer Academic Publishers, 2000. 
Petr Hájek. 
Metamathematics of Fuzzy Logic, 
Kluwer Academic Publishers, 1998. 
J. von Neumann,  O. Morgenstern. 
The Theory of Games and Economic Behavior (2nd ed). 
Princeton: Princeton University Press, 1947 
L. J. Savage 
The Foundations of Statistics. 
Wiley, 1954. 
George J. Stigler. 
The Development of Utility Theory. I 
The Journal of Political Economy, Vol. 58, No. 4. (Aug., 1950), pp. 307-327. 
George J. Stigler. 
The Development of Utility Theory. II 
The Journal of Political Economy, Vol. 58, No. 5. (Oct., 1950), pp. 373-396. 
Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 12 / 12

Weitere ähnliche Inhalte

Was ist angesagt?

29 15021 variational final version khalid hammood(edit)
29 15021 variational final version khalid hammood(edit)29 15021 variational final version khalid hammood(edit)
29 15021 variational final version khalid hammood(edit)nooriasukmaningtyas
 
Ebook mst209 block2_e1i1_n9780749252823_l1 (1)
Ebook mst209 block2_e1i1_n9780749252823_l1 (1)Ebook mst209 block2_e1i1_n9780749252823_l1 (1)
Ebook mst209 block2_e1i1_n9780749252823_l1 (1)Fred Stanworth
 
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...mathsjournal
 
DIGITAL TEXT BOOK
DIGITAL TEXT BOOKDIGITAL TEXT BOOK
DIGITAL TEXT BOOKbintu55
 
11.solution of a subclass of lane emden differential equation by variational ...
11.solution of a subclass of lane emden differential equation by variational ...11.solution of a subclass of lane emden differential equation by variational ...
11.solution of a subclass of lane emden differential equation by variational ...Alexander Decker
 
Solution of a subclass of lane emden differential equation by variational ite...
Solution of a subclass of lane emden differential equation by variational ite...Solution of a subclass of lane emden differential equation by variational ite...
Solution of a subclass of lane emden differential equation by variational ite...Alexander Decker
 
Mathematical modelling
Mathematical modellingMathematical modelling
Mathematical modellingNandiniNandus
 
New algorithm for solving mixed intuitionistic fuzzy assignment problem
New algorithm for solving mixed intuitionistic fuzzy assignment problem New algorithm for solving mixed intuitionistic fuzzy assignment problem
New algorithm for solving mixed intuitionistic fuzzy assignment problem Navodaya Institute of Technology
 
Spurious correlation (updated)
Spurious correlation (updated)Spurious correlation (updated)
Spurious correlation (updated)jemille6
 
Oscillation of Solutions to Neutral Delay and Advanced Difference Equations w...
Oscillation of Solutions to Neutral Delay and Advanced Difference Equations w...Oscillation of Solutions to Neutral Delay and Advanced Difference Equations w...
Oscillation of Solutions to Neutral Delay and Advanced Difference Equations w...inventionjournals
 
Oscillation of Solutions to Neutral Delay and Advanced Difference Equations w...
Oscillation of Solutions to Neutral Delay and Advanced Difference Equations w...Oscillation of Solutions to Neutral Delay and Advanced Difference Equations w...
Oscillation of Solutions to Neutral Delay and Advanced Difference Equations w...inventionjournals
 
Mathematical Modeling for Practical Problems
Mathematical Modeling for Practical ProblemsMathematical Modeling for Practical Problems
Mathematical Modeling for Practical ProblemsLiwei Ren任力偉
 
Mathematical modelling
Mathematical modellingMathematical modelling
Mathematical modellingSadia Zareen
 

Was ist angesagt? (16)

29 15021 variational final version khalid hammood(edit)
29 15021 variational final version khalid hammood(edit)29 15021 variational final version khalid hammood(edit)
29 15021 variational final version khalid hammood(edit)
 
Ebook mst209 block2_e1i1_n9780749252823_l1 (1)
Ebook mst209 block2_e1i1_n9780749252823_l1 (1)Ebook mst209 block2_e1i1_n9780749252823_l1 (1)
Ebook mst209 block2_e1i1_n9780749252823_l1 (1)
 
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...
 
DIGITAL TEXT BOOK
DIGITAL TEXT BOOKDIGITAL TEXT BOOK
DIGITAL TEXT BOOK
 
11.solution of a subclass of lane emden differential equation by variational ...
11.solution of a subclass of lane emden differential equation by variational ...11.solution of a subclass of lane emden differential equation by variational ...
11.solution of a subclass of lane emden differential equation by variational ...
 
Solution of a subclass of lane emden differential equation by variational ite...
Solution of a subclass of lane emden differential equation by variational ite...Solution of a subclass of lane emden differential equation by variational ite...
Solution of a subclass of lane emden differential equation by variational ite...
 
Mathematical modelling
Mathematical modellingMathematical modelling
Mathematical modelling
 
New algorithm for solving mixed intuitionistic fuzzy assignment problem
New algorithm for solving mixed intuitionistic fuzzy assignment problem New algorithm for solving mixed intuitionistic fuzzy assignment problem
New algorithm for solving mixed intuitionistic fuzzy assignment problem
 
Spurious correlation (updated)
Spurious correlation (updated)Spurious correlation (updated)
Spurious correlation (updated)
 
9057263
90572639057263
9057263
 
Mathematical modeling
Mathematical modelingMathematical modeling
Mathematical modeling
 
Oscillation of Solutions to Neutral Delay and Advanced Difference Equations w...
Oscillation of Solutions to Neutral Delay and Advanced Difference Equations w...Oscillation of Solutions to Neutral Delay and Advanced Difference Equations w...
Oscillation of Solutions to Neutral Delay and Advanced Difference Equations w...
 
Oscillation of Solutions to Neutral Delay and Advanced Difference Equations w...
Oscillation of Solutions to Neutral Delay and Advanced Difference Equations w...Oscillation of Solutions to Neutral Delay and Advanced Difference Equations w...
Oscillation of Solutions to Neutral Delay and Advanced Difference Equations w...
 
Mathematical modelling ppt
Mathematical modelling pptMathematical modelling ppt
Mathematical modelling ppt
 
Mathematical Modeling for Practical Problems
Mathematical Modeling for Practical ProblemsMathematical Modeling for Practical Problems
Mathematical Modeling for Practical Problems
 
Mathematical modelling
Mathematical modellingMathematical modelling
Mathematical modelling
 

Andere mochten auch

Andere mochten auch (9)

RossellaMarrano_G&D2
RossellaMarrano_G&D2RossellaMarrano_G&D2
RossellaMarrano_G&D2
 
RossellaMarrano_WIPatMCMP
RossellaMarrano_WIPatMCMPRossellaMarrano_WIPatMCMP
RossellaMarrano_WIPatMCMP
 
RossellaMarrano_vagueness
RossellaMarrano_vaguenessRossellaMarrano_vagueness
RossellaMarrano_vagueness
 
RossellaMarrano_ PhDsinLogicVI
RossellaMarrano_ PhDsinLogicVIRossellaMarrano_ PhDsinLogicVI
RossellaMarrano_ PhDsinLogicVI
 
RossellaMarrano_SeminarioFirenze
RossellaMarrano_SeminarioFirenzeRossellaMarrano_SeminarioFirenze
RossellaMarrano_SeminarioFirenze
 
Games_and_Decisions
Games_and_DecisionsGames_and_Decisions
Games_and_Decisions
 
RossellaMarrano_LATD2014
RossellaMarrano_LATD2014RossellaMarrano_LATD2014
RossellaMarrano_LATD2014
 
Reasoning_Club
Reasoning_ClubReasoning_Club
Reasoning_Club
 
RossellaMarrano_PoPIV
RossellaMarrano_PoPIVRossellaMarrano_PoPIV
RossellaMarrano_PoPIV
 

Ähnlich wie Comparing Degrees of Truth: Lessons from Utility Theory

Chapter 1 Logic and ProofPropositional Logic SemanticsPropo.docx
Chapter 1 Logic and ProofPropositional Logic SemanticsPropo.docxChapter 1 Logic and ProofPropositional Logic SemanticsPropo.docx
Chapter 1 Logic and ProofPropositional Logic SemanticsPropo.docxcravennichole326
 
D. Mayo: Philosophy of Statistics & the Replication Crisis in Science
D. Mayo: Philosophy of Statistics & the Replication Crisis in ScienceD. Mayo: Philosophy of Statistics & the Replication Crisis in Science
D. Mayo: Philosophy of Statistics & the Replication Crisis in Sciencejemille6
 
Homotopic Foundations of the Theory of Computation
Homotopic Foundations of the Theory of ComputationHomotopic Foundations of the Theory of Computation
Homotopic Foundations of the Theory of ComputationRuy De Queiroz
 
Quantum Models of Cognition and Decision
Quantum Models of Cognition and DecisionQuantum Models of Cognition and Decision
Quantum Models of Cognition and DecisionCatarina Moreira
 
Computational Paths and the Calculation of Fundamental Groups
 Computational Paths and the Calculation of Fundamental Groups Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental GroupsRuy De Queiroz
 
Long term investment strategies: Dollar cost averaging vs Lump sum investments
Long term investment strategies: Dollar cost averaging vs Lump sum investmentsLong term investment strategies: Dollar cost averaging vs Lump sum investments
Long term investment strategies: Dollar cost averaging vs Lump sum investmentsibercovich
 
Phil 6334 Mayo slides Day 1
Phil 6334 Mayo slides Day 1Phil 6334 Mayo slides Day 1
Phil 6334 Mayo slides Day 1jemille6
 
ders 5 hypothesis testing.pptx
ders 5 hypothesis testing.pptxders 5 hypothesis testing.pptx
ders 5 hypothesis testing.pptxErgin Akalpler
 
Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental GroupsComputational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental GroupsRuy De Queiroz
 
Dialectica Categories and Cardinalities of the Continuum (March2014)
Dialectica Categories and  Cardinalities of the Continuum (March2014)Dialectica Categories and  Cardinalities of the Continuum (March2014)
Dialectica Categories and Cardinalities of the Continuum (March2014)Valeria de Paiva
 
Talk slides at ISI, 2014
Talk slides at ISI, 2014Talk slides at ISI, 2014
Talk slides at ISI, 2014ychaubey
 
Chapter 01 - p2.pdf
Chapter 01 - p2.pdfChapter 01 - p2.pdf
Chapter 01 - p2.pdfsmarwaneid
 
Analyzing experimental research data
Analyzing experimental research dataAnalyzing experimental research data
Analyzing experimental research dataAtula Ahuja
 
Propositional equality, identity types, and computational paths
Propositional equality, identity types, and computational pathsPropositional equality, identity types, and computational paths
Propositional equality, identity types, and computational pathsRuy De Queiroz
 
Frequentist Statistics as a Theory of Inductive Inference (2/27/14)
Frequentist Statistics as a Theory of Inductive Inference (2/27/14)Frequentist Statistics as a Theory of Inductive Inference (2/27/14)
Frequentist Statistics as a Theory of Inductive Inference (2/27/14)jemille6
 

Ähnlich wie Comparing Degrees of Truth: Lessons from Utility Theory (20)

RossellaMarrano_G&D2
RossellaMarrano_G&D2RossellaMarrano_G&D2
RossellaMarrano_G&D2
 
Chapter 1 Logic and ProofPropositional Logic SemanticsPropo.docx
Chapter 1 Logic and ProofPropositional Logic SemanticsPropo.docxChapter 1 Logic and ProofPropositional Logic SemanticsPropo.docx
Chapter 1 Logic and ProofPropositional Logic SemanticsPropo.docx
 
DETECTION THEORY CHAPTER 1
DETECTION THEORY CHAPTER 1DETECTION THEORY CHAPTER 1
DETECTION THEORY CHAPTER 1
 
D. Mayo: Philosophy of Statistics & the Replication Crisis in Science
D. Mayo: Philosophy of Statistics & the Replication Crisis in ScienceD. Mayo: Philosophy of Statistics & the Replication Crisis in Science
D. Mayo: Philosophy of Statistics & the Replication Crisis in Science
 
Chapter1
Chapter1Chapter1
Chapter1
 
Homotopic Foundations of the Theory of Computation
Homotopic Foundations of the Theory of ComputationHomotopic Foundations of the Theory of Computation
Homotopic Foundations of the Theory of Computation
 
Quantum Models of Cognition and Decision
Quantum Models of Cognition and DecisionQuantum Models of Cognition and Decision
Quantum Models of Cognition and Decision
 
Computational Paths and the Calculation of Fundamental Groups
 Computational Paths and the Calculation of Fundamental Groups Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental Groups
 
Long term investment strategies: Dollar cost averaging vs Lump sum investments
Long term investment strategies: Dollar cost averaging vs Lump sum investmentsLong term investment strategies: Dollar cost averaging vs Lump sum investments
Long term investment strategies: Dollar cost averaging vs Lump sum investments
 
Phil 6334 Mayo slides Day 1
Phil 6334 Mayo slides Day 1Phil 6334 Mayo slides Day 1
Phil 6334 Mayo slides Day 1
 
ders 5 hypothesis testing.pptx
ders 5 hypothesis testing.pptxders 5 hypothesis testing.pptx
ders 5 hypothesis testing.pptx
 
Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental GroupsComputational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental Groups
 
Dialectica Categories and Cardinalities of the Continuum (March2014)
Dialectica Categories and  Cardinalities of the Continuum (March2014)Dialectica Categories and  Cardinalities of the Continuum (March2014)
Dialectica Categories and Cardinalities of the Continuum (March2014)
 
Talk slides isi-2014
Talk slides isi-2014Talk slides isi-2014
Talk slides isi-2014
 
Talk slides at ISI, 2014
Talk slides at ISI, 2014Talk slides at ISI, 2014
Talk slides at ISI, 2014
 
Chapter 01 - p2.pdf
Chapter 01 - p2.pdfChapter 01 - p2.pdf
Chapter 01 - p2.pdf
 
Important terminologies
Important terminologiesImportant terminologies
Important terminologies
 
Analyzing experimental research data
Analyzing experimental research dataAnalyzing experimental research data
Analyzing experimental research data
 
Propositional equality, identity types, and computational paths
Propositional equality, identity types, and computational pathsPropositional equality, identity types, and computational paths
Propositional equality, identity types, and computational paths
 
Frequentist Statistics as a Theory of Inductive Inference (2/27/14)
Frequentist Statistics as a Theory of Inductive Inference (2/27/14)Frequentist Statistics as a Theory of Inductive Inference (2/27/14)
Frequentist Statistics as a Theory of Inductive Inference (2/27/14)
 

Kürzlich hochgeladen

Presentation for the Strategic Dialogue on the Future of Agriculture, Brussel...
Presentation for the Strategic Dialogue on the Future of Agriculture, Brussel...Presentation for the Strategic Dialogue on the Future of Agriculture, Brussel...
Presentation for the Strategic Dialogue on the Future of Agriculture, Brussel...Krijn Poppe
 
James Joyce, Dubliners and Ulysses.ppt !
James Joyce, Dubliners and Ulysses.ppt !James Joyce, Dubliners and Ulysses.ppt !
James Joyce, Dubliners and Ulysses.ppt !risocarla2016
 
Call Girls in Rohini Delhi 💯Call Us 🔝8264348440🔝
Call Girls in Rohini Delhi 💯Call Us 🔝8264348440🔝Call Girls in Rohini Delhi 💯Call Us 🔝8264348440🔝
Call Girls in Rohini Delhi 💯Call Us 🔝8264348440🔝soniya singh
 
call girls in delhi malviya nagar @9811711561@
call girls in delhi malviya nagar @9811711561@call girls in delhi malviya nagar @9811711561@
call girls in delhi malviya nagar @9811711561@vikas rana
 
Mathan flower ppt.pptx slide orchids ✨🌸
Mathan flower ppt.pptx slide orchids ✨🌸Mathan flower ppt.pptx slide orchids ✨🌸
Mathan flower ppt.pptx slide orchids ✨🌸mathanramanathan2005
 
The Ten Facts About People With Autism Presentation
The Ten Facts About People With Autism PresentationThe Ten Facts About People With Autism Presentation
The Ten Facts About People With Autism PresentationNathan Young
 
PAG-UNLAD NG EKONOMIYA na dapat isaalang alang sa pag-aaral.
PAG-UNLAD NG EKONOMIYA na dapat isaalang alang sa pag-aaral.PAG-UNLAD NG EKONOMIYA na dapat isaalang alang sa pag-aaral.
PAG-UNLAD NG EKONOMIYA na dapat isaalang alang sa pag-aaral.KathleenAnnCordero2
 
Anne Frank A Beacon of Hope amidst darkness ppt.pptx
Anne Frank A Beacon of Hope amidst darkness ppt.pptxAnne Frank A Beacon of Hope amidst darkness ppt.pptx
Anne Frank A Beacon of Hope amidst darkness ppt.pptxnoorehahmad
 
Work Remotely with Confluence ACE 2.pptx
Work Remotely with Confluence ACE 2.pptxWork Remotely with Confluence ACE 2.pptx
Work Remotely with Confluence ACE 2.pptxmavinoikein
 
Genesis part 2 Isaiah Scudder 04-24-2024.pptx
Genesis part 2 Isaiah Scudder 04-24-2024.pptxGenesis part 2 Isaiah Scudder 04-24-2024.pptx
Genesis part 2 Isaiah Scudder 04-24-2024.pptxFamilyWorshipCenterD
 
SBFT Tool Competition 2024 -- Python Test Case Generation Track
SBFT Tool Competition 2024 -- Python Test Case Generation TrackSBFT Tool Competition 2024 -- Python Test Case Generation Track
SBFT Tool Competition 2024 -- Python Test Case Generation TrackSebastiano Panichella
 
SaaStr Workshop Wednesday w/ Kyle Norton, Owner.com
SaaStr Workshop Wednesday w/ Kyle Norton, Owner.comSaaStr Workshop Wednesday w/ Kyle Norton, Owner.com
SaaStr Workshop Wednesday w/ Kyle Norton, Owner.comsaastr
 
Simulation-based Testing of Unmanned Aerial Vehicles with Aerialist
Simulation-based Testing of Unmanned Aerial Vehicles with AerialistSimulation-based Testing of Unmanned Aerial Vehicles with Aerialist
Simulation-based Testing of Unmanned Aerial Vehicles with AerialistSebastiano Panichella
 
miladyskindiseases-200705210221 2.!!pptx
miladyskindiseases-200705210221 2.!!pptxmiladyskindiseases-200705210221 2.!!pptx
miladyskindiseases-200705210221 2.!!pptxCarrieButtitta
 
PHYSICS PROJECT BY MSC - NANOTECHNOLOGY
PHYSICS PROJECT BY MSC  - NANOTECHNOLOGYPHYSICS PROJECT BY MSC  - NANOTECHNOLOGY
PHYSICS PROJECT BY MSC - NANOTECHNOLOGYpruthirajnayak525
 
THE COUNTRY WHO SOLVED THE WORLD_HOW CHINA LAUNCHED THE CIVILIZATION REVOLUTI...
THE COUNTRY WHO SOLVED THE WORLD_HOW CHINA LAUNCHED THE CIVILIZATION REVOLUTI...THE COUNTRY WHO SOLVED THE WORLD_HOW CHINA LAUNCHED THE CIVILIZATION REVOLUTI...
THE COUNTRY WHO SOLVED THE WORLD_HOW CHINA LAUNCHED THE CIVILIZATION REVOLUTI...漢銘 謝
 
Event 4 Introduction to Open Source.pptx
Event 4 Introduction to Open Source.pptxEvent 4 Introduction to Open Source.pptx
Event 4 Introduction to Open Source.pptxaryanv1753
 
Genshin Impact PPT Template by EaTemp.pptx
Genshin Impact PPT Template by EaTemp.pptxGenshin Impact PPT Template by EaTemp.pptx
Genshin Impact PPT Template by EaTemp.pptxJohnree4
 
Gaps, Issues and Challenges in the Implementation of Mother Tongue Based-Mult...
Gaps, Issues and Challenges in the Implementation of Mother Tongue Based-Mult...Gaps, Issues and Challenges in the Implementation of Mother Tongue Based-Mult...
Gaps, Issues and Challenges in the Implementation of Mother Tongue Based-Mult...marjmae69
 
Dutch Power - 26 maart 2024 - Henk Kras - Circular Plastics
Dutch Power - 26 maart 2024 - Henk Kras - Circular PlasticsDutch Power - 26 maart 2024 - Henk Kras - Circular Plastics
Dutch Power - 26 maart 2024 - Henk Kras - Circular PlasticsDutch Power
 

Kürzlich hochgeladen (20)

Presentation for the Strategic Dialogue on the Future of Agriculture, Brussel...
Presentation for the Strategic Dialogue on the Future of Agriculture, Brussel...Presentation for the Strategic Dialogue on the Future of Agriculture, Brussel...
Presentation for the Strategic Dialogue on the Future of Agriculture, Brussel...
 
James Joyce, Dubliners and Ulysses.ppt !
James Joyce, Dubliners and Ulysses.ppt !James Joyce, Dubliners and Ulysses.ppt !
James Joyce, Dubliners and Ulysses.ppt !
 
Call Girls in Rohini Delhi 💯Call Us 🔝8264348440🔝
Call Girls in Rohini Delhi 💯Call Us 🔝8264348440🔝Call Girls in Rohini Delhi 💯Call Us 🔝8264348440🔝
Call Girls in Rohini Delhi 💯Call Us 🔝8264348440🔝
 
call girls in delhi malviya nagar @9811711561@
call girls in delhi malviya nagar @9811711561@call girls in delhi malviya nagar @9811711561@
call girls in delhi malviya nagar @9811711561@
 
Mathan flower ppt.pptx slide orchids ✨🌸
Mathan flower ppt.pptx slide orchids ✨🌸Mathan flower ppt.pptx slide orchids ✨🌸
Mathan flower ppt.pptx slide orchids ✨🌸
 
The Ten Facts About People With Autism Presentation
The Ten Facts About People With Autism PresentationThe Ten Facts About People With Autism Presentation
The Ten Facts About People With Autism Presentation
 
PAG-UNLAD NG EKONOMIYA na dapat isaalang alang sa pag-aaral.
PAG-UNLAD NG EKONOMIYA na dapat isaalang alang sa pag-aaral.PAG-UNLAD NG EKONOMIYA na dapat isaalang alang sa pag-aaral.
PAG-UNLAD NG EKONOMIYA na dapat isaalang alang sa pag-aaral.
 
Anne Frank A Beacon of Hope amidst darkness ppt.pptx
Anne Frank A Beacon of Hope amidst darkness ppt.pptxAnne Frank A Beacon of Hope amidst darkness ppt.pptx
Anne Frank A Beacon of Hope amidst darkness ppt.pptx
 
Work Remotely with Confluence ACE 2.pptx
Work Remotely with Confluence ACE 2.pptxWork Remotely with Confluence ACE 2.pptx
Work Remotely with Confluence ACE 2.pptx
 
Genesis part 2 Isaiah Scudder 04-24-2024.pptx
Genesis part 2 Isaiah Scudder 04-24-2024.pptxGenesis part 2 Isaiah Scudder 04-24-2024.pptx
Genesis part 2 Isaiah Scudder 04-24-2024.pptx
 
SBFT Tool Competition 2024 -- Python Test Case Generation Track
SBFT Tool Competition 2024 -- Python Test Case Generation TrackSBFT Tool Competition 2024 -- Python Test Case Generation Track
SBFT Tool Competition 2024 -- Python Test Case Generation Track
 
SaaStr Workshop Wednesday w/ Kyle Norton, Owner.com
SaaStr Workshop Wednesday w/ Kyle Norton, Owner.comSaaStr Workshop Wednesday w/ Kyle Norton, Owner.com
SaaStr Workshop Wednesday w/ Kyle Norton, Owner.com
 
Simulation-based Testing of Unmanned Aerial Vehicles with Aerialist
Simulation-based Testing of Unmanned Aerial Vehicles with AerialistSimulation-based Testing of Unmanned Aerial Vehicles with Aerialist
Simulation-based Testing of Unmanned Aerial Vehicles with Aerialist
 
miladyskindiseases-200705210221 2.!!pptx
miladyskindiseases-200705210221 2.!!pptxmiladyskindiseases-200705210221 2.!!pptx
miladyskindiseases-200705210221 2.!!pptx
 
PHYSICS PROJECT BY MSC - NANOTECHNOLOGY
PHYSICS PROJECT BY MSC  - NANOTECHNOLOGYPHYSICS PROJECT BY MSC  - NANOTECHNOLOGY
PHYSICS PROJECT BY MSC - NANOTECHNOLOGY
 
THE COUNTRY WHO SOLVED THE WORLD_HOW CHINA LAUNCHED THE CIVILIZATION REVOLUTI...
THE COUNTRY WHO SOLVED THE WORLD_HOW CHINA LAUNCHED THE CIVILIZATION REVOLUTI...THE COUNTRY WHO SOLVED THE WORLD_HOW CHINA LAUNCHED THE CIVILIZATION REVOLUTI...
THE COUNTRY WHO SOLVED THE WORLD_HOW CHINA LAUNCHED THE CIVILIZATION REVOLUTI...
 
Event 4 Introduction to Open Source.pptx
Event 4 Introduction to Open Source.pptxEvent 4 Introduction to Open Source.pptx
Event 4 Introduction to Open Source.pptx
 
Genshin Impact PPT Template by EaTemp.pptx
Genshin Impact PPT Template by EaTemp.pptxGenshin Impact PPT Template by EaTemp.pptx
Genshin Impact PPT Template by EaTemp.pptx
 
Gaps, Issues and Challenges in the Implementation of Mother Tongue Based-Mult...
Gaps, Issues and Challenges in the Implementation of Mother Tongue Based-Mult...Gaps, Issues and Challenges in the Implementation of Mother Tongue Based-Mult...
Gaps, Issues and Challenges in the Implementation of Mother Tongue Based-Mult...
 
Dutch Power - 26 maart 2024 - Henk Kras - Circular Plastics
Dutch Power - 26 maart 2024 - Henk Kras - Circular PlasticsDutch Power - 26 maart 2024 - Henk Kras - Circular Plastics
Dutch Power - 26 maart 2024 - Henk Kras - Circular Plastics
 

Comparing Degrees of Truth: Lessons from Utility Theory

  • 1. Comparing degrees of truth Lessons from utility theory Rossella Marrano Scuola Normale Superiore Joint work with Hykel Hosni Rome, 19 June 2014 Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 1 / 12
  • 2. Motivation Degrees of truth as real numbers We shall assume that the truth degrees are linearly ordered, with 1 as maximum and 0 as minimum. Thus truth degrees will be coded by (some) reals. And even if logics of finitely many truth degrees can be developed we choose not to exclude any real number from the set of truth degrees. We shall always take the set [0; 1] with its natural (standard) linear order. (Petr Hájek, Metamathematics of Fuzzy Logic, 1998) Artificial precision I arbitrariness of the choice how can we justify the choice of the truth value 0.24 over 0.23? I implausibility of the interpretation what does it mean for a sentence to be 1= true? Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 2 / 12
  • 3. Lessons from utility theory Bisogna trovare il modo di sottoporre i gusti degli uomini al calcolo. Perciò si ebbe l’idea di dedurli dal piacere che certe cose fanno provare all’uomo. Se una cosa soddisfa bisogni o desideri dell’uomo si disse che aveva un valore d’uso, un’utilità. (Pareto) Our proposal Bringing key concepts of utility theory to bear on the analysis of truth 1. ordinal – cardinal 2. certainty – risk – uncertainty 3. preferences – choice Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 3 / 12
  • 4. Ordinal foundations Jeremy Bentham (1748-1832) I The amount of pleasure or pain caused by a certain good is measurable I Agents have utils in their heads Vilfredo Pareto (1848-1923) I Agents can only tell between two goods which one they prefer I Utility has an ordinal meaning Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 4 / 12
  • 5. Representation theorems I comparative judgments: preferences or indifference I pairwise evaluation I X2 I numerical analysis: utility function I point-wise evaluation I u: X ! R Representation theorems If satisfies certain conditions then there exists u such that for all x; y 2 X x y () u(x) u(y): [von Neumann Morgenstern (1947), Savage (1954), Debreu (1954)] I ‘behavioural’ foundation of measurement Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 5 / 12
  • 6. Back to truth Graded notions: I interest in a numerical analysis (quantitative) I comparative judgements (qualitative) are more plausible I representation theorems Qualitative or ordinal I ‘more or less true’ I ranking alternatives Quantitative or cardinal I ‘degrees of truth’ I numerical evaluation Problem Lay down sufficient conditions for the relation ‘more or less true’ to be represented by a real-valued valuation Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 6 / 12
  • 7. Formally: the case of Łukasiewicz infinite-valued logic Language I L = fp1; p2; : : : g I :, _ I SL I ?; I ` Łukasiewicz valuation functions v : SL ! [0; 1] 1. v(?) = 0. 2. v(:) = 1 v() 3. v( _ ) = minf1; v() + v()g Ordinal valuations (‘no less true than’) SL SL Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 7 / 12
  • 8. Representation theorem for truth1 (T.1) SL2 is complete and transitive (T.2) , ? (T.3) `Ł =) (T.4) 1 2; 1 2 =) 1 _ 1 2 _ 2 (T.5) =) : : Theorem If satisfies axioms (T.1)–(T.5) then there exists a unique Łukasiewicz valuation v : SL ! [0; 1] such that for all ; 2 SL: =) v() v(): 1Ongoing work with H. Hosni and V.Marra Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 8 / 12
  • 9. Philosophical implications Generalizations I other fuzzy logics I many-valued logics I classical logic Feedback I real-valued valuation functions arise from certain comparisons between degrees of truth of sentences I natural appeal of the notion ‘no less true than’ I axioms as properties I independence from the mathematical apparatus Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 9 / 12
  • 10. Further work 1. Introducing uncertainty in the outcomes Certainty perfect information regarding the outcome Risk no perfect information, the probabilities are known Uncertainty no perfect information, unknown probabilities Expected degrees of truth EDT() = p(v) v() () EDT() EDT() 2. Choice-based approach Revealed preferences Let X6= ;, x; y 2 X and let C() be a choice function over X. x y () x = C(fx; yg): Truth by choice (conventionalism) Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 10 / 12
  • 11. Conclusion I Relating truth with utility theory 1. ordinal – cardinal 2. certainty – risk – uncertainty 3. preferences – choice I Ordinal foundations for many-valued semantics I the case of Łukasiewicz real-valued logic I many-valued valuations can be proved to arise from truth-comparisons under certain conditions I Philosophical relevance I Methodological lessons I New answers to old questions I New questions! Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 11 / 12
  • 12. References Roberto L. O. Cignoli, Italia M. L. D’Ottaviano and Daniele Mundici. Algebraic foundations of many-valued reasoning, Trends in Logic – Studia Logica Library, Kluwer Academic Publishers, 2000. Petr Hájek. Metamathematics of Fuzzy Logic, Kluwer Academic Publishers, 1998. J. von Neumann, O. Morgenstern. The Theory of Games and Economic Behavior (2nd ed). Princeton: Princeton University Press, 1947 L. J. Savage The Foundations of Statistics. Wiley, 1954. George J. Stigler. The Development of Utility Theory. I The Journal of Political Economy, Vol. 58, No. 4. (Aug., 1950), pp. 307-327. George J. Stigler. The Development of Utility Theory. II The Journal of Political Economy, Vol. 58, No. 5. (Oct., 1950), pp. 373-396. Rossella Marrano (SNS) Comparing degrees of truth 6/06/2014 12 / 12