The work of Bertrand Russell had a decisive influence on the emergence of analytic philosophy, and on its subsequent development. The prize-winning Russell scholar Peter Hylton presents here some of his most celebrated essays from the last two decades, all of which strive to recapture and articulate Russell's monumental vision. Relating his work to that of other philosophers, particularly Frege and Wittgenstein, and featuring a previously unpublished essay and a helpful new introduction, the volume will be essential for anyone engaged (...) with the history of twentieth-century ideas. (shrink)

In this paper we propose an non-machine learning artificial intelligence (AI) based approach for telecom data analysis, with a special focus on clique detection. Clique detection can be used to identify households, which is a major challenge in telecom data analysis and predictive analytics. Our approach does not use any form of machine learning, but another type of algorithm: satisfiability for propositional logic. This is a neglected approach in modern AI, and we aim to demonstrate that for certain (...) tasks, it may be a good alternative to machine learning-based approaches. We have used a simple DPLL satisfiability solver over an artificially generated telecom dataset (due to GDPR regulations), but our approach can be implemented on any telecom data by following the SAT encoding we have developed, and the DPLL solver can be substituted by a more advanced alternative such as CDCL. This paper extends the method presented in [1] for banking logs to data containing caller information, and proposes a more efficient encoding. -/- . (shrink)

In his Foundations of Arithmetic, Frege aims to extend our a priori arithmetical knowledge by answering the question what a natural number is. He rejects conceptual analysis as a method to acquire a priori knowledge . Later he unsuccessfully tried to solve the problems that beset conceptual analysis . If these problems remain unsolved, which rational method can he use to extend our a priori knowledge about numbers? I will argue that his fundamental arithmetical insight that numbers belong (...) to concepts is based on the recognition that different sentences express the same thought. In Frege's philosophy of arithmetic, propositional analysis does the main work. How it can do this work will be discussed in sections 3, 4 and 5. Sections 6 and 7 explore this approach further. (shrink)

The paper’s purpose is to get clearer on what it is to express a proposition. A proposition is understood as anything that can be asserted, assumed, conjectured, stated, believed, and so on. It is not something that can be asked, ordered, requested, and so on. The paper tries to provide groundwork for a successful analysis by making distinctions and clarifying problems.

I present and discuss two logical results. The first shows that a non-trivial counterfactual analysis exists for any contingent proposition that is false in at least two possible worlds. The second result identifies a set of conditions that are individually necessary and jointly sufficient for the success of a counterfactual analysis. I use these results to shed light on the question whether disposition ascribing propositions can be analyzed as Stalnaker-Lewis conditional propositions. The answer is that they can, (...) but, in order for a counterfactual analysis to work, the antecedent and consequent must be related in a particular way, and David Lewis’s Time’s Arrow constraints on comparative world similarity must be relaxed. The upshot is that counterfactual analyses are easy to come by, in principle, even if not in practice. In that sense, it’s easy to be iffy. (shrink)

Employing Constructive Type Theory Constructive Type Theory, we provide a logical analysis of[aut]Ibn SīnāIbn Sīnā’sIbn Sīnā descriptional propositions. Compared to its rivals, our analysis is more faithful to the grammatical subject-predicate structure of propositions and can better reflect the morphological features of the verbs that extend time to intervals. We also study briefly the logical structure of some fallacious inferences that are discussed by Ibn Sīnā. The CTT-framework makes the fallacious nature of these inferences apparent.

Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general 'admissible semantics', using models in which there is a restriction on which sets of worlds count as propositions. This requires a new interpretation of quantifiers that takes into account the admissibility of propositions. The author sheds new light on the celebrated Barcan Formula, whose role becomes that of legitimising the Kripkean interpretation (...) of quantification. The theory is worked out for systems with quantifiers ranging over actual objects, and over all possibilia, and for logics with existence and identity predicates and definite descriptions. The final chapter develops a new admissible 'cover semantics' for propositional and quantified relevant logic, adapting ideas from the Kripke-Joyal semantics for intuitionistic logic in topos theory. This book is for mathematical or philosophical logicians, computer scientists and linguists. (shrink)

In contrast with some recent theories of infinitesimals as non-Archimedean entities, Leibniz’s mature interpretation was fully in accord with the Archimedean Axiom: infinitesimals are fictions, whose treatment as entities incomparably smaller than finite quantities is justifiable wholly in terms of variable finite quantities that can be taken as small as desired, i.e. syncategorematically. In this paper I explain this syncategorematic interpretation, and how Leibniz used it to justify the calculus. I then compare it with the approach of Smooth Infinitesimal (...) class='Hi'>Analysis (SIA), as propounded by John Bell. Despite many parallels between SIA and Leibniz’s approach —the non-punctiform nature of infinitesimals, their acting as parts of the continuum, the dependence on variables (as opposed to the static quantities of both Standard and Non-standard Analysis), the resolution of curves into infinitesided polygons, and the finessing of a commitment to the existence of infinitesimals— I find some salient differences, especially with regard to higher-order infinitesimals. These differences are illustrated by a consideration of how each approach might be applied to Newton’s Proposition 6 of the Principia, and the derivation from it of the v2/r law for the centripetal force on a body orbiting around a centre of force. It is found that while Leibniz’s syncategorematic approach is adequate to ground a Leibnizian version of the v2/r law for the “solicitation” ddr experienced by the orbiting body, there is no corresponding possibility for a derivation of the law by nilsquare infinitesimals; and while SIA can allow for second order differentials if nilcube infinitesimals are assumed, difficulties remain concerning the compatibility of nilcube infinitesimals with the principles of SIA, and in any case render the type of infinitesimal analysis adopted dependent on its applicability to the problem at hand. (shrink)

I show that standard grounding conditions contradict standard conditions for the identities of propositions.

We give a semantical account of propositional identity which is stronger than mutual entailment. That is, according to our account: (1) if A = B is true in a model, so are A 'validates' B and B 'validates' A. (2) There exist models m such that A 'validates' B and B 'validates' A are true in m but A = B is not true in m. According to our account the following rule is sound: (3) from (.. A..) = (.. (...) B..) infer A = B. The paper is a response to a paper by James Freeman to an earlier paper by us. (shrink)

I argue, through appeal to the distinction between analysis and decomposition described by Dummett, that Wittgenstein employs both of those notions in the Tractatus. I then bring this interpretation to bear upon the issue of propositional unity, where I formulate an objection to the views of both Leonard Linksy and José Zalabardo. I show that both Linsky and Zalabardo fail to acknowledge the distinction between analysis and decomposition present in the Tractatus, and that they consequently mischaracterise Wittgenstein’s position (...) with respect to propositional unity. (shrink)

The distinction between propositional and doxastic justification is well-known among epistemologists. Propositional justification is often conceived as fundamental and characterized in an entirely apsychological way. In this chapter, I focus on beliefs based on deductive arguments. I argue that such an apsychological notion of propositional justification can hardly be reconciled with the idea that justification is a central component of knowledge. In order to propose an alternative notion, I start with the analysis of doxastic justification. I then offer a (...) notion of propositional justification, intersubjective propositional justification, that is neither entirely apsychological nor idiosyncratic. To do so, I argue that to be able to attribute propositional justification to a subject, we have to consider her social context as well as broad features of our human cognitive architecture. (shrink)

_Philosophical Propositions_ is a fresh, up to date, and reliable introduction to philosophical problems. It takes seriously the need for philosophy to deal with definitive and statable propositions, such as God, certainty, time, personal identity, the mind/body problem, free will and determinism, and the meaning of life.

It is a commonly held view that Frege's doctrine of senses and references is not compatible with the idea that there are de re beliefs. The present paper is meant to challenge that view. Moreover, it seeks to show that, instead of forcing Frege's semantic framework to answer questions raised by twentieth-century philosophy of language, we could try to find other questions to which it might be an answer. It is argued that the proper treatment of Frege's views requires the (...) acknowledgement of the central role of individualistic epistemology in his thought. Once this is recognized, Frege's doctrine of senses and references can be considered a theory, or at least a sketch of a theory, of cognition, which has interesting connections with Kant's and Husserl's views. (shrink)

An important issue for visual argumentation is its relationship to propositions, since it has been argued that, in order to be arguments, images should be propositional. The first part of the paper will approach this debate from a theoretical perspective. After quickly surveying the field on the issue, I will address the relationship between images and propositions. Three specific questions will be examined: can propositions accurately account for the way images express arguments?; are verbal propositions necessary to reconstruct arguments that (...) images alone cannot convey, due to their lacking linguistic tools?; are images essentially non-propositional because they don’t have truth-value? The second part of the paper will include a detailed analysis of two posters. From these analyses, I will ultimately conclude that some images can display a visual argument without necessarily being propositional. (shrink)

A number of philosophers and logicians have argued for the conclusion that maps are logically tractable modes of representation by analyzing them in propositional terms. But in doing so, they have often left what they mean by "propositional" undefined or unjustified. I argue that propositions are characterized by a structure that is digital, universal, asymmetrical, and recursive. There is little positive evidence that maps exhibit these features. Instead, we can better explain their functional structure by taking seriously the observation that (...) maps arrange their constituent elements in a non-hierarchical, holistic structure. This is compatible with the more basic claim advanced by defenders of a propositional analysis: that (many) maps do have formal semantics and logic. (shrink)

Intuitively Austinian propositions are propositions that tell us something about a situation In this paper we will consider Austinian propositions and the associated notion that situations support infons which are to be found in situation theory and situation semantics We will try to tease out the consequences of taking the Austinian approach advocated in situation semantics as opposed to a very similar approach originally proposed by Davidson That is that event predicates where events are to be generally conceived so as (...) to be more like the notion of sit uation i e including states and processes are taken to have an argument position for an event We will do this comparison with respect to an area of data that was part of the original motivation for situation semantics naked in nitive perception complements see Barwise and Perry We will see that negative descriptions of events are one area where the Austinian and Davidsonian approaches make dif ferent predictions and at the end of the paper we will brie y consider negative event descriptions more generally with particular reference to the DRT analysis based on a Davidsonian approach as exempli ed by Amsili and Le Draoulec this volume.. (shrink)

Sentences attributing beliefs, doubts, wants, and the like (propositional attitudes, in Russell's terminology) have posed a major problem for semantics. Recently the pragmatic description of language has become more systematic. I shall discuss the formalization of pragmatics, and propose an analysis of belief attribution that avoids some main problems apparently inherent in the semantic approach.

This paper explores whether Jeffrey King's theory of propositions is committed to an obscure metaphysics which identifies propositions with certain kinds of facts. §1 presents the problem to which King tries to provide a solution, the problem of the unity of the proposition. §2 presents King's doubtful identification of propositions with certain existentially generalized facts over languages, words, speakers, contexts, times and places. §3 sketches a host of objections to the identification made in §2, provided King’s identification is taken (...) to be a substantive metaphysical claim. Given the failure of such a metaphysical reading, §4 argues in favor of a deflationist approach according to which we can better understand propositions by attempting to ramsify them – to provide substitutes that do all the explanatory work propositions do but are not metaphysically dubious. I argue King's claim to identify propositions with facts is better interpreted as an example of such a ramsification project, and not in a metaphysically substantive way. (shrink)

This is an intelligently conceived expository treatment of topics in analytical philosophy which students often have difficulty getting clear about. There are, for example, discussions of fundamental logical notions; the many distinctions pertaining to assertions, sentences, and propositions; extension and intension; the analytic-synthetic dichotomy; the place of definition and explication in philosophical analysis, and so on. This clearly written book will not complete with extant texts but will, as the authors remark, complement them: it fills a current need.—C. T. (...) W. (shrink)

Attitudinal propositionalism is the view that all mental attitude content is truth-evaluable. While attitudinal propositionalism is still silently assumed in large parts of analytic philosophy, recent work on objectual attitudes (i.e. attitudes like ‘fearing Moriarty’ and ‘imagining a unicorn’ that are reported through intensional transitive verbs with a direct object) has put attitudinal propositionalism under explanatory pressure. This paper defends propositionalism for a special subclass of objectual attitudes, viz. experiential attitudes. The latter are attitudes like seeing, remembering, and imagining whose (...) grammatical objects intuitively denote (events or) scenes. I provide a propositional analysis of experiential attitudes that preserves the merits of propositionalism. This analysis uses the possibility of representing the target-scenes of experiential attitudes by the intersection of all propositions that are true in these scenes. I show that this analysis makes available the usual (Russellian) account of intensionality and the common (Boolean) logic for entailments. (shrink)

This article concerns the treatment of propositional quantification in a framework of labelled natural deduction for modal logic developed by Basin, Matthews and Viganò. We provide a detailed analysis of a basic calculus that can be used for a proof-theoretic rendering of minimal normal multimodal systems with quantification over stable domains of propositions. Furthermore, we consider variations of the basic calculus obtained via relational theories and domain theories allowing for quantification over possibly unstable domains of propositions. The main result (...) of the article is that fragments of the labelled calculi not exploiting reductio ad absurdum enjoy the Church–Rosser property and the strong normalization property; such result is obtained by combining Girard’s method of reducibility candidates and labelled languages of lambda calculus codifying the structure of modal proofs. (shrink)

This paper aims to discuss Quine’s last analysis of propositional attitudes as involving intentionality and as regards human action and the very subject matter of social sciences. As to this problem, Quine acquiesces in both Davidson’s anomalous monism and Dennett’s intentional stance. An alternative analysis is here presented, which is based on Howard Rachlin’s teleological behaviorism. Some problems regarding this approach are also considered. Intentionality and rationality are still to be saved, but they are construed according to a (...) lawful perspective to human behavior and social contexts of action. (shrink)

We shall be concerned to show that the argument is unsound; that is, even if the premises were true, and we shall argue that they are not, the conclusions of the various forms of the argument do not follow from them. In particular, we wish to deny that the activity of translation commits us to accepting abstract entities such as propositions. Hence we do not regard the argument as providing support for any of,, and. However, although we accept the contradictories (...) of and, and although we reject we do not wish to analyze belief in terms of sentence acceptance. For while the set of sentences to which a person is prepared to assent is evidence of what he believes, it follows from Quine’s indeterminacy thesis that a person’s pattern of belief is underdetermined by this evidence. In fact, the translation argument that we are about to discuss may itself be rejected on the basis of Quine’s indeterminacy thesis, but we are concerned here to challenge the argument by its own standards. (shrink)

In the present work we provide a logical analysis of normatively determined and non-determined propositions. The normative status of these propositions depends on their relation with another proposition, here named reference proposition. Using a formal language that includes a monadic operator of obligation, we define eight dyadic operators that represent various notions of “being normatively (non-)determined”; then, we group them into two families, each forming an Aristotelian square of opposition. Finally, we show how the two resulting squares (...) can be combined to form an Aristotelian cube of opposition. (shrink)

How to use truth tables to narrow down the number of possible candidates for missing premise. and, how to use philosophical analysis to pick the most plausible candidate from among those. this activity is a nice capstone to a course in logic for it combines formal and informal procedures.

Is the way we use propositions to individuate beliefs and other intentional states analogous to the way we use numbers to measure weights and other physical magnitudes? In an earlier paper [2], I argued that there is an important disanalogy. One and the same weight can be 'related to' different numbers under different units of measurement. Moreover, the choice of a unit of measurement is arbitrary,in the sense that which way we choose doesn't affect the weight attributed to the object. (...) But it makes little sense to say that one and the same belief can be related to different propositions: different proposition means different belief. So there is no analogous arbitrary choice. (shrink)

The young Edmund Husserl stressed that the success of his philosophy hinged upon his ability to determine the subject and the predicate of impersonal propositions and their expressions, such as ‘It is raining’. This essay accordingly investigates the tenability of Husserl’s early thought, by executing the first study of his analysis of impersonal propositions from the late 1890s. This examination reshapes our understanding of the inception of phenomenology in two ways. First, Husserl pinpoints the subject by outlining why impersonal (...) expressions are employed during communication. This contravenes interpretations of the early Husserl as uninterested in intersubjectivity. Second, by studying how Husserl determines the predicate by investigating existential propositions, I show that Husserl, in the late 1890s, came to his final view on the concept of being. (shrink)

The most common account of attitude reports is the relational analysis according towhich an attitude verb taking that-clause complements expresses a two-placerelation between agents and propositions and the that-clause acts as an expressionwhose function is to provide the propositional argument. I will argue that a closerexamination of a broader range of linguistic facts raises serious problems for thisanalysis and instead favours a Russellian `multiple relations analysis' (which hasgenerally been discarded because of its apparent obvious linguistic implausibility).The resulting account (...) can be given independent philosophical motivations within anintentionalist view of truth and predication. (shrink)

Three distinctly different interpretations of Aristotle’s notion of a sullogismos in Prior Analytics can be traced: (1) a valid or invalid premise-conclusion argument (2) a single, logically true conditional proposition and (3) a cogent argumentation or deduction. Remarkably the three interpretations hold similar notions about the logical relationships among the sullogismoi. This is most apparent in their conflating three processes that Aristotle especially distinguishes: completion (A4-6)reduction(A7) and analysis (A45). Interpretive problems result from not sufficiently recognizing Aristotle’s remarkable degree (...) of metalogical sophistication to distinguish logical syntax from semantics and, thus, also from not grasping him to refine the deduction system of his underlying logic. While it is obvious that Aristotle most often uses ‘sullogimos’ to denote a valid argument of a certain kind, we show that at Prior Analytics A4-6, 7, 45 Aristotle specifically treats a sullogismos as an elemental argument pattern having only valid instances and that such a pattern then serves as a rule of deduction in his syllogistic logic. By extracting Aristotle’s understanding of three proof-theoretic processes, this paper provides new insight into what Aristotle thinks reasoning syllogistically is and, moreover, it resolves three problems in the most recent interpretation that takes a sullogismos to be a deduction. (shrink)

Contemporary philosophy of mind tends to theorize about the propositional attitudes primarily in terms of belief and desire. But there is a propositional attitude, sometimes called ‘entertaining,’ that seems to resist analysis in terms of belief and desire, and has been thought at other times and places (notably, in late nineteenth-century Austrian philosophy) to be more fundamental than belief and desire. Whether or not we accept the fundamentality of entertaining, it certainly seems to be an attitude ill understood in (...) contemporary philosophy of mind. The purpose of this paper is to make first steps – very first steps – toward a more mature understanding of entertaining. (shrink)

Analyses, in the simplest form assertions that aim to capture an intimate link between two concepts, are viewed since Russell's theory of definite descriptions as analyzing descriptions. Analysis therefore has to obey the laws governing definitions including some form of a Substitutivity Principle (SP). Once (SP) is accepted the road to the paradox of analysis is open. Popular reactions to the paradox involve the fundamental assumption (SV) that sentences differing only in containing an analysandum resp. an analysans express (...) the same proposition, because analysandum and analysans are the same entity. Following suggestions of Gupta and Belnap it is argued that (SV) should be rejected. (shrink)

Peter Anstey rejects the widespread view that all knowledge for Locke is propositional. He argues, instead, that Locke accepts a form of non-propositional knowledge. The perception of the agreement and disagreement of ideas, according to Anstey's interpretation, is akin to what Bertrand Russell called “knowledge by acquaintance.” He presents a careful, four-step analysis of Locke’s view of the acquisition of knowledge, which is designed to show how the mind proceeds from perceiving to affirming, then to assenting, and finally to (...) verbalizing propositions. This comprehensive account takes into account a variety of remarks Locke makes about perception, knowledge and true or false propositions, and Anstey claims that overall this interpretation is a better fit than the orthodox view that Locke held all knowledge to be propositional. (shrink)

In Logical Forms Part II, Chateaubriand begins the Chapter on “Propositional Logic” by considering the reading of the ‘conditional’ by ‘implies’; in fact he states that:There is a confusion, as a matter of fact, and it runs deep, but it is a confusion in propositional logic itself, and the mathematician’s reading is a rather sensible one.After a careful, erudite analysis of various philosophical viewpoints of logic, Chateaubriand comes to the conclusion that:Pure propositional logic, as just characterized, belongs to ontological (...) logic, and it does not include a theory of deduction as a human activity. This is a part of epistemological logic, and is more closely connected to the applications of pure propositional logic.An implicit assumption in Chateaubriand’s reasoning appears to be that propositions have a timeless status. I will present arguments for the opposite viewpoint which leads to an analysis of Propositional Logic not covered under Chateaubriand’s monograph and perhaps resolves some conflicts therein; much as the conflict between the Intuitionist and Classical Mathematician on whether every function on the Reals is continuous is resolved by the realization that they are talking about different “entities”.Em Logical Forms II, Chateaubriand inicia o capítulo “Lógica Proposi-cional” considerando a leitura do ‘condicional’ como ‘implica’. De fato, ele diz o seguinte:Na verdade, existe uma confusão, e ela é profunda, mas é uma confusão na lógica proposicional ela mesma, e a leitura de um matemático é bastante sensível.Depois de uma análise cuidadosa e erudita dos vários pontos de vista filosóficos da lógica , Chateaubriand chega à conclusão que:A lógica proposicional pura, tal como aqui caracterizada, pertence à lógica ontológica, e não inclui uma teoria da dedução como atividade humana. Isto é parte da lógica epistemológica, e é mais intimamente conectada às aplicações da lógica proposicional.Uma premissa implícita no raciocínio de Chateaubriand parece ser a de que proposições têm um estatuto atemporal. Eu argumentarei em favor da visão oposta, que leva a uma análise da Lógica Proposicional não abordada no texto de Chateaubriand e que talvez resolva alguns conflitos. Muito do conflito entre Intuicionistas e Matemáticos Clássicos sobre se toda função sobre os números reais é contínua é resolvido pela compreensão de que eles estão falando de “entidades” diferentes. (shrink)

ABSTRACTIn ‘Universals’, Ramsey declares that we do not, and cannot, know the forms of atomic propositions. A year later, in a symposium with Braithwaite and Joseph, he announces a change of mind: atomic propositions may, after all, be discoverable by analysis. It is clear from the 1926 paper that Ramsey intends this to be a revision of the 1925 claim. Puzzlingly, however, Ramsey does not mention analysis in 1925. My task in this article is to provide a justification (...) for that change of mind. My argument consists of two parts. I first show what relation holds between the negative 1925 assertion and the more positive 1926 assertion which allows us to read the latter claim as a retraction of the former, as Ramsey appears to have intended it. Then I shall argue that the retraction of the 1925 claim is forced upon Ramsey by reflection on the fact that three theses, all of which he held in or around the relevant period, are, rather surprisingly, revealed to be inconsistent. (shrink)

Isaac Newton's closest approach to a system of the world in the critical period 1681–84 is provided in a set of untitled propositions concerning comets. They drastically revise his position maintained against Flamsteed in 1681 and may signal his adoption of a single comet solution for the appearances of 1680/1. Points of agreement and difference with the key pre-Principia texts of 1684–85 are analysed. He shows substantial control of the phenomena of tails which change very little in mechanical detail throughout (...) his subsequent work. An emerging theory of gravitation brings planets, their satellites, and comets under the same laws of motion, yet retains a celestial vortex and includes a singular proposition in lieu of the usual formulation of Keplers area law. The analysis raises questions on a number of issues of recent Newtonian scholarship ranging from his achievement following his correspondence with Robert Hooke in 1679 to his veneration of the wisdom of the ancients. (shrink)

In Natural propositions (2014), Stjernfelt contends that the interpretation of a proposition or dicisign requires the joint action of two kinds of signs. A proposition must contain a sign that conveys a general quality. This function can be served by a similarity-based icon or code-based symbol. In addition, a proposition must situate or apply this general quality, so that the predication can become liable of being true or false. This function is served by an index. Stjernfelt rightly (...) considers the co-localization of these two parts to be a primitive phenomenon. Although this primitive character would seem to bar any further analysis, I endeavor to clarify the degree of proximity sufficient to enable co-localization. Siding with Pietarinen (2014), who argues that the whole issue should not be construed in metric terms, I conclude that one cannot make sense of propositional co-localization without appealing to some form of first-person perspective. (shrink)

A Commonplace of recent philosophy of mind is that intentional states are relations between thinkers and propositions. This thesis-call it the 'Relational Thesis'-does not depend on any specific theory of propositions. One can hold it whether one believes that propositions are Fregean Thoughts, ordered n-tuples of objects and properties or sets of possible worlds. An assumption that all these theories of propositions share is that propositions are abstract objects, without location in space or time...

Contemporary logic is confined to a few paradigmatic attitudes such as belief, knowledge, desire and intention. My purpose is to present a general modeltheoretical semantics of propositional attitudes of any cognitive or volitive mode. In my view, one can recursively define the set of all psychological modes of attitudes. As Descartes anticipated, the two primitive modes are those of belief and desire. Complex modes are obtained by adding to primitive modes special cognitive and volitive ways or special propositional content or (...) preparatory conditions. According to standard logic of attitudes , human agents are either perfectly rational or totally irrational. I will proceed to a finer analysis of propositional attitudes that accounts for our imperfect but minimal rationality. For that purpose I will use a non standard predicative logic according to which propositions with the same truth conditions can have different cognitive values and I will explicate subjective in addition to objective possibilities. Next I will enumerate valid laws of my general logic of propositional attitudes. At the end I will state principles according to which minimally rational agents dynamically revise attitudes of any mode. (shrink)

Lewis, D. Semantic analyses for dyadic deontic logic.--Salomaa, A. Some remarks concerning many-valued propositional logics.--Chellas, B. F. Conditional obligation.--Jeffrey, R.C. Remarks on interpersonal utility theory.--Hintikka, J. On the proper treatment of quantifiers in Montague semantics.--Mayoh, B.H. Extracting information from logical proofs.--Åqvist, L. A new approach to the logical theory of actions and causality.--Pörn, I. Some basic concepts of action.--Bouvère, K. de. Some remarks concerning logical and ontological theories.--Hacking, I. Combined evidence.--Äberg, C. Solution to a problem raised by Stig Kanger and (...) a set theoretical statement equivalent to the axiom of choice.--Lindström, P. On characterizing elementary logic.-- Scott, D. Rules and derived rules.--Hansson, B. A program for pragmatics.--Hermerén, G. Models.--Fenstad, J.E. Remarks on logic and probability.--Stenlund, S. Analytic and synthetic arithmetical statements. (shrink)