排序方式： 共有161条查询结果，搜索用时 15 毫秒
41.
42.
Steinar Bøyum 《Studies in Philosophy and Education》2007,26(1):43-56
In this paper, I explore different ways of picturing language learning in philosophy, all of them inspired by Wittgenstein and all of them concerned about scepticism of meaning. I start by outlining the two pictures of children and language learning that emerge from Kripke’s famous reading of Wittgenstein. Next, I explore how social-pragmatic readings, represented by Meredith Williams, attempt to answer the sceptical anxieties. Finally, drawing somewhat on Stanley Cavell, I try to resolve these issues by investigating what characteristically happens to our view of language learning when we do philosophy. The focus throughout is on the relation between the individual (the learning child) and the community (usually represented by the parents), and how that relation is deformed when we operate with a certain philosophical notion of ground. 相似文献
43.
44.
In Fan's 2019 article, “Symmetric Contingency Logic with Unlimitedly Many Modalities”, it is left as an open question in Fan (2019b) how to (completely) axiomatize contingency logic over the class of symmetric and transitive frames, and conjectured that is the desired axiomatization. In the current article, we show that the conjecture is false, and then propose a desired axiomatization, thereby answering the open question. Beyond these results, we also present a family of axiomatizations of contingency logic over Kripke frames. 相似文献
45.
TUOMAS E. TAHKO 《Theoria》2009,75(4):344-357
This article challenges the Kripkean interpretation of a posteriori necessities. It will be demonstrated, by an analysis of classic examples, that the modal content of supposed a posteriori necessities is more complicated than the Kripkean line suggests. We will see that further research is needed concerning the a priori principles underlying all a posteriori necessities. In the course of this analysis it will emerge that the modal content of a posteriori necessities can best be described in terms of a Finean conception of modality – by giving essences priority over modality. The upshot of this is that we might be able to establish the necessity of certain supposed a posteriori necessities by a priori means. 相似文献
46.
We introduce Gentzen calculi for intuitionistic logic extended with an existence predicate. Such a logic was first introduced
by Dana Scott, who provided a proof system for it in Hilbert style. We prove that the Gentzen calculus has cut elimination
in so far that all cuts can be restricted to very simple ones. Applications of this logic to Skolemization, truth value logics
and linear frames are also discussed. 相似文献
47.
We introduce various sequent systems for propositional logicshaving strict implication, and prove the completeness theoremsand the finite model properties of these systems.The cut-eliminationtheorems or the (modified) subformula properties are provedsemantically. 相似文献
48.
49.
50.
Kile Jones 《World Futures: Journal of General Evolution》2013,69(3):179-186
Bistable, autonomously growing and self‐maintaining dynamical systems possess a new mathematical and applicational aspect: they can switch toward (physical) existence. Larger dynamical systems containing such flip‐flops as subsystems are frequent. The mathematical prototype is a special type of Z2‐networks, termed a competence automaton. A chemical implementation is the ‘magic soup.’ It constitutes a general model for life‐type evolution processes including economic evolution. 相似文献