[图书][B] Truth and falsehood: An inquiry into generalized logical values
The book presents a thoroughly elaborated logical theory of generalized truth-values
understood as subsets of some established set of (basic) truth values. After elucidating the …
understood as subsets of some established set of (basic) truth values. After elucidating the …
Everything, everywhere, but not all at once? Time, contingency and the open future
J Morgan - Journal for the Theory of Social Behaviour, 2024 - Wiley Online Library
The subject of this special forum is contingency and the openness of the future, and in this
essay we take a route not often travelled in regard of these and focus first on philosophy of …
essay we take a route not often travelled in regard of these and focus first on philosophy of …
A fully classical truth theory characterized by substructural means
FM Pailos - The Review of Symbolic Logic, 2020 - cambridge.org
We will present a three-valued consequence relation for metainferences, called CM, defined
through ST and TS, two well known substructural consequence relations for inferences …
through ST and TS, two well known substructural consequence relations for inferences …
[图书][B] The grammar of the utterance: How to do things with Ibero-Romance
A Corr - 2022 - books.google.com
This book examines how speakers of Ibero-Romance'do things' with conversational units of
language, paying particular attention to what they do with i) vocatives, interjections, and …
language, paying particular attention to what they do with i) vocatives, interjections, and …
Playing quantitative games against an authority: on the module checking problem
Module checking is a decision problem to formalize the verification of (possibly multi-agent)
systems that must adapt their behavior to the input they receive from the environment, also …
systems that must adapt their behavior to the input they receive from the environment, also …
Paraconsistent logic
D Ripley - Journal of Philosophical Logic, 2015 - Springer
In some logics, anything whatsoever follows from a contradiction; call these logics explosive.
Paraconsistent logics are logics that are not explosive. Paraconsistent logics have a long …
Paraconsistent logics are logics that are not explosive. Paraconsistent logics have a long …
[图书][B] Cognitive bias in intelligence analysis: Testing the analysis of competing hypotheses method
M Whitesmith - 2020 - books.google.com
Tests whether the analysis of competing hypotheses reduces cognitive bias, and proposes a
more effective approachReveals that a key element of current training provided to the UK …
more effective approachReveals that a key element of current training provided to the UK …
What is a paraconsistent logic?
Paraconsistent logics are logical systems that reject the classical principle, usually dubbed
Explosion, that a contradiction implies everything. However, the received view about …
Explosion, that a contradiction implies everything. However, the received view about …
[图书][B] From Whorf to Montague: Explorations in the theory of language
PAM Seuren - 2013 - books.google.com
This book explores the relations between language, the world, the minds of individual
speakers, and the collective minds of particular language communities. Pieter Seuren …
speakers, and the collective minds of particular language communities. Pieter Seuren …
Truth, falsehood, information and beyond: the American plan generalized
Y Shramko - J. Michael Dunn on Information Based Logics, 2016 - Springer
This paper highlights the importance of a strategy for semantic analysis initiated by J.
Michael Dunn, known in the literature as the “American Plan.” The key insight of the plan …
Michael Dunn, known in the literature as the “American Plan.” The key insight of the plan …