Conditionals and consequences

We examine the notion of conditionals and the role of conditionals in inductive logics and arguments. We identify three mistakes commonly made in the study of, or motivation for, non-classical logics. A nonmonotonic consequence relation based on evidential probability is formulated. With respect to this acceptance relation some rules of inference of System P are unsound, and we propose refinements that hold in our framework.     

Giles’s Game and the Proof Theory of Łukasiewicz Logic

In the 1970s, Robin Giles introduced a game combining Lorenzen-style dialogue rules with a simple scheme for betting on the truth of atomic statements, and showed that the existence of winning strategies for the game corresponds to the validity of formulas in Łukasiewicz logic. In this paper, it is shown that ‘disjunctive strategies’ for Giles’s game, combining ordinary strategies for all instances of the game played on the same formula, may be interpreted as derivations in a corresponding proof system. In particular, such strategies mirror derivations in a hypersequent calculus developed in recent work on the proof theory of Łukasiewicz logic. Presented by Daniele Mundici     

The Tense Logic for Master Argument in Prior’s Reconstruction

In this paper we examine Prior’s reconstruction of Master Argument [4] in some modal-tense logic. This logic consists of a purely tense part and Diodorean definitions of modal alethic operators. Next we study this tense logic in the pure tense language. It is the logic K _t 4 plus a new axiom (P): ‘p Λ G p ⊃ P G p’. This formula was used by Prior in his original analysis of Master Argument. (P) is usually added as an extra axiom to an axiomatization of the logic of linear time. In that case the set of moments is a total order and must be left-discrete without the least moment. However, the logic of Master Argument does not require linear time. We show what properties of the set of moments are exactly forced by (P) in the reconstruction of Prior. We make also some philosophical remarks on the analyzed reconstruction. Presented by Jacek Malinowski     

A qualitative study of young drivers and deterrence based road policing

Deterrence theory is the predominant theory used to underpin road policing initiatives. However, survey research indicates that this approach may not be as effective for young drivers. This study uses focus groups, conducted in both metropolitan and regional locations in two Australian states (Queensland and Victoria), to explore three components of classical deterrence theory: certainty, severity & swiftness. The results suggest that geographical context affected perceptions of certainty with individuals from regional locations less likely to indicate that they would be caught by police for committing a traffic offence. Additionally, the use of cameras to detect road offences increased perceptions of certainty for young drivers. The results of this study suggest that police agencies should focus on undertaking actions to increase the perceptions of certainty swiftness and severity of punishment, particularly in regional areas, for young drivers who engage in illegal behaviour on the road. Where appropriate, these actions should take into account the geographical context. There may also be value in considering augmenting deterrence theory with other theoretical perspectives for this group.     

Effects of nitric oxide inhibition on avoidance learning in the chick are lateralized and localized

Bilateral administration of nitric oxide synthase inhibitors into the intermediate medial hyperstriatal (IMHV) region of the chick brain impairs memory formation for an avoidance task. The aim of the current study was to determine whether this effect was restricted to a particular location in the brain, and whether inhibition was equally effective in both hemispheres. White Leghorn x black Australorp chicks were administered 0.5 mM N(omega)-Nitro-L-arginine methyl ester bilaterally into the lobus parolfactorius (LPO), or unilaterally into the IMHV. Injections into the LPO between 5 min pre-training and 40 min post-training had no effect on retention. In contrast, unilateral injections into the IMHV impaired retention and memory loss occurred from 40 min post-training. The effective administration time was hemisphere-dependent, requiring left hemisphere administration around the time of training and right hemisphere administration between 15 and 25 min post-training. These data suggest that localized nitric oxide activity in each hemisphere of the chick brain is necessary for the consolidation of memory for this task.     

论“后天八卦”中的数理内涵──兼论《禹贡》和《太玄》对称三进制

"先天八卦"中具有数理内涵,同样,"后天八卦"中亦具有数理内涵。前者呈二进制形态,后者则为三进制形态。《系辞》曰:"太极生两仪,两仪生四象,四象生八卦。"其实,四象生八卦有两种不同的逻辑法则,这两种不同的逻辑法则导致二进制八卦与三进制八卦。而且"后天八卦"与五行具有内在的关联,因此,"后天八卦"中的数理内涵比"先天八卦"中的数理内涵更显丰富。     

Causation in a New Old Key

I argue (1) that it is not philosophically significant whether causation is linguistically represented by a predicate or by a sentence connective; (2) that there is no philosophically significant distinction between event- and states-of-affairs-causation; (3) that there is indeed a philosophically significant distinction between agent- and event-causation, and that event-causation must be regarded as an analog of agent-causation. Developing this point, I argue that event-causation's being in the image of agent-causation requires, mainly, (a) that the cause is temporally prior to the effect, (b) that the cause necessitates (is sufficient with necessity) for the effect. Causal necessity is explained as a derivative of nomological necessity, and finally, via a definition of the causal sentence connective, the logic of event-causation is shown to be a part of temporal modal logic.     

A general tableau method for propositional interval temporal logics: Theory and implementation

In this paper, we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's CDT logic interpreted over partial orders (BCDT⁺ for short). It combines features of the classical tableau method for first-order logic with those of explicit tableau methods for modal logics with constraint label management, and it can be easily tailored to most propositional interval temporal logics proposed in the literature. We prove its soundness and completeness, and we show how it has been implemented.     

Multimo dal Logics of Products of Topologies

We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion S4 ⊕ S4. We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies.We prove that both of these logics are complete for the product of rational numbers ℚ × ℚ with the appropriate topologies. AMS subject classification : 03B45, 54B10 The last author’s research was supported by a Social Sciences and Humanities Research Council of Canada grant number: 725-2000-2237. Presented by Melvin Fitting     

FOIL Axiomatized

In an earlier paper, [5], I gave semantics and tableau rules for a simple firstorder intensional logic called FOIL, in which both objects and intensions are explicitly present and can be quantified over. Intensions, being non-rigid, are represented in FOIL as (partial) functions from states to objects. Scoping machinery, predicate abstraction, is present to disambiguate sentences like that asserting the necessary identity of the morning and the evening star, which is true in one sense and not true in another.In this paper I address the problem of axiomatizing FOIL. I begin with an interesting sublogic with predicate abstraction and equality but no quantifiers. In [2] this sublogic was shown to be undecidable if the underlying modal logic was at least K4, though it is decidable in other cases. The axiomatization given is shown to be complete for standard logics without a symmetry condition. The general situation is not known. After this an axiomatization for the full FOIL is given, which is straightforward after one makes a change in the point of view.This paper is a version of the invited talk given by the author at the conference Trends in Logic III, dedicated to the memory of A. MOSTOWSKI, H. RASIOWA and C. RAUSZER, and held in Warsaw and Ruciane-Nida from 23rd to 25th September 2005.