- The document discusses whether the truth predicate Tr in Friedman-Sheard's truth theory FS can be considered a logical connective.
- It raises the problem that Tr violates the "HARMONY" between its introduction and elimination rules, as FS is ω-inconsistent based on McGee's theorem.
- The source of the problem is that deflationism allows asserting infinite conjunctions of sentences using Tr, while also insisting that Tr not involve ontological changes, as logical connectives do not.
A slide of the talk in Logic and Engineering of Natural Language Semantics (LENLS) 12:
we analyse Friedman-Sheared's truth theory FS from the behavior of truth predicate by a proof theoretic semantics methodology.
A talk I gave at the Yonsei University, Seoul in July 21st, 2015.
The aim was to show my background contribution to the CORCON (Correctness by Construction) research project.
I have to thank Prof. Byunghan Kim and Dr Gyesik Lee for their kind hospitality.
A slide of the talk in Logic and Engineering of Natural Language Semantics (LENLS) 12:
we analyse Friedman-Sheared's truth theory FS from the behavior of truth predicate by a proof theoretic semantics methodology.
A talk I gave at the Yonsei University, Seoul in July 21st, 2015.
The aim was to show my background contribution to the CORCON (Correctness by Construction) research project.
I have to thank Prof. Byunghan Kim and Dr Gyesik Lee for their kind hospitality.
Slides for a Course Based on the Text Discrete Mathematics & Its Applications (5th Edition) by Kenneth H. Rosen
Slides for a Course Based on the Text Discrete Mathematics & Its Applications (5th Edition) by Kenneth H. Rosen
Gödel’s completeness (1930) nd incompleteness (1931) theorems: A new reading ...Vasil Penchev
(T2) Peano arithmetic admits anyway generalizations consistent to infinity and thus to some addable axiom(s) of inf(T1) Peano arithmetic cannot serve as the ground of mathematics for it is inconsistent to infinity, and infinity is necessary for its foundation
Though Peano arithmetic cannot be complemented by any axiom of infinity, there exists at least one (logical) axiomatics consistent to infinity
That is nothing else than right a new reading at issue and comparative interpretation of Gödel’s papers meant here
inity
The most utilized example of those generalizations is the separable complex Hilbert space: it is able to equate the possibility of pure existence to the probability of statistical ensemble
(T3) Any generalization of Peano arithmetic consistent to infinity, e.g. the separable complex Hilbert space, can serve as a foundation for mathematics to found itself and by itself
In this paper, we investigate transportation problem in which supplies and demands are intuitionistic fuzzy numbers. Intuitionistic Fuzzy Vogel’s Approximation Method is proposed to find an initial basic feasible solution. Intuitionistic Fuzzy Modified Distribution Method is proposed to find the optimal solution in terms of triangular intuitionistic fuzzy numbers. The solution procedure is illustrated with suitable numerical example.
Neural & Fuzzy Logic On Linguistic Variable.
Modus Ponens,Modus Tollens,Fuzzy Implication Operators
Fuzzy Inference,Fuzzy Proposition,Linguistic variable etc are described here
This presentation contains my one day lectures which introduces fuzzy set theory, operations on fuzzy sets, some engineering control applications using Mamdamn model.
Slides for a Course Based on the Text Discrete Mathematics & Its Applications (5th Edition) by Kenneth H. Rosen
Slides for a Course Based on the Text Discrete Mathematics & Its Applications (5th Edition) by Kenneth H. Rosen
Gödel’s completeness (1930) nd incompleteness (1931) theorems: A new reading ...Vasil Penchev
(T2) Peano arithmetic admits anyway generalizations consistent to infinity and thus to some addable axiom(s) of inf(T1) Peano arithmetic cannot serve as the ground of mathematics for it is inconsistent to infinity, and infinity is necessary for its foundation
Though Peano arithmetic cannot be complemented by any axiom of infinity, there exists at least one (logical) axiomatics consistent to infinity
That is nothing else than right a new reading at issue and comparative interpretation of Gödel’s papers meant here
inity
The most utilized example of those generalizations is the separable complex Hilbert space: it is able to equate the possibility of pure existence to the probability of statistical ensemble
(T3) Any generalization of Peano arithmetic consistent to infinity, e.g. the separable complex Hilbert space, can serve as a foundation for mathematics to found itself and by itself
In this paper, we investigate transportation problem in which supplies and demands are intuitionistic fuzzy numbers. Intuitionistic Fuzzy Vogel’s Approximation Method is proposed to find an initial basic feasible solution. Intuitionistic Fuzzy Modified Distribution Method is proposed to find the optimal solution in terms of triangular intuitionistic fuzzy numbers. The solution procedure is illustrated with suitable numerical example.
Neural & Fuzzy Logic On Linguistic Variable.
Modus Ponens,Modus Tollens,Fuzzy Implication Operators
Fuzzy Inference,Fuzzy Proposition,Linguistic variable etc are described here
This presentation contains my one day lectures which introduces fuzzy set theory, operations on fuzzy sets, some engineering control applications using Mamdamn model.
This is a slide of My talk at Kyoto Nonclassical Logic Workshop (19, November, 2015). This is based on my paper "A constructive naive set theory and infinity" which was accepted to Notre Dame Journal of Formal Logic.
AN ALGORITHM FOR SOLVING LINEAR OPTIMIZATION PROBLEMS SUBJECTED TO THE INTERS...ijfcstjournal
Frank t-norms are parametric family of continuous Archimedean t-norms whose members are also strict functions. Very often,this family of t-norms is also called the family of fundamental t-norms because of the
role it plays in several applications. In this paper, optimization of a linear objective function with fuzzy relational inequality constraints is investigated. The feasible region is formed as the intersection of two
inequality fuzzy systems defined by frank family of t-norms is considered as fuzzy composition. First, the resolution of the feasible solutions set is studied where the two fuzzy inequality systems are defined with max-Frank composition. Second, some related basic and theoretical properties are derived. Then, a necessary and sufficient condition and three other necessary conditions are presented to conceptualize the feasibility of the problem. Subsequently, it is shown that a lower bound is always attainable for the optimal objective value. Also, it is proved that the optimal solution of the problem is always resulted from the
unique maximum solution and a minimal solution of the feasible region. Finally, an algorithm is presented to solve the problem and an example is described to illustrate the algorithm. Additionally, a method is proposed to generate random feasible ax-Frank fuzzy relational inequalities. By this method, we can
easily generate a feasible test problem and employ our algorithm to it.
AN ALGORITHM FOR SOLVING LINEAR OPTIMIZATION PROBLEMS SUBJECTED TO THE INTERS...ijfcstjournal
Frank t-norms are parametric family of continuous Archimedean t-norms whose members are also strict
functions. Very often, this family of t-norms is also called the family of fundamental t-norms because of the
role it plays in several applications. In this paper, optimization of a linear objective function with fuzzy
relational inequality constraints is investigated. The feasible region is formed as the intersection of two
inequality fuzzy systems defined by frank family of t-norms is considered as fuzzy composition. First, the
resolution of the feasible solutions set is studied where the two fuzzy inequality systems are defined with
max-Frank composition. Second, some related basic and theoretical properties are derived. Then, a
necessary and sufficient condition and three other necessary conditions are presented to conceptualize the
feasibility of the problem. Subsequently, it is shown that a lower bound is always attainable for the optimal
objective value. Also, it is proved that the optimal solution of the problem is always resulted from the
unique maximum solution and a minimal solution of the feasible region. Finally, an algorithm is presented
to solve the problem and an example is described to illustrate the algorithm. Additionally, a method is
proposed to generate random feasible max-Frank fuzzy relational inequalities. By this method, we can
easily generate a feasible test problem and employ our algorithm to it.
AN ALGORITHM FOR SOLVING LINEAR OPTIMIZATION PROBLEMS SUBJECTED TO THE INTERS...ijfcstjournal
Frank t-norms are parametric family of continuous Archimedean t-norms whose members are also strict functions. Very often, this family of t-norms is also called the family of fundamental t-norms because of the
role it plays in several applications. In this paper, optimization of a linear objective function with fuzzy relational inequality constraints is investigated.
AN ALGORITHM FOR SOLVING LINEAR OPTIMIZATION PROBLEMS SUBJECTED TO THE INTERS...ijfcstjournal
Frank t-norms are parametric family of continuous Archimedean t-norms whose members are also strict
functions. Very often, this family of t-norms is also called the family of fundamental t-norms because of the
role it plays in several applications. In this paper, optimization of a linear objective function with fuzzy
relational inequality constraints is investigated. The feasible region is formed as the intersection of two
inequality fuzzy systems defined by frank family of t-norms is considered as fuzzy composition. First, the
resolution of the feasible solutions set is studied where the two fuzzy inequality systems are defined with
max-Frank composition. Second, some related basic and theoretical properties are derived. Then, a
necessary and sufficient condition and three other necessary conditions are presented to conceptualize the
feasibility of the problem. Subsequently, it is shown that a lower bound is always attainable for the optimal
objective value. Also, it is proved that the optimal solution of the problem is always resulted from the
unique maximum solution and a minimal solution of the feasible region. Finally, an algorithm is presented
to solve the problem and an example is described to illustrate the algorithm. Additionally, a method is
proposed to generate random feasible max-Frank fuzzy relational inequalities. By this method, we can
easily generate a feasible test problem and employ our algorithm to it.
AN IMPLEMENTATION, EMPIRICAL EVALUATION AND PROPOSED IMPROVEMENT FOR BIDIRECT...ijaia
Abstract argumentation frameworks are formal systems that facilitate obtaining conclusions from nonmonotonic knowledge systems. Within such a system, an argumentation semantics is defined as a set of arguments with some desired qualities, for example, that the elements are not in conflict with each other.
Splitting an argumentation framework can efficiently speed up the computation of argumentation semantics. With respect to stable semantics, two methods have been proposed to split an argumentation framework either in a unidirectional or bidirectional fashion. The advantage of bidirectional splitting is
that it is not structure-dependent and, unlike unidirectional splitting, it can be used for frameworks consisting of a single strongly connected component. Bidirectional splitting makes use of a minimum cut. In this paper, we implement and test the performance of the bidirectional splitting method, along with two
types of graph cut algorithms. Experimental data suggest that using a minimum cut will not improve the performance of computing stable semantics in most cases. Hence, instead of a minimum cut, we propose to use a balanced cut, where the framework is split into two sub-frameworks of equal size. Experimental results conducted on bidirectional splitting using the balanced cut show a significant improvement in the performance of computing semantics.
Richard's aventures in two entangled wonderlandsRichard Gill
Since the loophole-free Bell experiments of 2020 and the Nobel prizes in physics of 2022, critics of Bell's work have retreated to the fortress of super-determinism. Now, super-determinism is a derogatory word - it just means "determinism". Palmer, Hance and Hossenfelder argue that quantum mechanics and determinism are not incompatible, using a sophisticated mathematical construction based on a subtle thinning of allowed states and measurements in quantum mechanics, such that what is left appears to make Bell's argument fail, without altering the empirical predictions of quantum mechanics. I think however that it is a smoke screen, and the slogan "lost in math" comes to my mind. I will discuss some other recent disproofs of Bell's theorem using the language of causality based on causal graphs. Causal thinking is also central to law and justice. I will mention surprising connections to my work on serial killer nurse cases, in particular the Dutch case of Lucia de Berk and the current UK case of Lucy Letby.
This pdf is about the Schizophrenia.
For more details visit on YouTube; @SELF-EXPLANATORY;
https://www.youtube.com/channel/UCAiarMZDNhe1A3Rnpr_WkzA/videos
Thanks...!
Multi-source connectivity as the driver of solar wind variability in the heli...Sérgio Sacani
The ambient solar wind that flls the heliosphere originates from multiple
sources in the solar corona and is highly structured. It is often described
as high-speed, relatively homogeneous, plasma streams from coronal
holes and slow-speed, highly variable, streams whose source regions are
under debate. A key goal of ESA/NASA’s Solar Orbiter mission is to identify
solar wind sources and understand what drives the complexity seen in the
heliosphere. By combining magnetic feld modelling and spectroscopic
techniques with high-resolution observations and measurements, we show
that the solar wind variability detected in situ by Solar Orbiter in March
2022 is driven by spatio-temporal changes in the magnetic connectivity to
multiple sources in the solar atmosphere. The magnetic feld footpoints
connected to the spacecraft moved from the boundaries of a coronal hole
to one active region (12961) and then across to another region (12957). This
is refected in the in situ measurements, which show the transition from fast
to highly Alfvénic then to slow solar wind that is disrupted by the arrival of
a coronal mass ejection. Our results describe solar wind variability at 0.5 au
but are applicable to near-Earth observatories.
Nutraceutical market, scope and growth: Herbal drug technologyLokesh Patil
As consumer awareness of health and wellness rises, the nutraceutical market—which includes goods like functional meals, drinks, and dietary supplements that provide health advantages beyond basic nutrition—is growing significantly. As healthcare expenses rise, the population ages, and people want natural and preventative health solutions more and more, this industry is increasing quickly. Further driving market expansion are product formulation innovations and the use of cutting-edge technology for customized nutrition. With its worldwide reach, the nutraceutical industry is expected to keep growing and provide significant chances for research and investment in a number of categories, including vitamins, minerals, probiotics, and herbal supplements.
A brief information about the SCOP protein database used in bioinformatics.
The Structural Classification of Proteins (SCOP) database is a comprehensive and authoritative resource for the structural and evolutionary relationships of proteins. It provides a detailed and curated classification of protein structures, grouping them into families, superfamilies, and folds based on their structural and sequence similarities.
Slide 1: Title Slide
Extrachromosomal Inheritance
Slide 2: Introduction to Extrachromosomal Inheritance
Definition: Extrachromosomal inheritance refers to the transmission of genetic material that is not found within the nucleus.
Key Components: Involves genes located in mitochondria, chloroplasts, and plasmids.
Slide 3: Mitochondrial Inheritance
Mitochondria: Organelles responsible for energy production.
Mitochondrial DNA (mtDNA): Circular DNA molecule found in mitochondria.
Inheritance Pattern: Maternally inherited, meaning it is passed from mothers to all their offspring.
Diseases: Examples include Leber’s hereditary optic neuropathy (LHON) and mitochondrial myopathy.
Slide 4: Chloroplast Inheritance
Chloroplasts: Organelles responsible for photosynthesis in plants.
Chloroplast DNA (cpDNA): Circular DNA molecule found in chloroplasts.
Inheritance Pattern: Often maternally inherited in most plants, but can vary in some species.
Examples: Variegation in plants, where leaf color patterns are determined by chloroplast DNA.
Slide 5: Plasmid Inheritance
Plasmids: Small, circular DNA molecules found in bacteria and some eukaryotes.
Features: Can carry antibiotic resistance genes and can be transferred between cells through processes like conjugation.
Significance: Important in biotechnology for gene cloning and genetic engineering.
Slide 6: Mechanisms of Extrachromosomal Inheritance
Non-Mendelian Patterns: Do not follow Mendel’s laws of inheritance.
Cytoplasmic Segregation: During cell division, organelles like mitochondria and chloroplasts are randomly distributed to daughter cells.
Heteroplasmy: Presence of more than one type of organellar genome within a cell, leading to variation in expression.
Slide 7: Examples of Extrachromosomal Inheritance
Four O’clock Plant (Mirabilis jalapa): Shows variegated leaves due to different cpDNA in leaf cells.
Petite Mutants in Yeast: Result from mutations in mitochondrial DNA affecting respiration.
Slide 8: Importance of Extrachromosomal Inheritance
Evolution: Provides insight into the evolution of eukaryotic cells.
Medicine: Understanding mitochondrial inheritance helps in diagnosing and treating mitochondrial diseases.
Agriculture: Chloroplast inheritance can be used in plant breeding and genetic modification.
Slide 9: Recent Research and Advances
Gene Editing: Techniques like CRISPR-Cas9 are being used to edit mitochondrial and chloroplast DNA.
Therapies: Development of mitochondrial replacement therapy (MRT) for preventing mitochondrial diseases.
Slide 10: Conclusion
Summary: Extrachromosomal inheritance involves the transmission of genetic material outside the nucleus and plays a crucial role in genetics, medicine, and biotechnology.
Future Directions: Continued research and technological advancements hold promise for new treatments and applications.
Slide 11: Questions and Discussion
Invite Audience: Open the floor for any questions or further discussion on the topic.
THE IMPORTANCE OF MARTIAN ATMOSPHERE SAMPLE RETURN.Sérgio Sacani
The return of a sample of near-surface atmosphere from Mars would facilitate answers to several first-order science questions surrounding the formation and evolution of the planet. One of the important aspects of terrestrial planet formation in general is the role that primary atmospheres played in influencing the chemistry and structure of the planets and their antecedents. Studies of the martian atmosphere can be used to investigate the role of a primary atmosphere in its history. Atmosphere samples would also inform our understanding of the near-surface chemistry of the planet, and ultimately the prospects for life. High-precision isotopic analyses of constituent gases are needed to address these questions, requiring that the analyses are made on returned samples rather than in situ.
What is greenhouse gasses and how many gasses are there to affect the Earth.moosaasad1975
What are greenhouse gasses how they affect the earth and its environment what is the future of the environment and earth how the weather and the climate effects.
Observation of Io’s Resurfacing via Plume Deposition Using Ground-based Adapt...Sérgio Sacani
Since volcanic activity was first discovered on Io from Voyager images in 1979, changes
on Io’s surface have been monitored from both spacecraft and ground-based telescopes.
Here, we present the highest spatial resolution images of Io ever obtained from a groundbased telescope. These images, acquired by the SHARK-VIS instrument on the Large
Binocular Telescope, show evidence of a major resurfacing event on Io’s trailing hemisphere. When compared to the most recent spacecraft images, the SHARK-VIS images
show that a plume deposit from a powerful eruption at Pillan Patera has covered part
of the long-lived Pele plume deposit. Although this type of resurfacing event may be common on Io, few have been detected due to the rarity of spacecraft visits and the previously low spatial resolution available from Earth-based telescopes. The SHARK-VIS instrument ushers in a new era of high resolution imaging of Io’s surface using adaptive
optics at visible wavelengths.
1. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
Truth as a logical connective?
Shunsuke Yatabe
Center for Applied Philosophy and Ethics,
Graduate School of Letters,
Kyoto University
October 26, 2016
Kyoto Nonclassical Logic Workshop II
1 / 28
2. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
Abstract
• Question: Is it possible to think the truth predicate Tr of
Freidman-Sheared’s truth theory FS as a logical
connective because FS has two rules NEC, CONEC?
φ
Tr(φ)
NEC
Tr(φ)
φ CONEC
• Problem:
• Tr(x) cannot be a logical connective because it violates
the HARMONY between NEC and CONEC,
• In particular, FS is ω-inconsistent!
• Analysis:
• ω-inconsistency is due to the fact that infinite length
formulae are definable by finitely method.
• Traditional HARMONY works for inductively defined
formulae effectively, but not for infinite formulae
• Solution: If we extend the concept of HARMONY for
infinite formulae, we have a positive answer.
2 / 28
3. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
T-scheme and the liar
• Tarskian T-schemata (unrestricted form): for any formula
φ,
φ ≡ Tr(⌈φ⌉)
where ⌈φ⌉ is a Godel code of φ.
• The fixed point lemma: For any P(x), there is a closed
formula ψ such that ψ ≡ P(⌈ψ⌉).
• The liar paradox
Λ ≡ ¬Tr(⌈Λ⌉)
3 / 28
4. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
Two solutions
• The solution 1: keep classical logic
• abandan the full form of T-scheme(to exclude the liar
sentence)[Ha11]
e.g. Friedman-Sheared’s FS
φ
Tr(φ)
NEC
Tr(φ)
φ CONEC
• For any φ, T-sentence is provable
• But the T-sentence of the liar is a theorem of FS.
Such restrictions prevents that the theory implies the liar
sentence as a theorem.
• The solution 2: kepp the unrestricted form of T-schemata
• and abandon classical logic
• paracomplete logic([Fl08])
• paraconsistent logic([B08])
• fuzzy logic([?][R93]), etc.
4 / 28
5. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
Friedman-Sheared’s Axiomatic truth theory FS
FS = PA + the formal commutability of Tr
+ the introduction and the elimination rule of Tr
• Axioms and schemes of PA (mathematical induction for all
formulae including Tr)
• The formal commutability of the truth predicate:
• logical connectives
• for amy atomic formula ψ, Tr(⌈ψ⌉) ≡ ψ,
• (∀x ∈ Form)[Tr( ˙¬x) ≡ ¬Tr(x)],
• (∀x, y ∈ Form)[Tr(x ˙∧y) ≡ Tr(x) ∧ Tr(y)],
• (∀x, y ∈ Form)[Tr(x ˙∨y) ≡ ¬Tr(x) ∨ Tr(y)],
• (∀x, y ∈ Form)[Tr(x ˙→y) ≡ ¬Tr(x) → Tr(y)],
• quantifiers
• (∀x ∈ Form)[Tr(˙∀z x(z)) ≡ ∀zTr(x(z))],
• (∀x ∈ Form)[Tr(˙∃z x(z)) ≡ ∃zTr(x(z))],
• The introduction rule and the elimination rule of Tr(x)
φ
Tr(⌈φ⌉)
NEC
Tr(⌈φ⌉)
φ CONEC
where Form is a set of Godel code of formulae.
5 / 28
6. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
A proof theoretic semantics (PTS) of Tr (naive version)
FS’s two rules look like the introduction and the elimination
rule; Tr looks like a logical connective [Hj12]
φ
Tr(φ)
NEC
Tr(φ)
φ CONEC
• A (naive) proof theoretic semantics: the meaning of a
logical connective is given by the introduction rule
and the elimination rule
6 / 28
7. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
A motivation: Proof theoretic semantics(PTS)
A (naive) proof theoretic semantics:
the meaning of a logical connective is given by the
introduction rule and the elimination rule
• “the meaning of word is its use in the language”
(Wittgenstein)
• Some PTS people pointed out that a truth predicate with
NEC, CONEC can be regarded as a logical
connective[Hj12].
• To regard Tr as a logical connective involves the following:
• the essence of logical connectives is that the justification
of the consequence can be reduced to the justification
of the assumptions even though Tr is used in the
argument
(the the reducibility of the justifiability).
• So is the essence of Tr. In particular, we can reduce the
argument in which we use Tr to that which does not
contain Tr by finite steps.
7 / 28
8. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
The source of the problem: Deflationism
The deflationism requires the following two mutually
inconsistent conditions:
• Deflationists allows to assert “infinite conjunctions of
sentences ”by using truth predicate:
e.g. “ Everything he said is true”
Formally: Assume φ0, φ1, · · · is a recursive enumeration of
sentences, and f is a recursive function s.t. f(n) = ⌈φn⌉.
Then the following represents the infinite conjunction of
φ0 ∧ φ1 ∧ · · ·
∀xTr(f(x))
• Deflationists insist that truth’s influence to the semantics
should be limited:
• Truth must not involve any particular change to the
ontology!
• Connection to this talk: Logical connectives are typical
examples which do not involve ontological assertions
8 / 28
9. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
A problem: the violation of HARMONY
Tr(x) in FS cannot be a logical connective
because it violates the “HARMONY ”between the
introduction rule and the elimination rule.
9 / 28
10. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
What is “HARMONY”?
To say “Tr is a logical connective”, it must satisfy the
HARMONY between the introduction rule and the
elimination rule.
An example (TONK) The following connective without
HARMONY trivialize the system.
A
A tonk B
tonk +
A tonk B
B
tonk −
There are some criteria of “HARMONY”:
• Concervative extension (Belnap, Dummett)
For any φ which does not include Tr, if FS proves φ, then
PA proves it.
• Normalization of proofs (Dummett)
10 / 28
11. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
The violation of “HARMONY”
However, Tr does NOT satisfy the criteria of HARMONY:
• FS proves the consistency of PA: adding NEC, CONEC is
not a conservative extension!
• In particular, McGee’s : FS is ω-inconsistent [M85],
Actually NEC and CONEC make the number of provable
sentences drastically large!
What should we do if we want to say Tr is a logical connective?
11 / 28
12. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
ω-inconsistency?
Theorem[McGee] Any consistent truth theory T which include
PA and NEC and satisfies the following:
(1) (∀x, y)[x, y ∈→ (Tr(x ˙→y) → (Tr(x) → Tr(y)))],
(2) Tr(⊥) → ⊥,
(3) (∀x)[x ∈→ Tr(˙∀yx(y)) → (∀yTr(x(y)))]
Then T is ω-inconsistent
proof We define the following paradoxical sentence
γ ≡ ¬∀xTr(g(x, ⌈γ⌉))
where g is a recursive function s.t.
g(0, ⌈φ⌉) = ⌈Tr(⌈φ⌉)⌉
g(x + 1, ⌈φ⌉) = ⌈Tr(g(x, ⌈φ⌉))⌉)
12 / 28
13. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
ω-inconsistency? (conti.)
The intuitive meaning of γ (I don’t know how many Tr’s!)
γ ≡ ¬Tr(⌈Tr(⌈Tr(⌈Tr(⌈· · · ⌉)⌉)⌉)⌉)
Then we can prove γ: roughly
γ ≡ ¬Tr(⌈Tr(⌈Tr(⌈Tr(⌈· · · ⌉)⌉)⌉)⌉)
γ → ¬Tr(⌈Tr(⌈Tr(⌈Tr(⌈· · · ⌉)⌉)⌉)⌉)
Tr(⌈γ → ¬Tr(⌈Tr(⌈Tr(⌈Tr(⌈· · · ⌉)⌉)⌉)⌉)⌉)
Tr(⌈γ⌉) → Tr(⌈¬Tr(⌈Tr(⌈Tr(⌈Tr(⌈· · · ⌉)⌉)⌉)⌉)⌉)⌉)
Tr(⌈γ⌉) → ¬Tr(⌈Tr(⌈Tr(⌈Tr(⌈Tr(⌈· · · ⌉)⌉)⌉)⌉)⌉)⌉)
Tr(⌈γ⌉) → γ
FC
FC
And
¬γ → ∀xTr(g(x, ⌈γ⌉))
¬γ → Tr(g(¯0, ⌈γ⌉))
¬γ → Tr(⌈γ⌉)
Therefore Tr(⌈γ⌉) → γ and ¬γ → Tr(⌈γ⌉) implies,FS ⊢ ¬¬γ
though ¬Tr(g( ¯n, ⌈γ⌉) is provable for any n.
13 / 28
14. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
ω-inconsistency? (conti.)
This is ω-inconsistency:
• Since γ is provable, all
Tr(g(¯0, ⌈γ⌉)), Tr(g(¯1, ⌈γ⌉)), Tr(g(¯2, ⌈γ⌉)), · · · are provable.
Therefore, for any natural number n, Tr(g( ¯n, ⌈γ⌉)) is
provable.
• However, γ, i.e. ¬∀xTr(g(x, ⌈γ⌉)) is provable.
Model theoretically speaking, there is a non-standard natural
number d such that ¬Tr(g(d, ⌈γ⌉)) in any model of FS.
Intuitively it is of the form ¬ Tr(⌈Tr(⌈Tr(⌈Tr(⌈· · · ⌉)⌉)⌉)⌉)
length d
.
14 / 28
15. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
How can we interpret paradoxical sentences?
The provability of the consistency of PA and ω-inconsistency
shares the same reason:
• Tr identify (real) formulae with Godel codes.
• So we can apparently define recursive, infinitely
operation on formulae.
• This makes us to define the following formulae:
McGee ¬Tr(⌈Tr(⌈Tr(⌈Tr(⌈· · · ⌉)⌉)⌉)⌉)
(Non-standard length, e.g. infinite length!)
Yablo S0 ≡ ¬Tr(S1) ¯∧(¬Tr(S2) ¯∧(¬Tr(S3) ¯∧ · · · ))
(we note that Si ≡ ¬Tr(⌈Si+1⌉) ¯∧Si+2)
• These infinite sentences are definable because of the
deflationism.
15 / 28
16. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
How to define a logical connective to infinite formulae?
• We should extend the concept of “being a logical
connective” for infinite formulae naturally.
• If it is enough natural, then we can expect that Tr does not
imply the ontrogical involvement, i.e. ω-inconsistency
• because Tr can be regarded as a logical connective, i.e.
with no ontrogical commitment, then.
• Such natural extansion way is known as coinduction.
16 / 28
17. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
Remember: Induction
To compare with the coinduction, first let us introduce a typical
example of the inductive definition.
• For any set A, the list ofA can be constructed as
⟨A<ω, η : (1 + (A × A<ω)) → A<ω⟩ by:
• the first step: empty sequence ⟨⟩
• the successor step: For all a0 ∈ A and sequence
⟨a1, · · · , an⟩ ∈ A<ω
η(a0, ⟨a1, · · · , an⟩) = ⟨a0, a1, · · · , an⟩ ∈ A<ω
17 / 28
18. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
Thinking its meaning
Gentzen (1934, p. 80)
The introductions represent, as it were, the ‘definitions’ of the
symbols concerned, and the eliminations are no more, in the
final analysis, than the consequences of these definitions.
The meaning of induction is given by the introduction rule,
• the constructor η represents the introduction rule For
any a0 ∈ A and sequence ⟨a1, · · · , an⟩ ∈ A<ω,
η(a0, ⟨a1, · · · , an⟩) = ⟨a0, a1, · · · , an⟩ ∈ A<ω
• the elimination rule γ is determined in relation to the
introduction rule which satisfies the HARMONY,
18 / 28
19. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
The elimination rule and recursive computation
Prawitz (1965, p. 33)“ inversion principle ”
Let α be an application of an elimination rule that has β as
consequence. Then, deductions that satisfy the sufficient
condition [...] for deriving the major premiss of α, when
combined with deductions of the minor premisses of α (if any),
already “contain” a deduction of β; the deduction of β is thus
obtainable directly from the given deductions without the
addition of α.
....
A
....
β
A ∧ β
∧+
[v : A]....
β
β
α
⇒
....
A....
β
The proof by the elimination rule should have the
corresponding recursive function:
• Input: the proof tree of β with α lefthand-side
• Output: the proof tree of β without α righthand-side
19 / 28
20. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
Thinking its meaning (revised)
• the constructor η represents the introduction rule For any
a0 ∈ A and sequence ⟨a1, · · · , an⟩ ∈ A<ω,
η(a0, ⟨a1, · · · , an⟩) = ⟨a0, a1, · · · , an⟩ ∈ A<ω
• the elimination rule γ is represented as a recursive
function over the datatype of formulae inductively defined
by the introduction rule.
The recursive function can be identified with the recursive
procedure of the cut elimination or the normalization of proofs.
20 / 28
21. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
Coinduction
• infinite streams of A is defined as
⟨A∞, γ : A∞ → (A × A∞)⟩:
• Their intuitive meaning is infinite streams of the form
⟨a0, a1, · · ·⟩ ∈ A∞
γ(⟨a0, a1, · · ·⟩) = (a0, ⟨a1, · · · ⟩) ∈ (A × A∞
)
γ is a function which pick up the first element a0 of the
stream.
• Coinduction represents the intuition such that finitely
operations on the first element of the infinite sequence is
possible to compute (Productivity).
Actually NEC, CONEC only care about the productivity (or
1-step computation)!
φ
Tr(φ)
NEC
Tr(φ)
φ CONEC
21 / 28
22. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
Thinking its meaning
The meaning of coinduction is by the elimination rule.
• de-constructor γ represents the elimination rule [S12], for
any infinite stream ⟨a0, a1, · · · ⟩ ∈ A∞,
γ(⟨a0, a1, · · · ⟩) = (a0, ⟨a1, · · · ⟩) ∈ (A × A∞
)
γ is a function wich picks up the first element a0.
• the introduction rule is known to have to satisfy the
condition (the guarded corecursion) which corresponds
to the failure of the formal commutativity of Tr.
The final algebra which has the same structure to streams is
called weakly final coalgebra
22 / 28
23. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
What is a guarded corecursive function?
• Remember: a property of stream = infinite as a whole, but
1 step computation is possible
• Guarded corecursion guarantees the productivity of
functions over coinductive datatypes.
• for any recursive function f,
map : (A → B) → A∞
→ B∞
is defined as
map f ⟨x, x0, · · · ⟩ = ⟨ f(x)⟩
finite part
⌢ (♯ map f⟨x0, x1, · · · ⟩)
infinite part
where ⌢ means the concatenation of two sequence.
• Here recursive call of map only appears inside ♯,
23 / 28
24. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
The introduction rule and guarded corecursive function
Analogy to the inductive case: the proof by the introduction
rule should have the corresponding guarded corecursive
function:
• Input: the (coinductive) proof tree with the use of the
introduction rule
• Output: the proof tree without the use of the
introduction rule
24 / 28
25. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
The guarded corecursion and the failure of Formal
commutability
Remember:
ω-inconsistency = PA + the formal commutability of Tr
+NEC+CONEC
• The formal commutability violates the guardedness!
Tr(⌈γ → ¬Tr(⌈Tr(⌈· · · ⌉)⌉)⌉)
Tr(⌈γ⌉) → ¬Tr(⌈Tr(⌈Tr(⌈· · · ⌉)⌉)⌉)
FS
Both γ and Tr(⌈Tr(⌈Tr(⌈· · · ⌉)⌉)⌉) are coinductive objects:
• To calculate the value of Tr(⌈γ → ¬Tr(⌈Tr(⌈· · · ⌉)⌉)⌉), we
should calculate the both the value of Tr(⌈γ⌉) and
¬Tr(⌈Tr(⌈Tr(⌈· · · ⌉)⌉)⌉).
• But Tr(⌈γ⌉) is also coinductive object, therefore the
calculation of the first value Tr(⌈γ⌉) never terminates,
• therefore this violates the productivity.
• Therefore Tr with the formal commutability cannot be a
logical connective!!
25 / 28
26. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
The solution
If we abandon the FC, we can regard Tr as a logical
connective in the extended sense.
• the truth theory Gi over Heyting arithmetic within the
intuitionistic logic with two rules NEC, CONEC, and
various formal commutativity conditions except, in
particular, Tr(A → B) → Tr(A) → Tr(B), satisifies the
following theorem [LgR12].
theorem(Leigh-Rathjen) Gi is ω-consistent.
Gi proves that it is consistent that Tr can be regarded as a
logical connective and it is ω-consistent.
• This seems to suggest that their relationship between to
be a logical connective and to be ω-consistent.
26 / 28
27. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
Truth predicate as a de-constructor of a coinductive
datatype of formulae
In Gi, we can say the following:
• the meaning of truth predicate is given by the elimination
rule (CONEC),
• the introduction rule is given by the guarded corecursion,
If we extend the concept of HARMONY for coinductive objects,
then we can say “Tr in Gi is a logical connective”.
• The nature of truth predicate here is to make it
possible to define coinductive formula of infinite
length.
• The truth conception here guarantees the reducibility of
the argument,
• the essence is that the truth predicate never prevent the
reducibility from the assumption to the consequence.
27 / 28
28. Truth as a
logical
connective?
Shunsuke
Yatabe
Introduction
FS
PTS of Tr
Motivations
A problem
HARMONY
McGee’s Theorem
Analysis
Interpreting γ
PTS for inductive
formulae
Solution: The
HARMONY
extended
PTS for coinductive
formulae
The failure of FC
Reference
Jc Beal. Spandrels of Truth. Oxford University press (2008)
Hartry Field. “Saving Truth From Paradox” Oxford (2008)
Hannes Leitgeb. “Theories of truth which have no standard
models” Studia Logica, 68 (2001) 69-87.
Vann McGee. “How truthlike can a predicate be? A negative
result” Journal of Philosophical Logic, 17 (1985): 399-410.
Halbach, Volker, 2011, Axiomatic Theories of Truth, Cambridge
University Press.
Ole Hjortland, 2012, HARMONY and the Context of Deducibility,
in Insolubles and Consequences College Publications
Graham E. Leigh and Michael Rathjen. The Friedman-Sheard
programme in intuitionistic logic Journal of Symbolic Logic 77(3)
pp. 777-806. (2012)
Greg Restall “Arithmetic and Truth in Łukasiewicz’s Infinitely
Valued Logic” Logique et Analyse 36 (1993) 25-38.
28 / 28