共查询到20条相似文献,搜索用时 31 毫秒
1.
Larisa L. Maksimova 《Studia Logica》1979,38(4):419-428
A family of prepositional logics is considered to be intermediate between the intuitionistic and classical ones. The generalized interpolation property is defined and proved is the following. Theorem on interpolation. For every intermediate logic L the following statements are equivalent:
- Craig's interpolation theorem holds in L,
- L possesses the generalized interpolation property,
- Robinson's consistency statement is true in L.
2.
Dov M. Gabbay 《Studia Logica》2009,93(2-3):357-381
In 2005 the author introduced networks which allow attacks on attacks of any level. So if a → b reads a attacks b, then this attack can itself be attacked by another node c. This attack itself can attack another node d. This situation can be iterated to any level with attacks and nodes attacking other attacks and other nodes. In this paper we provide semantics (of extensions) to such networks. We offer three different approaches to obtaining semantics.
- The translation approach This uses the methodology of ‘Logic by translation’. We translate faithfully the new networks into ordinary Dung networks with more nodes and extract the semantics from the translation.
- The labelling approach This method regards the arrows as additional entities to be attacked and to mount attacks and applies a variation of the usual machinery of Camindada like labelling to the network. The new concept we need to employ here is that of ‘joint attacks’.
- The logic programming approach We translate the higher level network into a logic program and obtain semantics for it through known semantics for logic programs.
3.
Carl J. Posy 《Topoi》1982,1(1-2):30-43
IPC, the intuitionistic predicate calculus, has the property
- Vc(Γ?A c /x) ? Γ??xA.Furthermore, for certain important Γ, IPC has the converse property
- Γ??xA ? Vc(Γ?A c /x).
- may be given up in various ways, corresponding to different philosophic intuitions and yielding different systems of intuitionistic free logic. The present paper proves the strong completeness of several of these with respect to Kripke style semantics. It also shows that giving up (i) need not force us to abandon the analogue of (ii).
4.
Pierluigi Minari 《Studia Logica》1986,45(1):55-68
LetSKP be the intermediate prepositional logic obtained by adding toI (intuitionistic p.l.) the axiom schemes:S = ((? ?α→α)→α∨ ?α)→ ?α∨ ??α (Scott), andKP = (?α→β∨γ)→(?α→β)∨(?α→γ) (Kreisel-Putnam). Using Kripke's semantics, we prove:
- SKP has the finite model property;
- SKP has the disjunction property.
5.
Keith A. Kearnes 《Studia Logica》2006,83(1-3):333-349
Let FΛ be a finite dimensional path algebra of a quiver Λ over a field F. Let L and R denote the varieties of all left and right FΛ-modules respectively. We prove the equivalence of the following statements.
- The subvariety lattice of L is a sublattice of the subquasivariety lattice of L.
- The subquasivariety lattice of R is distributive.
- Λ is an ordered forest.
6.
Andrzej W. Jankowski 《Studia Logica》1984,43(4):341-351
This paper is closely related to investigations of abstract properties of basic logical notions expressible in terms of closure spaces as they were begun by A. Tarski (see [6]). We shall prove many properties of ω-conjunctive closure spaces (X is ω-conjunctive provided that for every two elements of X their conjunction in X exists). For example we prove the following theorems:
- For every closed and proper subset of an ω-conjunctive closure space its interior is empty (i.e. it is a boundary set).
- If X is an ω-conjunctive closure space which satisfies the ω-compactness theorem and \(\hat P\) [X] is a meet-distributive semilattice (see [3]), then the lattice of all closed subsets in X is a Heyting lattice.
- A closure space is linear iff it is an ω-conjunctive and topological space.
- Every continuous function preserves all conjunctions.
7.
Andrzej Sendlewski 《Studia Logica》1995,55(3):377-388
We study axiomatic extensions of the propositional constructive logic with strong negation having the disjunction property in terms of corresponding to them varieties of Nelson algebras. Any such varietyV is characterized by the property: (PQWC) ifA,B εV, thenA×B is a homomorphic image of some well-connected algebra ofV. We prove:
- each varietyV of Nelson algebras with PQWC lies in the fibre σ?1(W) for some varietyW of Heyting algebras having PQWC,
- for any varietyW of Heyting algebras with PQWC the least and the greatest varieties in σ?1(W) have PQWC,
- there exist varietiesW of Heyting algebras having PQWC such that σ?1(W) contains infinitely many varieties (of Nelson algebras) with PQWC.
8.
The negative consequences of physicians' failure to establish and maintain personal relationships with patients are at the heart of the “humanistic crisis” in medicine. To resolve this crisis, a new model of doctor-patient interaction is proposed, based on the ideas of Martin Buber's philosophy of dialogue. This model shows how the physican may successfully combine the personal (I-Thou) and impersonal (I-It) aspects of medicine in three stages. These “Three Stages of Medical Dialogue” include:
- An Initial Personal Meeting stage, which initiates the doctor-patient relationship and involves mutual confirmation;
- An Examination stage, which requires a shift from a personal to an impersonal style of interaction;
- An Integration Through Dialogue or “Healing Through Meeting’ Stage, which involves the integration of the impersonal medical data into the ongoing dialogue between doctor and patient, as a basis for shared decision-making.
9.
Arthur W. Burks 《Synthese》1996,106(3):323-372
In this paper I synthesize a unified system out of Peirce's life work, and name it “Peirce's Evolutionary Pragmatic Idealism”. Peirce developed this philosophy in four stages:
- His 1868–69 theory that cognition is a continuous and infinite social semiotic process, in which Man is a sign.
- His Popular Science Monthly pragmatism and frequency theory of probabilistic induction.
- His 1891–93 cosmic evolutionism of Tychism, Synechism, and Agapism.
- Pragmaticism: The doctrine of real potentialities (“would-be's”), and Peirce's pragmatic program for developing concrete reasonableness.
10.
John Skorupski 《Ethical Theory and Moral Practice》2010,13(2):125-136
The subject of this paper is sentimentalism. In broad terms this is the view that value concepts, moral concepts, practical reasons—some or all of these—can be analysed in terms of feeling, sentiment or emotion. More specifically, the paper discusses the following theses:
- there are reasons to feel (‘evaluative’ reasons) that are not reducible to practical or epistemic reasons
- value is analysable in terms of these reasons to feel.
- all practical reasons are in one way or another grounded in evaluative reasons.
11.
Carlos Areces Patrick Blackburn Antonia Huertas María Manzano 《Journal of Philosophical Logic》2014,43(2-3):209-238
We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret \(@_i\) in propositional and first-order hybrid logic. This means: interpret \(@_i\alpha _a\) , where \(\alpha _a\) is an expression of any type \(a\) , as an expression of type \(a\) that rigidly returns the value that \(\alpha_a\) receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. 相似文献
12.
Andrzej W. Jankowski 《Studia Logica》1985,44(1):11-24
The main result of this paper is the following theorem: a closure space X has an 〈α, δ, Q〉-regular base of the power \(\mathfrak{n}\) iff X is Q-embeddable in \(B_{\alpha ,\delta }^\mathfrak{n} \) It is a generalization of the following theorems:
- Stone representation theorem for distributive lattices (α = 0, δ = ω, Q = ω),
- universality of the Alexandroff's cube for T 0-topological spaces (α = ω, δ = ∞, Q = 0),
- universality of the closure space of filters in the lattice of all subsets for 〈α, δ〉-closure spaces (Q = 0).
13.
From the evidence reported in the recent guidelines [Heinrichs et al. (2009) Evidenzbasierte Leitlinie zur Psychotherapie der Panikst?rung mit und ohne Agoraphobie. Hogrefe, G?ttingen] the following conclusions can be drawn with respect to the treatment of panic disorder with or without agoraphobia, as well as for agoraphobia without panic disorder:
- Every psychotherapy should be preceded by suitable diagnostics and a case formulation.
- The effectiveness of every psychotherapy should be evaluated with well established measures.
- For the treatment of panic disorder without agoraphobia, cognitive behavioral treatment (CBT) and applied relaxation have been shown to be effective (evidence grade 1).
- For panic disorder with agoraphobia, CBT, combination treatment (CBT plus medication), as well as panic-focused psychodynamic psychotherapy in the outpatient setting have shown short-term effectiveness (evidence grade 1). Longer lasting effects have been documented for CBT (evidence grade 1).
- For agoraphobia without panic disorder, CBT with a focus on situational exposure can be recommended (evidence grade 1).
14.
Freud's legacy deriving from his work The project for a scientific psychology (1895) could give a new impetus to the dialogue between psychoanalysis and neurosciences. A rapproachment phase is warrented. Based on the work of psychoanalysts who are themselves neuroscientists (such as Mauro Mancia, Martha Koukkou and Harold Shevrin) or have a long term dialogue with neuroscientists (Arnold Modell), three points of epistemological congruence are described:
- dualism is no longer a satisfactory solution
- cautions for the centrality of interpretation (hermeneutics)
- the self-criticism of neuroscientists
15.
Brian Leahy 《Philosophia》2013,41(1):221-238
Alvin Plantinga’s Evolutionary Argument Against Naturalism aims to show that the conjunction of contemporary evolutionary theory (E) with the claim that there is no God (N) cannot be rationally accepted. Where R is the claim that our cognitive faculties are reliable, the argument is:
- The probability of R given N and E is low or inscrutable.
- Anyone who sees (1) and accepts (N&E) has a defeater for R, and this defeater cannot be defeated or deflected.
- Anyone who has an undefeated, undeflected defeater for R has an undefeated, undeflected defeater for everything she believes.
- Therefore she has an undefeated, undeflected defeater for (N&E).
16.
Greg Ray 《Journal of Philosophical Logic》1996,25(6):617-677
In his classic 1936 essay “On the Concept of Logical Consequence”, Alfred Tarski used the notion of satisfaction to give a semantic characterization of the logical properties. Tarski is generally credited with introducing the model-theoretic characterization of the logical properties familiar to us today. However, in his book, The Concept of Logical Consequence, Etchemendy argues that Tarski's account is inadequate for quite a number of reasons, and is actually incompatible with the standard model-theoretic account. Many of his criticisms are meant to apply to the model-theoretic account as well. In this paper, I discuss the following four critical charges that Etchemendy makes against Tarski and his account of the logical properties:
- Tarski's account of logical consequence diverges from the standard model-theoretic account at points where the latter account gets it right.
- Tarski's account cannot be brought into line with the model-theoretic account, because the two are fundamentally incompatible.
- There are simple counterexamples (enumerated by Etchemendy) which show that Tarski's account is wrong.
- Tarski committed a modal fallacy when arguing that his account captures our pre-theoretical concept of logical consequence, and so obscured an essential weakness of the account.
- Tarski's account depends on there being a distinction between the “logical terms” and the “non-logical terms” of a language, but (according to Etchemendy) there are very simple (even first-order) languages for which no such distinction can be made. Etchemendy's critique raises historical and philosophical questions about important foundational work. However, Etchemendy is mistaken about each of these central criticisms. In the course of justifying that claim, I give a sustained explication and defense of Tarski's account. Moreover, since I will argue that Tarski's account and the model-theoretic account really do come to the same thing, my subsequent defense of Tarski's account against Etchemendy's other attacks doubles as a defense against criticisms that would apply equally to the familiar model-theoretic account of the logical properties.
17.
Michael Xavier Collins 《Journal of psycholinguistic research》2014,43(5):651-681
Certain English constructions permit two syntactic alternations.
- a. I looked up the number. b. I looked the number up.
- a. He is often at the office. b. He often is at the office.
18.
M. J. Cresswell 《Studia Logica》1986,45(4):371-375
I distinguish between sentences like
- Last Thursday we drove from Wellington to Waikanae and
- Last Thursday my copy of Aspects of the Theory of Syntax remained on my bookshelf.
19.
Combinatory logic is known to be related to substructural logics. Algebraic considerations of the latter, in particular, algebraic considerations of two distinct implications (, ), led to the introduction of dual combinators in Dunn & Meyer 1997. Dual combinators are "mirror images" of the usual combinators and as such do not constitute an interesting subject of investigation by themselves. However, when combined with the usual combinators (e.g., in order to recover associativity in a sequent calculus), the whole system exhibits new features. A dual combinatory system with weak equality typically lacks the Church-Rosser property, and in general it is inconsistent. In many subsystems terms "unexpectedly" turn out to be weakly equivalent. The paper is a preliminary attempt to investigate some of these issues, as well as, briefly compare function application in symmetric -calculus (cf. Barbanera & Berardi 1996) and dual combinatory logic. 相似文献
20.
Agnieszka Bluemel Dahlnym Yoon Prof. Dr. Peer Briken Martin Rettenberger Daniel Turner 《Forensische Psychiatrie, Psychologie, Kriminologie》2013,7(3):202-208
The Second Symposium for Empirical Research in Forensic Psychiatry, Psychology and Psychotherapy was held on 25th–26th of October 2012 in Hamburg. The symposium offers young scientists in the field the opportunity to present their research studies. In total 15 papers were presented at the symposium which will be briefly described in this article. The following four topics were discussed:
- Innovative measurement tools for violent and sexual offenders,
- Risk assessment tools for violent and sexual offenders,
- Physiological and neuropsychological assessment of violent and sexual offenders,
- Treatment approaches for violent and sexual offenders.