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:  
Semantics for the Logic of Essence
Springer Science and Business Media LLC - Tập 29 - Trang 543-584 - 2000
Kit Fine
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...... hiện toàn bộ
Modal Languages and Bounded Fragments of Predicate Logic
Springer Science and Business Media LLC - Tập 27 - Trang 217-274 - 1998
Hajnal Andréka, István Németi, Johan van Benthem
Natural deduction, separation, and the meaning of logical operators
Springer Science and Business Media LLC - Tập 7 - Trang 245-276 - 1978
Kent Bendall
Hintikka on analyticity
Springer Science and Business Media LLC - Tập 3 - Trang 419-431 - 1974
J. F. A. K. Van Benthem
Contraction, Infinitary Quantifiers, and Omega Paradoxes
Springer Science and Business Media LLC - Tập 47 - Trang 611-629 - 2017
Bruno Da Ré, Lucas Rosenblatt
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...... hiện toàn bộ
The true modal logic
Springer Science and Business Media LLC - Tập 20 - Trang 331-374 - 1991
Christopher Menzel
Predicate Change
Springer Science and Business Media LLC - Tập 49 - Trang 1159-1183 - 2020
Corina Strößner
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...... hiện toàn bộ
Vagueness: Why Do We Believe in Tolerance?
Springer Science and Business Media LLC - Tập 44 - Trang 663-679 - 2015
Paul Égré
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...... hiện toàn bộ
The Paradox of Inference and the Non-Triviality of Analytic Information
Springer Science and Business Media LLC - Tập 39 - Trang 473-510 - 2010
Marie Duží
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...... hiện toàn bộ
Higher-Order Logic and Disquotational Truth
Springer Science and Business Media LLC - Tập 51 - Trang 879-918 - 2022
Lavinia Picollo, Thomas Schindler
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 ...... hiện toàn bộ
Tổng số: 1,106   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10