We give a complete characterization of Priest's Finite Inconsistent Arithmetics observing that his original putative characterization included arithmetics which cannot in fact be realized. 相似文献
A paradox of self-reference in beliefs in games is identified, which yields a game-theoretic impossibility theorem akin to Russell’s Paradox. An informal version of the paradox is that the following configuration of beliefs is impossible:Ann believes that Bob assumes thatAnn believes that Bob’s assumption is wrongThis is formalized to show that any belief model of a certain kind must have a ‘hole.’ An interpretation of the result is that if the analyst’s tools are available to the players in a game, then there are statements that the players can think about but cannot assume. Connections are made to some questions in the foundations of game theory.Special Issue Ways of Worlds II. On Possible Worlds and Related Notions Edited by Vincent F. Hendricks and Stig Andur Pedersen 相似文献
If we agree with Michael Jubien that propositions do not exist, while accepting the existence of abstract sets in a realist
mathematical ontology, then the combined effect of these ontological commitments has surprising implications for the metaphysics
of modal logic, the ontology of logically possible worlds, and the controversy over modal realism versus actualism. Logically
possible worlds as maximally consistent proposition sets exist if sets generally exist, but are equivalently expressed as
maximally consistent conjunctions of the same propositions in corresponding sets. A conjunction of propositions, even if infinite
in extent, is nevertheless itself a proposition. If sets and hence proposition sets exist but propositions do not exist, then
whether or not modal realism is true depends on which of two apparently equivalent methods of identifying, representing, or
characterizing logically possible worlds we choose to adopt. I consider a number of reactions to the problem, concluding that
the best solution may be to reject the conventional model set theoretical concept of logically possible worlds as maximally
consistent proposition sets, and distinguishing between the actual world alone as maximally consistent and interpreting all
nonactual merely logically possible worlds as submaximal.
I am grateful to the Netherlands Institute for Advanced Study in the Humanities and Social Sciences (NIAS), Royal Netherlands
Academy of Arts and Sciences (KNAW), for supporting this among related research projects in philosophical logic and philosophy
of mathematics during my Resident Research Fellowship in 2005-2006. 相似文献
We introduce a generalization of MV algebras motivated by the investigations into the structure of quantum logical gates.
After laying down the foundations of the structure theory for such quasi-MV algebras, we show that every quasi-MV algebra is embeddable into the direct product of an MV algebra and a “flat” quasi-MV
algebra, and prove a completeness result w.r.t. a standard quasi-MV algebra over the complex numbers.
Presented by Heinrich Wansing相似文献
A proposal by Ferguson [2003, Argumentation17, 335–346] for a fully monotonic argument form allowing for the expression of defeasible generalizations is critically examined and rejected as a general solution. It is argued that (i) his proposal reaches less than the default-logician’s solution allows, e.g., the monotonously derived conclusion is one-sided and itself not defeasible. (ii) when applied to a suitable example, his proposal derives the wrong conclusion. Unsuccessful remedies are discussed. 相似文献
This paper presents Automath encodings (which are also valid in LF/λP) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to find out which foundation is the simplest.
The systems analyzed in this way are two kinds of set theory (ZFC and NF), two systems based on Church's higher order logic (Isabelle/Pure and HOL), three kinds of type theory (the calculus of constructions, Luo's extended calculus of constructions, and Martin-Löf's predicative type theory) and one foundation based on category theory.
The conclusions of this paper are that the simplest system is type theory (the calculus of constructions), but that type theories that know about serious mathematics are not simple at all. In that case the set theories are the simplest. If one looks at the number of concepts needed to explain such a system, then higher order logic is the simplest, with twenty-five concepts. On the other side of the scale, category theory is relatively complex, as is Martin-Löf's type theory.
(The full Automath sources of the contexts described in this paper are one the web at http://www.cs.ru.nl/~freek/zfc-etc/.) 相似文献
We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language)
and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its
expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic
the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power
of its first-order correspondence language, so both can express the same input–output behavior of processes. 相似文献
This paper makes a point about the interpretation of the simplestquantified modal logic, that is, quantified modal logic witha single domain. It is commonly assumed that the domain in questionis to be understood as the set of all possibile objects. Thepoint of the paper is that this assumption is misguided. 相似文献
We investigate certain aspects of the first-order theory oforthogonality structures - structures consisting of a domainof lines subject to a binary orthogonality relation. In particular,we establish definitions of various geometric and algebraicnotions in terms of orthogonality, describe the constructionof extremal subspaces using orthogonality, and show that thefirst-order theory of line orthogonality in the Euclidean n-spaceis not 0-categorical for n 3. 相似文献