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
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......
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......
Adding a Conditional to Kripke’s Theory of Truth
Springer Science and Business Media LLC - Tập 45 - Trang 485-529 - 2016
Kripke’s theory of truth (Kripke, The Journal of Philosophy
72(19), 690–716; 1975) has been very successful but shows well-known expressive difficulties; recently, Field has proposed to overcome them by adding a new conditional connective to it. In Field’s theories, desirable conditional and truth-theoretic principles are validated that Kripke’s theory does not yield. Some ......
Bounded Revision: Two-Dimensional Belief Change Between Conservative and Moderate Revision
Springer Science and Business Media LLC - Tập 41 - Trang 173-200 - 2011
This paper presents the model of ‘bounded revision’ that is based on two-dimensional revision functions taking as arguments pairs consisting of an input sentence and a reference sentence. The key idea is that the input sentence is accepted as far as (and just a little further than) the reference sentence is ‘cotenable’ with it. Bounded revision satisfies the AGM axioms as well as the Same Beliefs ......
Proof-Theoretic Semantics and Inquisitive Logic
Springer Science and Business Media LLC - Tập 50 - Trang 1199-1229 - 2021
Prawitz (1971) conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister (2019). This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalis......
Tổng số: 1,106
- 1
- 2
- 3
- 4
- 5
- 6
- 10