We provide sufficient conditions for the existence of a conservative translation from a consequence system to another one. We analyze the problem in many settings, namely when the consequence systems are generated by a deductive calculus or by a logic system including both proof-theoretic and model-theoretic components. We also discuss reflection of several metaproperties with the objective of showing that conservative translations provide an alternative to proving such properties from scratch. We discuss soundness and completeness, disjunction property and metatheorem of (...) deduction among others. We provide several illustrations of conservative translations. (shrink)

The transference of preservation results between importing and unconstrained fibring is investigated. For that purpose, a new formulation of fibring, called biporting, is introduced, and importing is shown to be subsumed by biporting. In consequence, particular cases of importing, like temporalization, modalization and globalization are subsumed by fibring. Capitalizing on these results, the preservation of the finite model property by fibring is transferred to importing and then carried over to globalization.

Importing subsumes several asymmetric ways of combining logics, including modalization and temporalization. A calculus is provided for importing, inheriting the axioms and rules from the given logics and including additional rules for lifting derivations from the imported logic. The calculus is shown to be sound and concretely complete with respect to the semantics of importing as proposed in J. Rasga et al. (100(3):541–581, 2012) Studia Logica.

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...) m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (shrink)

Combined connectives arise in combined logics. In fibrings, such combined connectives are known as shared connectives and inherit the logical properties of each component. A new way of combining connectives (and other language constructors of propositional nature) is proposed by inheriting only the common logical properties of the components. A sound and complete calculus is provided for reasoning about the latter. The calculus is shown to be a conservative extension of the original calculus. Examples are provided contributing to a better (...) understanding of what are the common properties of any two constructors, say disjunction and conjunction. (shrink)

A probabilistic propositional logic, endowed with a constructor for asserting compatibility of diagonalisable and bounded observables, is presented and illustrated for reasoning about the random results of projective measurements made on a given quantum state. Simultaneous measurements are assumed to imply that the underlying observables are compatible. A sound and weakly complete axiomatisation is provided relying on the decidable first-order theory of real closed ordered fields. The proposed logic is proved to be a conservative extension of classical propositional logic.

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy and striking advances in logic. This (...) historical-critical study provides an excellent introduction to the problems of the philosophy of mathematics - problems which have wide implications for philosophy as a whole. This reissue will appeal to students of both mathematics and philosophy who wish to improve their knowledge of logic. (shrink)

The work of Jacques Ellul is useful in understanding and evaluating the implications of rapidly changing technologies for human values and democracy. Ellul developed three powerful theses about technology: technological autonomy, technological determinism, and technological bluff. In this essay, the authors explicate these views of technology, and place the work of Ellul in dialogue with the ides of other important theorists of technology. Ellul’s too-often overlooked theses about technology are relevant to our present technological society.

Impostors, confidence artists, and artful deceivers seem to have achieved a strange kind of popularity and even prestige in our contemporary political landscape, for reasons that remain elusive, especially given how harmful and socially unwanted such behaviors ostensibly are. Herman Melville’s 1857 novel, The Confidence-Man: His Masquerade, helps us shift our perspective on this seemingly irrational phenomenon because it points out how being susceptible to dupery is linked to the enjoyment of fiction itself. This insight also highlights the importance of (...) epistemological failure in the recent “return to aesthetics” in literary studies, where the positive dimension of unconsciously “willing one’s dupery” directly links aesthetic form to politics. The logic that connects aesthetics to unconscious enjoyment is then elaborated in the work of psychoanalytic thinkers such as Sigmund Freud, Jacques Lacan, Helene Deutsch and others to raise particular questions about how and why the enjoyment of being duped has been associated with feminine sexuality. Reading Melville’s novel while considering psychoanalytic concepts such as the “as if” personality, imposture, and interpassivity illuminates how confidence games play upon the ruses of sexuality, which have profound implications for why the public remains in thrall to the workings of known deceivers. (shrink)

Satisfaction systems and reductions between them are presented as an appropriate context for analyzing the satisfiability and the validity problems. The notion of reduction is generalized in order to cope with the meet-combination of logics. Reductions between satisfaction systems induce reductions between the respective satisfiability problems and (under mild conditions) also between their validity problems. Sufficient conditions are provided for relating satisfiability problems to validity problems. Reflection results for decidability in the presence of reductions are established. The validity problem in (...) the meet-combination is proved to be decidable whenever the validity problem for the components are decidable. Several examples are discussed, namely, involving modal and intuitionistic logics, as well as the meet-combination of modal logic and intuitionistic logic. (shrink)

The novel notion of importing logics is introduced, subsuming as special cases several kinds of asymmetric combination mechanisms, like temporalization [8, 9], modalization [7] and exogenous enrichment [13, 5, 12, 4, 1]. The graph-theoretic approach proposed in [15] is used, but formulas are identified with irreducible paths in the signature multi-graph instead of equivalence classes of such paths, facilitating proofs involving inductions on formulas. Importing is proved to be strongly conservative. Conservative results follow as corollaries for temporalization, modalization and exogenous (...) enrichment. (shrink)

This theory accords to volitions the status of basic mental actions, maintaining that these are spontaneous exercises of the will--a "two-way" power which ...

Sufficient conditions for first-order-based sequent calculi to admit cut elimination by a Schütte–Tait style cut elimination proof are established. The worst case complexity of the cut elimination is analysed. The obtained upper bound is parameterized by a quantity related to the calculus. The conditions are general enough to be satisfied by a wide class of sequent calculi encompassing, among others, some sequent calculi presentations for the first order and the propositional versions of classical and intuitionistic logic, classical and intuitionistic modal (...) logic S4, and classical and intuitionistic linear logic and some of its fragments. Moreover the conditions are such that there is an algorithm for checking if they are satisfied by a sequent calculus. (shrink)

Cut elimination is shown, in a constructive way, to hold in sequent calculi labelled with truth values for a wide class of normal modal logics, supporting global and local reasoning and allowing a general frame semantics. The complexity of cut elimination is studied in terms of the increase of logical depth of the derivations. A hyperexponential worst case bound is established. The subformula property and a similar property for the label terms are shown to be satisfied by that class of (...) modal sequent calculi. Modal logics presented by these calculi are proven to be globally and locally consistent. (shrink)

Linear temporal logic with Since and Until modalities is expressively equivalent, over the class of complete linear orders, to a fragment of first-order logic known as FOMLO. It turns out that LTL, under some basic assumptions, is expressively complete if and only if it has the property, called separation, that every formula is equivalent to a Boolean combination of formulas that each refer only to the past, present or future. Herein we present simple algorithms and their implementations to perform separation (...) of the LTL with Since and Until, over discrete and complete linear orders, and translation from FOMLO formulas into equivalent temporal logic formulas. We additionally show that the separation of a certain fragment of LTL results in at most a double exponential size growth. (shrink)

A new technique is presented for proving that a consequence system enjoys Craig interpolation or Maehara interpolation based on the fact that these properties hold in another consequence system. This technique is based on the existence of a back and forth translation satisfying some properties between the consequence systems. Some examples of translations satisfying those properties are described. Namely a translation between the global/local consequence systems induced by fragments of linear logic, a Kolmogorov-Gentzen-Gödel style translation, and a new translation between (...) the global consequence systems induced by full Lambek calculus and linear logic, mixing features of a Kiriyama-Ono style translation with features of a Kolmogorov-Gentzen-Gödel style translation. These translations establish a strong relationship between the logics involved and are used to obtain new results about whether Craig interpolation and Maehara interpolation hold in that logics . (shrink)

Talks 1952 -- Ojai, California 3 August -- August -- August -- Talks 1953 -- Bombay 4 March -- London 9 April -- Ojai, California 4 July -- Talks 1955 -- Amsterdam 26 May -- London 25 June -- Talks 1956 -- Madanapalle, India 26 February -- Brussels 24 June -- June -- Hamburg 6 September -- New Delhi 31 October -- Madras 26 December -- Talks 1957 -- Colombo, Sri Lanka 23 January -- January -- Talks 1958 -- Poona, (...) India 21 September -- Madras 26 October -- November -- Bombay 28 December -- Talks 1959 -- Madras 6 December -- December -- Bombay 23 December. (shrink)

There has been much discussion about the nature and even existence of so-called “pure conscious events” (PCEs). PCEs are often described as mental events which are non-conceptual and lacking all experiential content (Forman 1990). For a variety of reasons, a number of authors have questioned both the accuracy of such a characterization and even the very existence of PCEs (Katz 1978, Bagger 1999). In this chapter, I take a somewhat different, but also critical, approach to the nature and possibility of (...) PCEs. I focus on several overlapping views found in recent analytic philosophy of mind and examine PCEs in light of them. After introducing terminology and some preliminary matters, I examine whether or not the “higher-order thought (HOT) theory of consciousness” rules out the possibility of PCEs, and conversely, whether or not PCEs show that the HOT theory cannot apply to all conscious states. The HOT theory says that what makes a mental state conscious is that it is accompanied by a higher-order thought to the effect that “I am in mental state M now.” A related theme will be to assess PCEs in light of the recent debate between so-called “conceptualists” and those who believe that there are “non-conceptual contents of experience.” Conceptualism, to which I am very sympathetic, is basically the view that all conscious experience is structured by concepts possessed by the subject. I argue that PCEs are indeed conceptual and so no threat to conceptualism. For example, standard criticisms of conceptualism do not apply to PCEs. Finally, I examine the possibility that PCEs are not conscious at all. In the end, my overall conclusion is that we should hold that PCEs are indeed compatible with both HOT theory and conceptualism or seriously question the idea that PCEs are conscious at all. (shrink)

The purpose of this text is to draw attention to eight forgotten heroes: William C. Bagley, Charles DeGarmo, David Felmley, William Torrey Harris, Isaac L. Kandel, Charles McMurry, William C. Ruediger, and Edward Austin Sheldon. They have been marginalized from our profession, and drawing upon their legacy is the best hope for restoring the profession of teaching today. This work also includes a chapter at the end of the book entitled "John Dewey's Forgotten Essays." The audience for this book includes: (...) 1) classroom teachers, 2) school administrators, 3) teacher educators, 4) deans and other university administrators, 5) college and university presidents, 6) legislators, 7) historians of education, 8) curriculum specialists, 9) specialists in teacher training, and 10) the general public. (shrink)

Arrow and turnstile interpolations are investigated in UCL [introduced by Sernadas et al. ], a logic that is a complete extension of classical propositional logic for reasoning about connectives that only behave as expected with a given probability. Arrow interpolation is shown to hold in general and turnstile interpolation is established under some provisos.

The first English translation of Fichte’s second set of 1804 lectures on the Wissenschaftslehre.

This comprehensive and important volume includes contributions by activists, journalists, lawyers and scholars from twenty-one countries. The essays map the directions the movement for women's rights is taking--and will take in the coming decades--and the concomittant transformation of prevailing notions of rights and issues. They address topics such as the rapes in former Yugoslavia and efforts to see that a War Crimes Tribunal responds; domestic violence; trafficking of women into the sex trade; the persecution of lesbians; female genital mutilation; and (...) reproductive rights. (shrink)

We give an axiomatization of first‐order logic enriched with the almost‐everywhere quantifier over finitely additive measures. Using an adapted version of the consistency property adequate for dealing with this generalized quantifier, we show that such a logic is both strongly complete and enjoys Craig interpolation, relying on a (countable) model existence theorem. We also discuss possible extensions of these results to the almost‐everywhere quantifier over countably additive measures.

Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calculi labelled with truth values and with a semantics based on a two-sorted algebra allowing, in particular, the representation of general Kripke structures. A wide variety of logics, including non-classical logics like, for instance, modal logics and intuitionistic logic can be presented by logic systems of this kind. A categorical approach of fusion (...) is defined in the context of these logic systems. Preservation of soundness and completeness by fusion is studied. Soundness is preserved without further requirements, completeness is preserved under mild assumptions. (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)

Fibring is recognized as one of the main mechanisms in combining logics, with great signicance in the theory and applications of mathematical logic. However, an open challenge to bring is posed by the collapsing problem: even when no symbols are shared, certain combinations of logics simply collapse to one of them, indicating that bring imposes unwanted interconnections between the given logics. Modulated bring allows a ner control of the combination, solving the collapsing problem both at the semantic and deductive levels. (...) Main properties like soundness and completeness are shown to be preserved, comparison with bring is discussed, and some important classes of examples are analyzed with respect to the collapsing problem. (shrink)

I refer to the social embodiment of creative intelligence as creative democracies. Today’s world pose great challenges and serious threats to human life and cannot be faced by just having new ideas or more knowledge and thoughts. Today’s world requires the power to face the unknown, a key feature of intelligence. Hence the urgent need of societies to mutate into creative democracies. We need to begin with a strong base. We need an understanding and development of human life from its (...) foundations and the simplicity of its origin in the creative freedom of reality and its intra-active intelligence, the power of all humans in our global world to meet and share meaning and interests. This essaysuccinctly highlights their foundations, prefaced by three cautionary reflections. (shrink)

This paper argues that for the purposes of any sort of serious discussion about immoral conduct in sport very little is illuminated by claiming that the conduct in question is cheating. In fact, describing some behavior as cheating is typically little more than expressing strong, but thoroughly vague and imprecise, moral disapproval or condemnation of another person or institution about a wide and ill-defined range of improper advantage-seeking behavior. Such expressions of disapproval fail to distinguish cheating from many other types (...) of immoral conduct. The discussion shows that we should set the concept aside and assess the moral disapproval implied by claims of cheating by reference to the moral and other principles that underlie the practice of sport. This allows us to consider carefully the complexity of the issues that are raised when allegations of cheating are made and not be distracted by the emotionally loaded, conversation-stopping tendency of the concept. This means that some types of disputes in sport will be messy and demand more effort to resolve, but the payoff will be better informed and more thoughtful discussions and greater awareness of the moral complexity of sport and of its principled underpinnings. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:A Bridge From Analysis to Action:Psychodynamic Analyses of Religion and Michael S. Hogue's American ImmanenceAJ Turner (bio)I. IntroductionThe purpose of this essay is to work constructively with Michael S. Hogue's groundbreaking American Immanence: Democracy for an Uncertain World to demonstrate how psychodynamic analyses of religion are essential theoretical allies in the fight for resilient democracy. The "revolution in mind"1 that psychodynamic approaches contribute, especially in their analyses of religion, (...) both complements and complicates socio-political theory as a whole. In the improvisational spirit of "yes-and," the goal here is not to identify and decry the failures and shortcomings of Hogue's theopolitical vision but rather to inspire the recovery of a sibling discourse—a kind of "rebirth of a forgotten alternative"2—that also draws deeply from the American immanental tradition in order to add psychodynamic depth to Hogue's timely and important analysis. Psychodynamic theories of religion shed light on how symbolic identifications, including and especially ultimate concerns, structure personal and collective experience. By engaging religion and theology sympathetically, constructively, and creatively, theorists such as Rollo May, Gordon Allport, Karen Horney, Erich Fromm, and Ernest Becker departed from the skepticism, reductionism, and dismissal that characterized psychoanalytic analyses of religion in the wake of Freud.3 Each of these figures, and especially Becker whose work will be a focus in this essay, are noteworthy interlocutors for extending Hogue's theopolitical theorizing of resilient democracy, particularly in how they drew unique inspiration from the American immanental tradition [End Page 44] in their social analyses. In this respect, they provide a more robust theorization of the psychosocial conditions of the associational ethos needed to connect Hogue's conception of resilient democracy with forms of agonistic organization and democratic activism. Briefly stated, psychodynamic approaches are a helpful bridge for connecting these proposals to strategies of organization, their impediments, and collective action.In this way, both psychodynamic analyses of religion and Hogue's theopolitical innovation insist that no revolutionary political change is possible, and certainly not of the kind or scale needed to counter our wickedly entangled global crises, without a deep engagement with theological imaginaries. They differ, however, in their theoretical aims. Whereas Hogue compellingly argues for the political upshot of a theology deriving from the American immanental tradition, psychodynamic analysts of religion focus on the function of ultimate concerns in individual and collective life. In other words, American Immanence rests on a methodology of analyzing the philosophical and theological assumptions that have contributed to our climate crises and then presenting clear and compelling articulation of an alternative paradigm meant to open up new ways of being. In contrast psychodynamic analyses leverage conceptual clarity of psychic reality for the fundamentally therapeutic aim of transformation. At their best, both approaches share what could be called an etiological orientation to ontological questions in order to provide liberative alternatives through rational understanding and clarification, but the terrain, and thus the problems they hope to mitigate in their analyses are focused differently. Extending the visual metaphor, they are different lenses highlighting different areas of the same landscape. Furthermore, it must be said that neither are sufficient in themselves, but the psychodynamic theorists of religion to be highlighted in this essay share deeply with Hogue's heading in American Immanence.II. A Problematic AssumptionIn emphasizing and attempting to explain4 the role of non-rational processes in the both individual and social processes of perception and organization of experience, psychodynamic theories confound a widely held and problematic assumption that the triumph of rational analysis is the hallmark for building the society to which we should aspire. Political theory in general, [End Page 45] especially as it has taken its cues from a rationalist legacy about the inherently liberating force of Reason, has been weighted toward an assumption that its task of exposing the mystifications of power would suffice in inspiring more "rational" and therefore necessarily equitable social organization. This speaks to the longstanding socio-political interest in "consciousness raising" tactics, which are often meant to dispel "false consciousness." It even comes across in the emphases of Deweyan pragmatists on education. Psychologists of all stripes point out that this approach... (shrink)