In the World Library of Psychologists series, international experts themselves present career-long collections of what they judge to be their finest pieces - extracts from books, key articles, salient research findings, and their major theoretical and practical contributions. Jonathan St B T Evans is amongst the foremost cognitive psychologists of his generation, having been influential in spearheading developments in the psychological study of reasoning from its very beginnings in the 1970s up to the present day. This volume of self-selected papers (...) recognises Professor Evan's major contribution to the psychological study of thinking and reasoning by bringing together his most influential and important works. Early selections in the book focus upon experimental studies of reasoning - matching bias in the Wason selection task, belief bias in syllogistic reasoning, and also seminal work on the understanding of conditional statements. The later selections include Evans' work on more general forms of dual process and dual system theory, and his recent account of two minds in one brain. The volume also contains chapters which highlight Evans' contribution to the topic of human rationality, and also his influence on the development of the "new paradigm" in the psychology of reasoning. The key developments in the psychology of reasoning are paralleled by those in Evans's own intellectual history, and the book will therefore make essential reading for all researchers in the psychology of reasoning, and a wider audience of graduate and upper-level undergraduate students with an interest in reasoning and/or dual process theory. (shrink)

This is a very good book. It gives 205 inscriptions from ten of the Cycladic islands. A number of them are published here for the first time. In their majority they are either funerary or invocations for divine help. Some are dedicatory. Some are inscriptions on well-paintings identifying the scene or the saint depicted or being themselves dedicatory or invocatory. Some are in praise of God or in thanks to God. Some are exhortations to the faithful or quotations from the (...) Scriptures. Two are boundary stones and two are magical exorcisms. Outstanding among them are the cadastre of the area of Perissa on the island of Thera, the invocations for divine help carved by weatherbeaten seafarers on the rocks of the desert cove of Grammata on the island of Syros, and the intriguing 60-odd funerary inscriptions of the angels, also from Thera, that keep defying explanation. As a whole they give an insight and lead to a close intimacy with the life of the islanders in these early centuries, fortified as they were by the christian faith, toiling on the thin soil of their land and venturing at sea. Some of them raise questions that cannot be easily answered. Others are quite straightforward. (shrink)

In his epistles, St. Paul sounded a universalism that has recently been taken up by secular philosophers who do not share his belief in Christ, but who regard his project as centrally important for contemporary political life. The Pauline project—as they see it—is the universality of truth, the conviction that what is true is true for everyone, and that the truth should be known by everyone. In this volume, eminent New Testament scholars, historians, and philosophers debate whether Paul's promise can (...) be fulfilled. Is the proper work of reading Paul to reconstruct what he said to his audiences? Is it crucial to retrieve the sense of history from the text? What are the philosophical undercurrents of Paul's message? This scholarly dialogue ushers in a new generation of Pauline studies. (shrink)

Originally published in 1982, this was an extensive and up-to-date review of research into the psychology of deductive reasoning, Jonathan Evans presents an alternative theoretical framework to the rationalist approach which had dominated much of the published work in this field at the time. The review falls into three sections. The first is concerned with elementary reasoning tasks, in which response latency is the prime measure of interest. The second and third sections are concerned with syllogistic and propositional reasoning respectively, (...) in which interest has focused on the explanation of frequently observed logical errors. In an extended discussion it is argued that reasoning processes are content specific, and give little indication of the operation of any underlying system of logical competence. Finally, a dual process theory of reasoning, with broad implications and connections with other fields of psychology, is elaborated and assessed in the light of recent evidence. (shrink)

The strict-tolerant approach to paradox promises to erect theories of naïve truth and tolerant vagueness on the firm bedrock of classical logic. We assess the extent to which this claim is founded. Building on some results by Girard we show that the usual proof-theoretic formulation of propositional ST in terms of the classical sequent calculus without primitive Cut is incomplete with respect to ST-valid metainferences, and exhibit a complete calculus for the same class of metainferences. We also argue that the (...) latter calculus, far from coinciding with classical logic, is a close kin of Priest’s LP. (shrink)

We show the completeness of a Hilbert-style system LK defined by M. Valiev involving the knowledge operator K dedicated to the reasoning with incomplete information. The completeness proof uses a variant of Makinson's canonical model construction. Furthermore we prove that the theoremhood problem for LK is co-NP-complete, using techniques similar to those used to prove that the satisfiability problem for propositional S5 is NP-complete.

In the article, the main lines of the research and educational cooperation of the linguists of the Bashkir State University and the St. Cyril and St. Methodius University of Veliko Turnovo are considered. The prospects of these contacts are determined by capabilities of joint development of the long-term research programs in comparative linguistics, sociolinguistics, cognitive linguistics, which can be implement as collective monographs, Ph.D. theses, textbooks of the Russian and the Bulgarian languages, dictionaries (including the multilingual dictionaries). A program of (...) the double diplomas in the specialized training of undergraduates ‘Applied Slavic philology (translation study)‘ as a new form of the cooperation is also considered. (shrink)

We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. It is practically relevant because it makes it possible to use a decision procedure for the guarded fragment in order to decide regular grammar logics with (...) converse. The class of regular grammar logics includes numerous logics from various application domains. A consequence of the translation is that the general satisfiability problem for every regular grammar logics with converse is in EXPTIME. This extends a previous result of the first author for grammar logics without converse. Other logics that can be translated into GF2 include nominal tense logics and intuitionistic logic. In our view, the results in this paper show that the natural first-order fragment corresponding to regular grammar logics is simply GF2 without extra machinery such as fixed-point operators. (shrink)

Argues that there exists in St Augustine's work a unified theory of knowledge. This work attempts to analyze the individual elements in Augustine's epistemology and relate them to a unified structure. It also relates Augustine's theory of knowledge to others in the history of philosophy.

We study a knowledge logic that assumes that to each set of agents, an indiscernibility relation is associated and the agents decide the membership of objects or states up to this indiscernibility relation. Its language contains a family of relative knowledge operators. We prove the decidability of the satisfiability problem, we show its EXPTIME-completeness and as a side-effect, we define a complete Hilbert-style axiomatization.

Like modal logic, temporal logic, and description logic, separation logic has become a popular class of logical formalisms in computer science, conceived as assertion languages for Hoare-style proof systems with the goal to perform automatic program analysis. In a broad sense, separation logic is often understood as a programming language, an assertion language and a family of rules involving Hoare triples. In this survey, we present similarities between separation logic as an assertion language and modal and temporal logics. Moreover, we (...) propose a selection of landmark results about decidability, complexity and expressive power. (shrink)

Motivated by the verification of programs with pointer variables, we introduce a temporal logic whose underlying assertion language is the quantifier-free fragment of separation logic and the temporal logic on the top of it is the standard linear-time temporal logic LTL. We analyze the complexity of various model-checking and satisfiability problems for , considering various fragments of separation logic , various classes of models , and the influence of fixing the initial memory state. We provide a complete picture based on (...) these criteria. Our main decidability result is pspace-completeness of the satisfiability problems on the record fragment and on a classical fragment allowing pointer arithmetic. -completeness or -completeness results are established for various problems by reducing standard problems for Minsky machines, and underline the tightness of our decidability results. (shrink)

This paper concerns model-checking of fragments and extensions of CTL* on infinite-state Presburger counter systems, where the states are vectors of integers and the transitions are determined by means of relations definable within Presburger arithmetic. In general, reachability properties of counter systems are undecidable, but we have identified a natural class of admissible counter systems (ACS) for which we show that the quantification over paths in CTL* can be simulated by quantification over tuples of natural numbers, eventually allowing translation of (...) the whole Presburger-CTL* into Presburger arithmetic, thereby enabling effective model checking. We provide evidence that our results are close to optimal with respect to the class of counter systems described above. (shrink)

In the Proslogion, St. Anselm presents a philosophical argument for the existence of God. Anselm's proof, known since the time of Kant as the ontological argument for the existence of God, has played an important role in the history of philosophy and has been incorporated in various forms into the systems of Descartes, Leibniz, Hegel, and others. Included in this edition of the Proslogion are Gaunilo's "A Reply on Behalf of the Fool" and St. Anselm's "The Author's Reply to Gaunilo." (...) All three works are in the original Latin with English translation on facing pages. Professor Charlesworth's introduction provides a helpful discussion of the context of the Proslogion in the theological tradition and in Anselm's own thought and writing. (shrink)

This work is divided in two papers (Part I and Part II). In Part I, we study a class of polymodal logics (herein called the class of "Rare-logics") for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability are established by faithfully translating the (...) Rare-logics into more standard modal logics. The main idea of the translation consists in eliminating the Boolean terms by taking advantage of the components construction and in using various properties of the classes of semilattices involved in the semantics. The novelty of our approach allows us to prove new decidability results (presented in Part II), in particular for information logics derived from rough set theory and we open new perspectives to define proof systems for such logics (presented also in Part II). (shrink)

We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are well-designed to specify and verify systems that can be modelled with counter systems. The paper recalls the general framework of LTL over concrete domains and presents the main decidability and complexity results related to fragments of Presburger LTL. Related formalisms are also briefly presented.

Since St. Thomas Aquinas holds that death is a substantial change, a popular current interpretation of his anthropology must be mistaken. According to that interpretation – the ‘survivalist’ view – St. Thomas holds that we human beings survive our deaths, constituted solely by our souls in the interim between death and resurrection. This paper argues that St. Thomas must have held the ‘corruptionist’ view: the view that human beings cease to exist at their deaths. Certain objections to the corruptionist view (...) are also met. (shrink)

This paper will attempt an investigation of hypothetical intelligent extraterrestrial life from the perspective of the philosophy and theology of St. Thomas Aquinas. Section I will feature an overview of St. Thomas's relevant philosophy of human nature and the differences between human and extraterrestrial natures. Section II will, with special attention to St. Thomas's De malo, treat some possibilities regarding the need for salvation in our hypothetical species. Section III will outline relevant aspects of Thomistic soteriology, especially the reasons behind (...) the Incarnation and the role of human nature in Redemption. Section IV will feature a critique of representatives from the two major schools of scholarly thought on this issue, showing that they either disregard the necessity of a human nature for incorporation into the Mystical Body of Christ or deny the magnitude and singular importance of the Incarnation. Section V will sketch some possibilities for the soteriology of extraterrestrial life using the theology of St. Thomas Aquinas as a framework. (shrink)

There exist valuable methods for theorem proving in non classical logics based on translation from these logics into first-order classical logic (abbreviated henceforth FOL). The key notion in these approaches istranslation from aSource Logic (henceforth abbreviated SL) to aTarget Logic (henceforth abbreviated TL). These methods are concerned with the problem offinding a proof in TL by translating a formula in SL, but they do not address the very important problem ofpresenting proofs in SL via a backward translation. We propose a (...) framework for presenting proofs in SL based on a partial backward translation of proofs obtained in a familiar TL: Order-Sorted Predicate Logic. The proposed backward translation transfers some formulasF TL belonging to the proof in TL into formulasF SL , such that the formulasF SL either (a) belong to a corresponding deduction in SL (in the best case) or, (b) are semantically related in some precise way, to formulas in the corresponding deduction in SL (in the worst case). The formulasF TL andF SL can obviously be considered aslemmas of their respective proofs. Therefore the transfer of lemmas of TL gives at least a skeleton of the corresponding proof in SL. Since the formulas of a proof keep trace of the strategy used to obtain the proof, clearly the framework can also help in solving another fundamental and difficult problem:the transfer of strategies from classical to non classical logics. We show how to apply the proposed framework, at least to S5, S4(p), K, T, K4. Two conjectures are stated and we propose sufficient (and in general satisfactory) conditions in order to obtain formulas in the proof in SL. Two particular cases of the conjectures are proved to be theorems. Three examples are treated in full detail. The main lines of future research are given. (shrink)

This work is divided in two papers (Part I and Part II). In Part I, we introduced the class of Rare-logics for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability were established by faithfully translating the Rare-logics into more standard modal logics (some (...) of them contain the universal modal operator).In Part II, we push forward the results from Part I. For Rare-logics with nominals (present at the level of formulae and at the level of modal expressions), we show that the constructions from Part I can be extended although it is technically more involved. We also characterize a class of standard modal logics for which the universal modal operator can be eliminated as far as satifiability is concerned. Although the previous results have a semantic flavour, we are also able to define proof systems for Rare-logics from existing proof systems for the corresponding standard modal logics. Last, but not least, decidability results for Rare-logics are established uniformly, in particular for information logics derived from rough set theory. (shrink)

A continuation of the eminent series of Aristotelian Commentaries of St. Thomas from Dumb Ox Books, which will make St. Thomas's commentary on Aristotle's On Interpretation available.

We define cut-free display calculi for knowledge logics wherean indiscernibility relation is associated to each set of agents, andwhere agents decide the membership of objects using thisindiscernibility relation. To do so, we first translate the knowledgelogics into polymodal logics axiomatised by primitive axioms and thenuse Kracht's results on properly displayable logics to define thedisplay calculi. Apart from these technical results, we argue thatDisplay Logic is a natural framework to define cut-free calculi for manyother logics with relative accessibility relations.

The principle of Anteriority says that prospects that are identical from the perspective of every possible person’s welfare are equally good overall. The principle enjoys prima facie plausibility, and has been employed for various theoretical purposes. Here it is shown using an analogue of the St Petersburg Paradox that Anteriority is inconsistent with central principles of axiology.