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:  
Hintikka on analyticity
Springer Science and Business Media LLC - Tập 3 - Trang 419-431 - 1974
J. F. A. K. Van Benthem
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ộ
Lucas' number is finally up
Springer Science and Business Media LLC - Tập 11 - Trang 279-285 - 1982
G. Lee Bowie
Adding a Conditional to Kripke’s Theory of Truth
Springer Science and Business Media LLC - Tập 45 - Trang 485-529 - 2016
Lorenzo Rossi
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 ...... hiện toàn bộ
Proof-Theoretic Semantics and Inquisitive Logic
Springer Science and Business Media LLC - Tập 50 - Trang 1199-1229 - 2021
Will Stafford
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...... hiện toàn bộ
Foreword
Springer Science and Business Media LLC - Tập 2 - Trang 417-417 - 1973
Is the semantics of branching structures adequate for non-metric Ockhamist tense logics?
Springer Science and Business Media LLC - Tập 8 - Trang 477-478 - 1979
Hirokazu Nishimura
Categorial grammar and type theory
Springer Science and Business Media LLC - Tập 19 - Trang 115-168 - 1990
Johan Van Benthem
Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics
Springer Science and Business Media LLC - Tập 51 - Trang 249-281 - 2021
Antonio Piccolomini d’Aragona
Prawitz has recently developed a theory of epistemic grounding that differs in many respects from his earlier semantics of arguments and proofs. An innovative approach to (valid) inferences yields a new conception of the intertwinement of the notions of valid inference and proof. We aim at singling out three reasons that may have led Prawitz to the ground-theoretic turn, i.e.: a better order in th...... hiện toàn bộ
Normal, Sasaki, and classical implications
Springer Science and Business Media LLC - Tập 8 - Trang 243-245 - 1979
J. Jay Zeman
Tổng số: 1,106   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10