Since some time the metaphor of logical space has been used to open new approaches to Hegel’s “Science of Logic”. Frequently it is noticed that in such an interpretation logical space must be understood as dynamic. However, as far as I can see, nobody has done yet the step to introduce the concept of logical time into the discussion, even though this step seems to suggest itself. The following contribution seeks to develop this thought and (...) arrives at some new conceptions, such as the curvature of logical space, logical actuality and semantic present, which may seem strange at first sight, but which follow consistently from the explication of the fundamental idea. The first aim in doing this is to broaden our conceptual repertoire do deal with Hegel’s Logic. This may open new perspectives of interpretation which may prove inspiring. Secondarily, the article also defends a systematic thesis which stands on its own and lays claim to truth. This claim goes far beyond a mere interpretation of Hegel and implies a fundamental critique of his philosophy. The comprehension of logical time-space leads to the requirement of logical chance event – and not only real chance. This goes against Hegel claim to absolute necessity in the dialectical development of his Logic and leads to a new philosophic comprehension of logic as such. (shrink)

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, (...) deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

This paper explains how to obtain quantification over times in a tense logic in which all temporal distinctions are ultimately spelled out in terms of the two simple tense operators “it was the case that” and “it will be the case that.” The account of times defended here is similar to what is known as “linguistic ersatzism” about possible worlds, but there are noteworthy differences between these two cases. For example, while linguistic ersatzism would support actualism, the view of times (...) defended here does not support presentism. (shrink)

A barrier to entailment exists if you can't get conclusions of a certain kind from premises of another. One of the most famous barriers in philosophy is Hume's Law, which says that you can't get normative conclusions from descriptive premises, or in slogan form: you can't get an ought from an is. This barrier is highly controversial, and many famous counterexamples were proposed in the last century. But there are other barriers which function almost as philosophical platitudes: no Universal conclusions (...) from Particular premises, no Future conclusions from premises about the Past, and no claims that attribute Necessity from premises that merely tell us how things happen to be in the Actual world. Barriers to Entailment proposes a unified logical account of five barriers that have played important roles in philosophy, in the process showing how to diagnose proposed counterexamples and arguing that the case for Hume's Law is as strong as that for the platitudinous barriers. -/- The first two parts of the book employ techniques from formal logic, but present them in an accessible way, suitable for any reader with some background in first-order model theory (of the kind that might be taught in a first class in logic). Gillian Russell introduces tense, modal, indexical, and deontic formal logics, but always avoids unneeded complexity. Each barrier is connected to broader philosophical topics: universality, time, necessity, context-sensitivity, and normativity. Russell brings out under-recognised connections between the domains and lays the groundwork for further work at the intersections. -/- The last part of the book transposes the formal work to informal barrier theses in the philosophy of language, in the process doing new work on the concept of logical consequence, and providing new responses to proposed informal counterexamples to Hume's Law which employ hard-to-formalise tools from natural language, such as speech acts and thick normative expressions. (shrink)

Available for the first time in 20 years, here are two important works from the 1920s by the best-known representative of the Vienna Circle.

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

In this paper, a timed modal logic L c is presented for the specification and verification of real-time systems. Several important results for L c are discussed. First we address the model checking problem and we show that it is an EXPTIME-complete problem. Secondly we consider expressiveness and we explain how to express strong timed bisimilarity and how to build characteristic formulas for timed automata. We also propose a compositional algorithm for L c model checking. Finally we consider several (...) control problems for which L c can be used to check controllability. (shrink)

The subject of Time has a wide intellectual appeal across different dis ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of the open technical questions raised in the logical elaboration of the latter. These results will be recorded below, at a more convenient place. In the seven years after the (...) first publication, there have been some noticeable newer developments in the logical study of Time and temporal expressions. As far as Temporal Logic proper is concerned, it seems fair to say that these amount to an increase in coverage and sophistication, rather than further break-through innovation. In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic. Now, since this Book has a rather tight composition, it would have been difficult to interpolate this new material without endangering intelligibility. (shrink)

It is a commonplace of the history of analytic philosophy that Carnap swiftly adopted Tarskian semantics in the mid-1930s. There is no doubt that, in a very general sense, this is true. But to what extent are the innovative technical details characteristic of Tarski's method, specifically the handling of quantification by way of a satisfaction relation between formulas and variable assignments, reflected in Carnap's writings on semantics? Curiously enough, their essentials are in place just before Carnap took the purported Tarskian (...) turn, namely in the definition of analyticity he formulated some time between September 1932 and April 1933, but are missing from his publications on semantics after 1935 until the final chapter of Meaning and Necessity of 1947, at which point we find Carnap reverting to the use of specifically Tarskian techniques in the context of his novel semantics for quantified modal languages. (shrink)

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). (...) The key insight in ATL is that the path quantifiers of CTL could be replaced by cooperation modalities, of the form , where is a set of agents. The intended interpretation of an ATL formula is that the agents can cooperate to ensure that holds (equivalently, that have a winning strategy for ). In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as group can cooperate to bring about iff it is common knowledge in that . The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems. (shrink)

Epistemic logic in the tradition of Hintikka provides, as one of its many applications, a toolkit for the precise analysis of certain epistemological problems. In recent years, dynamic epistemic logic has expanded this toolkit. Dynamic epistemic logic has been used in analyses of well-known epistemic “paradoxes”, such as the Paradox of the Surprise Examination and Fitch’s Paradox of Knowability, and related epistemic phenomena, such as what Hintikka called the “anti-performatory effect” of Moorean announcements. In this paper, we explore a variation (...) on basic dynamic epistemic logic—what we call sequential epistemic logic—and argue that it allows more faithful and fine-grained analyses of those epistemological topics. (shrink)

The larger part of Yearbook 6 of the Institute Vienna Circle constitutes the proceedings of a symposium on Alfred Tarski and his influence on and interchanges with the Vienna Circle, especially those on and with Rudolf Carnap and Kurt Gödel. It is the first time that this topic has been treated on such a scale and in such depth. Attention is mainly paid to the origins, development and subsequent role of Tarski's definition of truth. Some contributions are primarily historical, (...) others analyze logical aspects of the concept of truth. Contributors include Anita and Saul Feferman, Jan Wolenski, Jan Tarski and Hans Sluga. Several Polish logicians contributed: Gzegorczyk, Wójcicki, Murawski and Rojszczak. The volume presents entirely new biographical material on Tarski, both from his Polish period and on his influential career in the United States: at Harvard, in Princeton, at Hunter, and at the University of California at Berkeley. The high point of the analysis involves Tarski's influence on Carnap's evolution from a narrow syntactical view of language, to the ontologically more sophisticated but more controversial semantical view. Another highlight involves the interchange between Tarski and Gödel on the connection between truth and proof and on the nature of metalanguages. The concluding part of Yearbook 6 includes documentation, book reviews and a summary of current activities of the Institute Vienna Circle. Jan Tarski introduces letters written by his father to Gödel; Paolo Parrini reports on the Vienna Circle's influence in Italy; several reviews cover recent books on logical empiricism, on Gödel, on cosmology, on holistic approaches in Germany, and on Mauthner. (shrink)

: Usually, when studying schematism we devote almost exclusive attention to the study of the modifications that the categories suffer when combined with time. Instead, we have focused our attention on the determinations that time receives when combined with the categories. Departing from the definition of the transcendental schemata as “determinations of time”, an attempt is made to establish the various determinations that time receives from each one of the categories, as these perform the determination of (...) time in schematism. The categories of quantity allow us to think of time as a series of homogeneous unities; the categories of quality show each instant of time as a receptacle able to receive the different intensities of the real; the categories of relation establish a rule-dependent order on the flow of time; finally, the categories of modality determine the whole of time forming a collective unity that gathers or embraces each one of the instants of time preserving its specificity. (shrink)

In some systems of Legniewskian Ontology were introduced as a toolkit for Husserl's and Meinong's theory of objects. Here such consi- deration is extended to Brentano-Husserl's theory of time. So-called antidiodo- rean logics are used as the foundations of the approach undertaken.

Temporal justification logic is a new family of temporal logics of knowledge in which the knowledge of agents is modelled using a justification logic. In this paper, we present various temporal justification logics involving both past and future time modalities. We combine Artemov’s logic of proofs with linear temporal logic with past, and we also investigate several principles describing the interaction of justification and time. We present two kinds of semantics for our temporal justification logics, one based on (...) interpreted systems and Fitting models and the other based on Mkrtychev models, and further, we establish soundness and completeness. We show that the internalization property holds in some of the temporal justification logics. We further investigate the two well-known epistemic-temporal notions of no forgetting and no learning in the framework of justification logics. Finally, we present temporal justification logics that avoid the logical omniscience problem. (shrink)

While classical temporal logics lose track of a state as soon as a temporal operator is applied, several branching-time logics able to repeatedly refer to a state have been introduced in the literature. We study such logics by introducing a new formalism, hybrid branching-time logics, subsuming the other approaches and making the ability to refer to a state more explicit by assigning a name to it. We analyze the expressive power of hybrid branching-time logics and the complexity (...) of their satisfiability problem. As main result, the satisfiability problem for the hybrid versions of several branching-time logics is proved to be 2EXPTIME -complete. To prove the upper bound, the automata-theoretic approach to branching-time logics is extended to hybrid logics. As a result of independent interest, the nonemptiness problem for alternating one-pebble Büchi tree automata is shown to be 2EXPTIME -complete. A common property of the logics studied is that they refer to only one state. This restriction is crucial: The ability to refer to more than one state causes a nonelementary blow-up in complexity. In particular, we prove that satisfiability for NCTL * has nonelementary complexity. (shrink)

The nrst of the people to be thanked for their help during the composition of this work is Professor I.M. Bochenski, under whom I had the good fortune to study for an extended period of time. Without his help, it is doubtful that this work would have been writt"l1 at all. Among the other professors who helped along the way, I would like to cite in particular Professors A.F. Utz, M.D. Philippe and N. Luyten of the University of Fribourg. (...) Many friends were present at the birth of the ideas contained in this book. By naming K.G. Ballestrem, T.l. Blakeley and M.F. Gagern, I do not want to slight any of the rest. It was A. Spiekermann in Hollinghofen who saw to it that other preoccupations did not rob me of all the time needed for the study of the subject-matter and to the composition of this treatise. Of particular help in getting sources from the libraries of the world were Miss Lifschitz of the Institute of East-European Studies and Mr. Uldry of the Cantonal Library in Fribourg, Switzerland. Finally, my patient typist, Mrs. Frey in Munster, deserves special mention for her beautiful work. (shrink)

The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e. as a logic per se, but also because it has a number of practical applications, in particular when one needs to reason about a huge amount of pieces of evidence collected from different sources, where some of the pieces of evidence may be contradictory and some sources are considered to be more trustworthy than (...) others. We introduce the time-stamped claim logic including a sound and complete sequent calculus. In order to show how time-stamped claim logic can be used in practice, we consider a concrete cyber-attribution case study. (shrink)

Natural language is full of patterns that appear to fit with general linguistic rules but are ungrammatical. There has been much debate over how children acquire these “linguistic restrictions,” and whether innate language knowledge is needed. Recently, it has been shown that restrictions in language can be learned asymptotically via probabilistic inference using the minimum description length (MDL) principle. Here, we extend the MDL approach to give a simple and practical methodology for estimating how much linguistic data are required to (...) learn a particular linguistic restriction. Our method provides a new research tool, allowing arguments about natural language learnability to be made explicit and quantified for the first time. We apply this method to a range of classic puzzles in language acquisition. We find some linguistic rules appear easily statistically learnable from language experience only, whereas others appear to require additional learning mechanisms (e.g., additional cues or innate constraints). (shrink)

Le problème du temps tourmente et nourrit la philosophie depuis sa naissance. Dans ce cadre, une lecture métaphysique des textes de S. Leśniewski permet de développer un point de vue original sur certaines propriétés fondamentales du temps logique. En particulier, après une analyse minutieuse des œuvres philosophiques de jeunesse, et notamment de l’article « La vérité est-elle éternelle ou éternelle et sempiternelle? », nous montrons que le temps logique est, chez Leśniewski, inévitablement double : les propositions, dont la vérité doit (...) pouvoir être _éternelle_, sont des entités qui se développent dans un espace et dans un temps déterminés. De même, cette double temporalité apparaît dans l’Ontologie, un calcul logique des noms dont l’axiomatique est établie à partir du foncteur ε, connecteur logique à la fois inscrit dans un espace et dans un temps et néanmoins sans ancrage temporel. Ainsi, plusie... (shrink)

Temporal logic can be used to describe processes: their behaviour ischaracterized by a set of temporal models axiomatized by a temporaltheory. Two types of models are most often used for this purpose: linearand branching time models. In this paper a third approach, based onsocalled joint closure models, is studied using models which incorporateall possible behaviour in one model. Relations between this approach andthe other two are studied. In order to define constructions needed torelate branching time models, appropriate algebraic (...) notions are defined(in a category theoretical manner) and exploited. In particular, thenotion of joint closure is used to construct one model subsuming a setof models. Using this universal algebraic construction we show that aset of linear models can be merged to a unique branching time model.Logical properties of the described algebraic constructions are studied.The proposed approach has been successfully aplied to obtain anappropriate semantics for non-monotonic reasoning processes based ondefault logic. References are discussed that show the details of theseapplications. (shrink)

This paper tackles Husserl’s early analysis of alien experience and its relation to the methodological framework of the _Logical Investigations_ (LI). Since intersubjectivity first becomes a central theme for Husserl in his writings of 1905 (_Seefeld Blätter_), less attention is usually paid to his analysis of our experience of other minds in the LI. In this context, I attempt to highlight both the fundamental insights gained by Husserl in this analysis that will also remain key for his later accounts of (...) empathy, as well as the challenges alien experiences raises for the theoretical framework of LI. I begin by discussing the main relevant traits of the phenomenological project of LI as a preparatory endeavor for the elucidation of logical objectualities, and the radical way in which Husserl defines its domain, i.e., the sphere of immanent content. Then I analyse Husserl’s understanding of alien experience in terms of an indicative unity based on associative motivations. I argue that, in doing this, Husserl accounts for a non-inferential intuitive access to other minds and, at the same time, maintains their essential alienness. Finally, I show that this account rests on what I call an “intentional contamination” of Husserl’s reductive method of LI. (shrink)

A new combined temporal logic called synchronized linear-time temporal logic (SLTL) is introduced as a Gentzen-type sequent calculus. SLTL can represent the n -Cartesian product of the set of natural numbers. The cut-elimination and completeness theorems for SLTL are proved. Moreover, a display sequent calculus δ SLTL is defined.

Let T be any logical truth. Does the subject know that T (any random subject)? It is not rational for any subject to believe that they don’t, whoever they are. Similarly, it is not rational for them to believe that their evidence doesn’t support T, and it is not even rational for them to believe that they don’t believe that T. It is not rational for anyone anywhere at any time to believe that they don’t know that T. (...) Such are the conclusions arrived at in this paper. (shrink)

The subject of time travel has been receiving increasing attention in the recent philosophical literature. Most of the articles that deal with it have been concerned to defend the logical consistency of time travel against those who claim that it entails one or more contradictions. Two sorts of defences have been offered. The first sort of defence involves showing that time travel does not entail those consequences which other philosophers allege it does entail. The second sort (...) of defence involves an admission that time travel does indeed involve that which its opponents allege it does involve, e.g., being in more than one place at a time, but arguing that such consequences in no way vitiate the logical consistency of this notion.My first aim in this paper is to provide a defence of time travel of the second sort. More specifically, I want to cut the ground from under an argument which might run thus:Time travel entails that certain effects can precede their causes.It is logically impossible for an effect to precede its cause. (shrink)

This paper deals with the historical and philosophical background of the introduction of the notion of branching time in philosophical logic as it is revealed in the hitherto unpublished mail-correspondence between Saul Kripke and A.N. Prior in the late 1950s. The paper reveals that the idea was first suggested by Saul Kripke in a letter to A.N. Prior, dated September 3, 1958, and it is shown how the elaboration of the idea in the course of the correspondence was intimately (...) intervowen with considerations of how to represent indeterminism and of the adequacy of tensed logic in light of special relativity. The correspondence underpins the point that Prior's later development of branching time may be understood as a crucial part of his attempt at the formulating a conceptual framework integrating basic human notions of time and free choice. (shrink)

Weak ontic necessity is the ontic necessity expressed by “should” or “ought to”. An example of it is “I should be dead by now”. A feature of this necessity is that whether it holds is irrelevant to whether its underlying proposition holds. This necessity essentially involves time. This paper presents a logic for conditional weak ontic necessity in branching time. The logic’s language includes the next instant operator, the last instant operator, and the operator for conditional weak ontic (...) necessity. Formulas are evaluated at tuples consisting of a tree-based model, a context, a timeline, and an instant. A context is a set of ordered ontic laws determining expected timelines. When evaluating conditional weak ontic necessity, we first update the context with the antecedent, then check whether the consequent holds with respect to the updated context. We discuss some consequences of the formalization and compare it to some related work. We study the logic’s expressivity and axiomatize a special validity of it. (shrink)

Elaboramos aquí una nueva interpretación propuesta recientemente de la teoría cuántica, según la cual las partículas cuánticas son consideradas como entidades conceptuales que median entre los pedazos de materia ordinaria los cuales son considerados como estructuras de memoria para ellos. Nuestro objetivo es identificar qué es lo equivalente para el ámbito cognitivo humano de lo que el espacio-tiempo físico es para el ámbito de las partículas cuánticas y de la materia ordinaria. Para ello, se identifica la noción de "historia" como (...) el equivalente en la esfera cognitiva humana de lo que la materia ordinaria es en el ámbito físico cuántico. Analizamos también el papel desempeñado por los conectivos lógicos de disyunción y de conjunción con respecto a la noción de localidad. De manera similar a lo que hemos hecho en investigaciones anteriores referidas a esa nueva interpretación de la teoría cuántica, se utiliza el entorno cognitivo específico de la Internet para dilucidar las comparaciones que hacemos entre el ámbito cognitivo humano y el ámbito físico cuántico. We elaborate the new interpretation of quantum theory that we recently proposed, according to which quantum particles are considered conceptual entities mediating between pieces of ordinary matter which are considered to act as memory structures for them. Our aim is to identify what is the equivalent for the human cognitive realm of what physical space-time is for the realm of quantum particles and ordinary matter. For this purpose, we identify the notion of 'story' as the equivalent within the human cognitive realm of what ordinary matter is in the physical quantum realm, and analyze the role played by the logical connectives of disjunction and conjunction with respect to the notion of locality. Similarly to what we have done in earlier investigations on this new interpretation of quantum theory, we use the specific cognitive environment of the Internet to elucidate the comparisons we make between the human cognitive realm and the physical quantum realm. (shrink)

What the present work aimed to achieve is an assessment of the origin an d unity of Husserl s Logical Investigations. My approach was to take the history of its development as fundamental for the determination of its basic structure. Therefore, I proceeded to analyse Husserl s development between the Philosophy of Arithmetic and Logical Investigations with re spect to the fundamental issues in the justification of knowledge in mathematics and logic. In Husserl s own words, one of (...) the concerns that set him on the road to phenomenology was the clarification and analysis of the relation b etween the subjectivity of knowing and the objectivity of knowledge. Fro m my investigations it has, I hope, become apparent how this problem ori ginated in his earliest works and, through various influences and exchanges, led to his theory of intentionality in the first editio n of the Logical Investigations. The Logical Investigations is located between his Brentanist phase and t he ultimate development of transcendental phenomenology. It is the sedim ent of Husserl s logical investigations during the 1890s, which is the m ain period I analysed in the present work. Husserl himself often remarke s on the early origin of some of the issues he tried to deal with in the Logical Investigations. Still in his sketches for a new preface to the second edition of 1913, he took pains to point out the developmental his tory of the work from the Philosophy of Arithmetic onward. Regarding the Philosophy of Arithmetic, more often than not, Husserl remarks that it was just and elaboration of his Habilitationsschrift. Hence, following h is lead, we tried to embrace the whole period of his psychological and l ogical analyses from 1886/7 to 1900/01. Of course, I was certainly not the first, nor will I be the last, to be intrigued by Husserl s development in these years. Numerous books and articles have been written long before mine on precisely these issue s, often dealing with specific topics, such as the uneasy relation of psychology and psychologism in Husserl s work or fundamental inʂ 58;uences such as Bolzano s, which I therefore chose to leave aside. Not simply to duplicate or summarise such pre-existing scholarship, I tried to concentrate on the issues to which I felt I could contribute an orig inal insight, advancing the field. I would like to indicate ᤙ 7;ve points here, where I think I attained this goal: 1. The enduring relevance of Husserl s mathematical ba ckground. 2. Support for an early development of a theory of hig her order objects 3. A better evaluation of Frege s influence 4. A contextualisation of Schuhmann s thesis regarding the relevance of Twardowski for Husserl s notion of intentionality 5. The dependence of the unity of the Logical Investig ations on its historical development. Without understanding its developmental history we would misunderstand i ts internal coherence. In the first part we saw Husserl s early struggle to integrate the mathematical and psychological points of view on the philosophy of math ematics, a struggle that lasted from the Habilitationsschrift at least u p to and including his Doppelvortrag. The basic problem is the justi@ 257;cation of knowledge, in the case of mathematics, the justifica tion of knowledge in formal sciences, obtained with symbolic methods. Su ch problems regarding the subjectivity of knowing and the objectivity of knowledge guided the development of his position from Philosophy of Ari thmetic to Logical Investigations. In articulating his solution Husserl analysed the various relations betw een founding and founded layers of knowledge and whether and how one cou ld pass from on to the other. Already at the time of the Philosophy of A rithmetic he tried to account for higher order acts, relations and objec ts, the mature account of which would have to wait until the Logical Inv estigations and later. Among various influences on his progression towards phenomenology, Frege has been often considered to have provided the conversion to an ti-psychologism with his review of the Philosophy of Arithmetic. I think I have demonstrated that the review is almost entirely irrelevant in th is sense and that we should rather look at a much earlier influenc e on the Philosophy of Arithmetic. By showing that Brentano s conception of intentionality was already more sophisticated than until recently assumed, thanks to some recent public ations of unpublished material from Brentano s and Husserl s Nachlass, I think Schuhmann s thesis is right, but should be reinterpreted as being less radical than it would appear. Both Husserl and Twardowski were in& #64258;uenced by Brentano as his students. Following his and Meinong s l ead, they both elaborated a theory on intentionality, in connection with the other theories of intentionality in his school and the Brentano-Bol zano paradox. Furthermore, by providing a more continuous reading of Hus serl s development through the transcendental turn, I hope to have made clear that his later theory of the noema is not a return to a neo-Twardo wskian triadic position, but a reaffirmation, now in transcendental key, of his 1894 take on the matter. The Logical Investigations are uniquely determined by their historical c ontext in the middle of Husserl s development, falling almost exactly be tween the Habilitationsschrift and the Ideas. Due to their troubled hist ory, including changes in Husserl s earliest position around 1890, the f ailure of the second volume of the Philosophy of Arithmetic, various in& #64258;uences around 1894, and the subsequent reorientation and broadeni ng of his theories to a non-psychologistic logic and mathesis universali s, the Logical Investigations might at first seem to fall apart in two fundamentally disconnected books, the second one of which containin g six heterogeneous studies. It is my contention that it is exactly its troubled history that ties the Logical Investigations together, as Husse rl developed his logical investigations in the 1890s on the basis of a h andful thorny problems, including intentionality as centerpiece. From th e Habilitationsschrift to the Ideas it is the relation between subject a nd object, in all respects, ontological as well as epistemological, that guides his research. The Logical Investigations is a intermediate sedim ent of his struggles, containing an elaboration and improvement of his p osition in his early works and also pointing ahead towards the later pos ition of transcendental phenomenology as an implication and continuation of the solutions he proposes. Furthermore, I tried to address the problem that, while Husserl regarded his Logical Investigations as the breakthrough to phenomenology, many f undamental notions of the later transcendental phenomenology seem to be missing in the first edition of the Logical Investigations. The me thod of the reduction, the notion of a pure ego and a full account of th e noema are at most sketched or implied. Hence, I also looked ahead to t he further development of phenomenology after the Logical Investigations. As Husserl s influence has extended beyond the movement he found ed, I felt I could not bypass his significance for the currently d ominant analytical philosophy. Especially with respect to some of the co re topics of the Logical Investigations, but also earlier themes such as Husserl s semiotics, there is an interest in phenomenology from the ana lytic side. Nevertheless, precisely with regard to the unifying theme of intentionality, analytical philosophy often seems to miss the mark, and spectacularly so. I discussed Searle s influential, but in my opi nion, misguided and flawed approach, and I hope it is clear that I have chosen my method and approach in complete antithesis to his. The central contributions I was able to give, were only possible thanks to solid historical groundwork as necessary prerequisite for systematic analyses. Wherever possible, a reference to the original primary sources was provided, allowing the texts to speak for themselves and providing the reader with the critical instruments to evaluate my interpretations. As Husserl stood in a fruitful exchange with many other scholars, as st udent, colleague, friend and teacher, the intellectual context of his th oughts is essential to a correct understanding of his theories and aims. I hope to have found the right balance in the historical and the system atical aspects of my work to suit the interests of the reader and the re quirements of scholarship. (shrink)

A general approach to the synthesis of an optimal order of executing jobs in engineering systems with indeterminate times of job processing is presented. As a mathematical model of the system, a two-stage pipeline is taken whose first and second stages are, respectively, the input of data and its processing, and the corresponding mathematical apparatus is continuous logic and logic determinants.

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories (...) of consequence analyzed with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

Recent theories of agency (sees to it that) of Nuel Belnap and Michael Perloff are examined, particularly in the context of an early proposal of the author.

An experiment is reported examining dual-process models of belief bias in syllogistic reasoning using a problem complexity manipulation and an inspection-time method to monitor processing latencies for premises and conclusions. Endorsement rates indicated increased belief bias on complex problems, a finding that runs counter to the “belief-first” selective scrutiny model, but which is consistent with other theories, including “reasoning-first” and “parallel-process” models. Inspection-time data revealed a number of effects that, again, arbitrated against the selective scrutiny model. The most (...) striking inspection-time result was an interaction between logic and belief on premise-processing times, whereby belief - logic conflict problems promoted increased latencies relative to non-conflict problems. This finding challenges belief-first and reasoning-first models, but is directly predicted by parallel-process models, which assume that the outputs of simultaneous heuristic and analytic processing streams lead to an awareness of belief - logic conflicts than then require time-consuming resolution. (shrink)

This book presents a new theory of the relationship between vagueness, context-sensitivity, gradability, and scale structure in natural language. Heather Burnett argues that it is possible to distinguish between particular subclasses of adjectival predicatesDLrelative adjectives like tall, total adjectives like dry, partial adjectives like wet, and non-scalar adjectives like hexagonalDLon the basis of how their criteria of application vary depending on the context; how they display the characteristic properties of vague language; and what the properties of their associated orders are. (...) It has been known for a long time that there exist empirical connections between context-sensitivity, vagueness, and scale structure; however, a formal system that expresses these connections had yet to be developed. This volume sets out a new logical system, called DelTCS, that brings together insights from the Delineation Semantics framework and from the Tolerant, Classical, Strict non-classical framework, to arrive at a full theory of gradability and scale structure in the adjectival domain. The analysis is further extended to examine vagueness and gradability associated with particular classes of determiner phrases, showing that the correspondences that exist between the major adjectival scale structure classes and subclasses of determiner phrases can also be captured within the DelTCS system. (shrink)

For branching-time temporal logic based on an Ockhamist semantics, we explore a temporal language extended with two additional syntactic tools. For reference to the set of all possible futures at a moment of time we use syntactically designated restricted variables called fan-names. For reference to all possible futures alternative to the actual one we use a modification of a difference modality, localized to the set of all possible futures at the actual moment of time.We construct an axiomatic (...) system for this extended branching-time logic and prove its soundness and completeness with respect to bundle tree semantics. Finally, we show how our axiomatic system can be extended with a variety of important additional operators, such as Since and Until, a global difference operator, operators for undivided and divided histories, reference pointers, etc. (shrink)

The search for the backbone of the types of rationality inherent in different cultures keeps on to be an open problem, which remains relevant to the need of closer intercultural interaction in the global world. At the same time, the analysis of the logic of language as the basis for the study of rationality types continues to occupy an important place. Meanwhile, the studies of grammatical structures and language models from the point of view of their connection to a (...) certain type of thinking and influence on the method of philosophizing are still quantitatively inferior to the researches of lexical aspects. Expansion of this type of research with the involvement of a diverse cultural material over time will allow us to reach the level of establishing regularities of a more general nature. This article contributes to the development of this issue. The author deals with the approaches to the defnition of the paradigm of Japanese rationality proposed by researchers of grammatical features of the Japanese language, on the one hand, and the “logic of place” concept and the “absolutely contradictory identity” principle of prominent philosopher Nishida Kitaro, on the other hand. A special attention is drawn to the structural similarity of the grammatical form highlighted by linguists, in which the decisive role belongs to the predicate, and to Nishida’s logical model reflecting specifcs of subject-predicate relationship as well as perception of opposition in terms of “contradictory self-identity.” In the conclusion of the article, the author demonstrates the relationship of this model with the certain idea of subject, the type of epistemology overcoming dualism, the processual and cosmocentric comprehension of the world that can be traced in Nishida’s statements. (shrink)

In this paper we present BTC, which is a complete logic for branchingtime whose modal operator quantifies over histories and whose temporal operators involve a restricted quantification over histories in a given possible choice. This is a technical novelty, since the operators of the usual logics for branching-time such as CTL express an unrestricted quantification over histories and moments. The value of the apparatus we introduce is connected to those logics of agency that are interpreted on branching-time, as (...) for instance Stit Logics. (shrink)

It is well-known that by 1882, Peirce, influenced by Cayley’s, Clifford’s and Sylvester’s works on algebraic invariants and by the chemical analogy, had already achieved something like a diagrammatic treatment of quantificational logic of relatives. The details of that discovery and its implications to some wider issues in logical theory merit further investigation, however. This paper provides a reconstruction of the genesis of Peirce’s logical graphs from the early 1880s until 1896, covering the period of time during (...) which he already was acquainted with the works of his Johns Hopkins colleagues on the mathematical theory of graphs and was reaching the very first forms of his theory and method of... (shrink)

Prior has conjectured that the tense-logical system Gli obtained by adding to a complete basis for the classical propositional calculus the primitive symbolG, the definitionsDf. F:Fα=NGNαDf. L:Lα=KαGα,and the postulatesis complete for the logic of linear, infinite, transitive, discrete future time. In this paper it is demonstrated that that conjecture is correct and it is shown that Gli has the finite model property: see [4]. The techniques used are in part suggested by those used in Bull [2] and [3]:Gli (...) can be shown to be complete for the logic of linear, infinite, transitive, discrete future time in the sense that every formula of Gli which is true of such time can be proved as a theorem of Gli. For this purpose the notion of truth needs to be formalized. This formalization is effected by the construction of a model for linear, infinite, transitive, discrete future time. (shrink)

Kantian philosophy of space, time and gravity is significantly affected in three ways by particle physics. First, particle physics deflects Schlick’s General Relativity-based critique of synthetic a priori knowledge. Schlick argued that since geometry was not synthetic a priori, nothing was—a key step toward logical empiricism. Particle physics suggests a Kant-friendlier theory of space-time and gravity presumably approximating General Relativity arbitrarily well, massive spin-2 gravity, while retaining a flat space-time geometry that is indirectly observable at large (...) distances. The theory’s roots include Seeliger and Neumann in the 1890s and Einstein in 1917 as well as 1920s–1930s physics. Such theories have seen renewed scientific attention since 2000 and especially since 2010 due to breakthroughs addressing early 1970s technical difficulties. Second, particle physics casts additional doubt on Friedman’s constitutive a priori role for the principle of equivalence. Massive spin-2 gravity presumably should have nearly the same empirical content as General Relativity while differing radically on foundational issues. Empirical content even in General Relativity resides in partial differential equations, not in an additional principle identifying gravity and inertia. Third, Kant’s apparent claim that Newton’s results could be known a priori is undermined by an alternate gravitational equation. The modified theory has a smaller symmetry group than does Newton’s. What Kant wanted from Newton’s gravity is impossible due its large symmetry group, but is closer to achievable given the alternative theory. (shrink)

Hsun K'uang was one of the thinkers of the Warring States period, and he occupies an important place in the history of Chinese thought. He was also an outstanding Chinese logician. He broadened the realm of logical theory and applied logic to the ideological struggle in his time. This article will be devoted to a review of the outline and characteristics of the logical thought advanced in his famous article "Cheng-ming p'ien" [Correct Nomenclature].

The writings of the Italian philosophers Giovanni Vailati and Mario Calderoni, sometimes called logical pragmatists, are not well-known in the English-speaking countries. A recent revival of interest is due in part to the reflection in the works of these men of later developments in analytic and pragmatic philosophy. This bibliography has three parts; In Part I are listed English and French translations of some of Vailati's writings, and commentaries in English and French on his work. Part II indicates the (...) extent of Vailati's correspondence with scholars of his time, and lists reviews by Vailati of the works of his contemporaries. Part III is a list of his major writings in Italian, with English translations of the titles. (shrink)

When we make a prediction we select, among the conceivable future descriptions of the world, those that appear to us to be most plausible. We capture this by means of two binary relations, ≺c and ≺p: if t1 and t2 are points in time, we interpret t1 ≺ct2 as sayingthat t2 is in the conceivable future of t1, while t1 ≺pt2 is interpreted to mean that t2 isin the predicted future of t1. Within a branching-time framework we propose (...) the following notion of “consistency of prediction”. Suppose that at t1 some future moment t2 is predicted to occur, then every moment t on the unique path from t1 to t2 should also be predicted at t1 and the prediction of t2 should continue to hold at every such t. A sound and complete axiomatization is provided. (shrink)

We prove that all finitely axiomatizable tense logics with temporal operators for ‘always in the future’ and ‘always in the past’ and determined by linear fows time are coNP-complete. It follows, for example, that all tense logics containing a density axiom of the form ■n+1F p → nF p, for some n ≥ 0, are coNP-complete. Additionally, we prove coNP-completeness of all ∩-irreducible tense logics. As these classes of tense logics contain many Kripke incomplete bimodal logics, we obtain many (...) natural examples of Kripke incomplete normal bimodal logics which are nevertheless coNP-complete. (shrink)

Compound propositions which can successfully be defended in a quantumdialogue independent of the elementary propositions contained in it, must have this property also independent of the mutual elementary commensur-abilities. On the other hand, formal commensurabilities must be taken into account. Therefore, for propositions which can be proved by P, irrespective of both the elementary propositions and of the elementary commensur-abilities, there exists a formal strategy of success. The totality of propositions with a formal strategy of success in a quantum dialogue (...) form the effective quantum logic. The propositions of the effective quantum logic can be derived from a calculus Q eff which is — on the other hand — equivalent to a lattice L qi.Propositions about measuring results are above all time dependent propositions A(S;t). In a dialogue, different partial propositions will have in general different time values. If one can (accidentally) win a material dialogue, this dialogue can be related to a single time value. For the propositions of the effective quantum logic there exist formal strategies of success, independent of the elementary propositions contained in it. All partial propositions appearing in the dialogue are formally commensurable. Therefore the propositions of effective quantum logic which can be proved by formal dialogues can always be related to a single time. They present a description of the system S considered in which all partial propositions can be related jointly to the state of S.Therefore in the effective quantum logic we have — in the limit of equal time values — a situation which corresponds conceptually to the description of the system (S; ψ) in Hilbert space. Consequently, one would expect that also the lattice L qi — except from the tertium non datur 8 — agrees with the lattice L q of subspaces of Hilbert space. It has been shown that these lattices are in fact isomorphic. (shrink)

The branching-time logic called Peircean by Arthur Prior is considered and given an infinite axiomatization. The axiomatization uses only the standard deduction rules for tense logic.