Springer Science and Business Media LLC
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
Modal Languages and Bounded Fragments of Predicate Logic
Springer Science and Business Media LLC - Tập 27 - Trang 217-274 - 1998
Semantics for the Logic of Essence
Springer Science and Business Media LLC - Tập 29 - Trang 543-584 - 2000
This paper provides a possible worlds semantics for the system of the author's
previous paper ‘The Logic of Essence’. The basic idea behind the semantics is
that a statement should be taken to be true in virtue of the nature of certain
objects just in case it is true in any possible world compatible with the nature
of those objects. It is shown that a slight variant of the original system is
sound...
Natural deduction, separation, and the meaning of logical operators
Springer Science and Business Media LLC - Tập 7 - Trang 245-276 - 1978
Contraction, Infinitary Quantifiers, and Omega Paradoxes
Springer Science and Business Media LLC - Tập 47 - Trang 611-629 - 2017
Our main goal is to investigate whether the infinitary rules for the quantifiers
endorsed by Elia Zardini in a recent paper are plausible. First, we will argue
that they are problematic in several ways, especially due to their infinitary
features. Secondly, we will show that even if these worries are somehow dealt
with, there is another serious issue with them. They produce a truth-theoretic
parad...
Predicate Change
Springer Science and Business Media LLC - Tập 49 - Trang 1159-1183 - 2020
Like belief revision, conceptual change has rational aspects. The paper
discusses this for predicate change. We determine the meaning of predicates by a
set of imaginable instances, i.e., conceptually consistent entities that fall
under the predicate. Predicate change is then an alteration of which possible
entities are instances of a concept. The recent exclusion of Pluto from the
category of pla...
Vagueness: Why Do We Believe in Tolerance?
Springer Science and Business Media LLC - Tập 44 - Trang 663-679 - 2015
The tolerance principle, the idea that vague predicates are insensitive to
sufficiently small changes, remains the main bone of contention between theories
of vagueness. In this paper I examine three sources behind our ordinary belief
in the tolerance principle, to establish whether any of them might give us a
good reason to revise classical logic. First, I compare our understanding of
tolerance i...
The Paradox of Inference and the Non-Triviality of Analytic Information
Springer Science and Business Media LLC - Tập 39 - Trang 473-510 - 2010
The classical theory of semantic information (ESI), as formulated by Bar-Hillel
and Carnap in 1952, does not give a satisfactory account of the problem of what
information, if any, analytically and/or logically true sentences have to offer.
According to ESI, analytically true sentences lack informational content, and
any two analytically equivalent sentences convey the same piece of information.
T...
Higher-Order Logic and Disquotational Truth
Springer Science and Business Media LLC - Tập 51 - Trang 879-918 - 2022
Truth predicates are widely believed to be capable of serving a certain logical
or quasi-logical function. There is little consensus, however, on the exact
nature of this function. We offer a series of formal results in support of the
thesis that disquotational truth is a device to simulate higher-order resources
in a first-order setting. More specifically, we show that any theory formulated
in a ...
Tổng số: 1,106
- 1
- 2
- 3
- 4
- 5
- 6
- 10