SlideShare a Scribd company logo
1 of 12
Download to read offline
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

More Related Content

What's hot

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
 

What's hot (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
 

Viewers also liked

Viewers also liked (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
 

Similar to 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
 

Similar to 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)
 

Recently uploaded

Internship Presentation | PPT | CSE | SE
Internship Presentation | PPT | CSE | SEInternship Presentation | PPT | CSE | SE
Internship Presentation | PPT | CSE | SESaleh Ibne Omar
 
GESCO SE Press and Analyst Conference on Financial Results 2024
GESCO SE Press and Analyst Conference on Financial Results 2024GESCO SE Press and Analyst Conference on Financial Results 2024
GESCO SE Press and Analyst Conference on Financial Results 2024GESCO SE
 
Application of GIS in Landslide Disaster Response.pptx
Application of GIS in Landslide Disaster Response.pptxApplication of GIS in Landslide Disaster Response.pptx
Application of GIS in Landslide Disaster Response.pptxRoquia Salam
 
INDIAN GCP GUIDELINE. for Regulatory affair 1st sem CRR
INDIAN GCP GUIDELINE. for Regulatory  affair 1st sem CRRINDIAN GCP GUIDELINE. for Regulatory  affair 1st sem CRR
INDIAN GCP GUIDELINE. for Regulatory affair 1st sem CRRsarwankumar4524
 
cse-csp batch4 review-1.1.pptx cyber security
cse-csp batch4 review-1.1.pptx cyber securitycse-csp batch4 review-1.1.pptx cyber security
cse-csp batch4 review-1.1.pptx cyber securitysandeepnani2260
 
A Guide to Choosing the Ideal Air Cooler
A Guide to Choosing the Ideal Air CoolerA Guide to Choosing the Ideal Air Cooler
A Guide to Choosing the Ideal Air Coolerenquirieskenstar
 
Don't Miss Out: Strategies for Making the Most of the Ethena DigitalOpportunity
Don't Miss Out: Strategies for Making the Most of the Ethena DigitalOpportunityDon't Miss Out: Strategies for Making the Most of the Ethena DigitalOpportunity
Don't Miss Out: Strategies for Making the Most of the Ethena DigitalOpportunityApp Ethena
 
proposal kumeneger edited.docx A kumeeger
proposal kumeneger edited.docx A kumeegerproposal kumeneger edited.docx A kumeeger
proposal kumeneger edited.docx A kumeegerkumenegertelayegrama
 
Chizaram's Women Tech Makers Deck. .pptx
Chizaram's Women Tech Makers Deck.  .pptxChizaram's Women Tech Makers Deck.  .pptx
Chizaram's Women Tech Makers Deck. .pptxogubuikealex
 
Engaging Eid Ul Fitr Presentation for Kindergartners.pptx
Engaging Eid Ul Fitr Presentation for Kindergartners.pptxEngaging Eid Ul Fitr Presentation for Kindergartners.pptx
Engaging Eid Ul Fitr Presentation for Kindergartners.pptxAsifArshad8
 
Testing and Development Challenges for Complex Cyber-Physical Systems: Insigh...
Testing and Development Challenges for Complex Cyber-Physical Systems: Insigh...Testing and Development Challenges for Complex Cyber-Physical Systems: Insigh...
Testing and Development Challenges for Complex Cyber-Physical Systems: Insigh...Sebastiano Panichella
 
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...漢銘 謝
 
Testing with Fewer Resources: Toward Adaptive Approaches for Cost-effective ...
Testing with Fewer Resources:  Toward Adaptive Approaches for Cost-effective ...Testing with Fewer Resources:  Toward Adaptive Approaches for Cost-effective ...
Testing with Fewer Resources: Toward Adaptive Approaches for Cost-effective ...Sebastiano Panichella
 
General Elections Final Press Noteas per M
General Elections Final Press Noteas per MGeneral Elections Final Press Noteas per M
General Elections Final Press Noteas per MVidyaAdsule1
 
RACHEL-ANN M. TENIBRO PRODUCT RESEARCH PRESENTATION
RACHEL-ANN M. TENIBRO PRODUCT RESEARCH PRESENTATIONRACHEL-ANN M. TENIBRO PRODUCT RESEARCH PRESENTATION
RACHEL-ANN M. TENIBRO PRODUCT RESEARCH PRESENTATIONRachelAnnTenibroAmaz
 
05.02 MMC - Assignment 4 - Image Attribution Lovepreet.pptx
05.02 MMC - Assignment 4 - Image Attribution Lovepreet.pptx05.02 MMC - Assignment 4 - Image Attribution Lovepreet.pptx
05.02 MMC - Assignment 4 - Image Attribution Lovepreet.pptxerickamwana1
 
Quality by design.. ppt for RA (1ST SEM
Quality by design.. ppt for  RA (1ST SEMQuality by design.. ppt for  RA (1ST SEM
Quality by design.. ppt for RA (1ST SEMCharmi13
 

Recently uploaded (17)

Internship Presentation | PPT | CSE | SE
Internship Presentation | PPT | CSE | SEInternship Presentation | PPT | CSE | SE
Internship Presentation | PPT | CSE | SE
 
GESCO SE Press and Analyst Conference on Financial Results 2024
GESCO SE Press and Analyst Conference on Financial Results 2024GESCO SE Press and Analyst Conference on Financial Results 2024
GESCO SE Press and Analyst Conference on Financial Results 2024
 
Application of GIS in Landslide Disaster Response.pptx
Application of GIS in Landslide Disaster Response.pptxApplication of GIS in Landslide Disaster Response.pptx
Application of GIS in Landslide Disaster Response.pptx
 
INDIAN GCP GUIDELINE. for Regulatory affair 1st sem CRR
INDIAN GCP GUIDELINE. for Regulatory  affair 1st sem CRRINDIAN GCP GUIDELINE. for Regulatory  affair 1st sem CRR
INDIAN GCP GUIDELINE. for Regulatory affair 1st sem CRR
 
cse-csp batch4 review-1.1.pptx cyber security
cse-csp batch4 review-1.1.pptx cyber securitycse-csp batch4 review-1.1.pptx cyber security
cse-csp batch4 review-1.1.pptx cyber security
 
A Guide to Choosing the Ideal Air Cooler
A Guide to Choosing the Ideal Air CoolerA Guide to Choosing the Ideal Air Cooler
A Guide to Choosing the Ideal Air Cooler
 
Don't Miss Out: Strategies for Making the Most of the Ethena DigitalOpportunity
Don't Miss Out: Strategies for Making the Most of the Ethena DigitalOpportunityDon't Miss Out: Strategies for Making the Most of the Ethena DigitalOpportunity
Don't Miss Out: Strategies for Making the Most of the Ethena DigitalOpportunity
 
proposal kumeneger edited.docx A kumeeger
proposal kumeneger edited.docx A kumeegerproposal kumeneger edited.docx A kumeeger
proposal kumeneger edited.docx A kumeeger
 
Chizaram's Women Tech Makers Deck. .pptx
Chizaram's Women Tech Makers Deck.  .pptxChizaram's Women Tech Makers Deck.  .pptx
Chizaram's Women Tech Makers Deck. .pptx
 
Engaging Eid Ul Fitr Presentation for Kindergartners.pptx
Engaging Eid Ul Fitr Presentation for Kindergartners.pptxEngaging Eid Ul Fitr Presentation for Kindergartners.pptx
Engaging Eid Ul Fitr Presentation for Kindergartners.pptx
 
Testing and Development Challenges for Complex Cyber-Physical Systems: Insigh...
Testing and Development Challenges for Complex Cyber-Physical Systems: Insigh...Testing and Development Challenges for Complex Cyber-Physical Systems: Insigh...
Testing and Development Challenges for Complex Cyber-Physical Systems: Insigh...
 
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...
 
Testing with Fewer Resources: Toward Adaptive Approaches for Cost-effective ...
Testing with Fewer Resources:  Toward Adaptive Approaches for Cost-effective ...Testing with Fewer Resources:  Toward Adaptive Approaches for Cost-effective ...
Testing with Fewer Resources: Toward Adaptive Approaches for Cost-effective ...
 
General Elections Final Press Noteas per M
General Elections Final Press Noteas per MGeneral Elections Final Press Noteas per M
General Elections Final Press Noteas per M
 
RACHEL-ANN M. TENIBRO PRODUCT RESEARCH PRESENTATION
RACHEL-ANN M. TENIBRO PRODUCT RESEARCH PRESENTATIONRACHEL-ANN M. TENIBRO PRODUCT RESEARCH PRESENTATION
RACHEL-ANN M. TENIBRO PRODUCT RESEARCH PRESENTATION
 
05.02 MMC - Assignment 4 - Image Attribution Lovepreet.pptx
05.02 MMC - Assignment 4 - Image Attribution Lovepreet.pptx05.02 MMC - Assignment 4 - Image Attribution Lovepreet.pptx
05.02 MMC - Assignment 4 - Image Attribution Lovepreet.pptx
 
Quality by design.. ppt for RA (1ST SEM
Quality by design.. ppt for  RA (1ST SEMQuality by design.. ppt for  RA (1ST SEM
Quality by design.. ppt for RA (1ST SEM
 

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