Results 11 to 20 of about 101 (42)
Sometime a Paradox, Now Proof: Non-First-Order-izability of Yablo's Paradox
, 2020 Paradoxes are interesting puzzles in philosophy and mathematics, and they could be even more fascinating, when turned into proofs and theorems. For example, Liar's paradox can be translated into a propositional tautology, and Barber's paradox turns into ...
Salehi, Saeed
core +1 more source
A Note on a Modified Catuskoti [PDF]
, 2014 The `catuskoti' or tetralemma in Buddhist logic is a problematic subject from the modern logical point of view. Recently a many-valued paraconsistent logic was proposed in order to formalize catuskoti adequately by G. Priest.
Makino, Tetu
core +2 more sources
An Arithmetization of Logical Oppositions [PDF]
, 2016 An arithmetic theory of oppositions is devised by comparing expressions, Boolean bitstrings, and integers. This leads to a set of correspondences between three domains of investigation, namely: logic, geometry, and arithmetic.
Schang, Fabien
core
The Incorrect Usage of Propositional Logic in Game Theory: The Case of Disproving Oneself [PDF]
, 2015 Recently, we had to realize that more and more game theoretical articles have been published in peer-reviewed journals with severe logical deficiencies. In particular, we observed that the indirect proof was not applied correctly.
Meinhardt, Holger Ingmar
core +3 more sources
Ready for Robot Colleagues? : Affective Attitudes and Prejudice Toward Sharing the Work Domain with Robots [PDF]
, 2022 Robots and artificial intelligence are increasingly utilized for labor in various occupational fields. The interest in designing advanced technological solutions suitable for environments outside of manufacturing has not only shifted to home and leisure ...
Savela, Nina
core
AN OUTSPREAD ON VALUED LOGIC SUPERHYPERALGEBRAS [PDF]
In all classical logical algebras, only two elements can be equated to one element, and this is not possible when we want to equate more than two elements to one or more than one element. In this study, we are looking for a new idea to cover this defect.
Daneshpayeh, Roohallah +1 more
core +1 more source
Normalisation and subformula property for a system of classical logic with Tarski's rule [PDF]
, 2021 This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures ...
Kurbis, N
core
Automatic error localisation for categorical, continuous and integer data [PDF]
, 2005 Data collected by statistical offices generally contain errors, which have to be corrected before reliable data can be published. This correction process is referred to as statistical data editing. At statistical offices, certain rules, so-called edits,
Waal, Ton de
core +2 more sources
Does Logic Help Us Beat Monty Hall? [PDF]
, 2017 The classical Monty Hall problem entails that a hypothetical game show contestant be presented three doors and told that behind one door is a car and behind the other two are far less appealing prizes, like goats.
Hammett, Adam J. +2 more
core +1 more source
On a Multiple-Choice Guessing Game [PDF]
, 2016 We consider the following game (a generalization of a binary version explored by Hammett and Oman): the first player (“Ann”) chooses a (uniformly) random integer from the first n positive integers, which is not revealed to the second player (“Gus”). Then,
Cushman, Ryan, Hammett, Adam J.
core +1 more source