I argue that Prior analyticsII.5?7, 8?10, and 1.45 actually contain studies of processes for transforming arguments into other arguments which Aristotle carried out before having completed the theory of perfecting syllogisms by reduction to first-figure moods as presented in Prior analytics1.4?7. This position rejects Ross's opinion that these passages are ?mental gymnastics?, and Patzig's view that some of these texts contain studies of alternative axiomatizations or other logical studies posterior to the completion of the basic theory of syllogisms.

Providing more human-like concept learning in machines has always been one of the most significant goals of machine learning paradigms and of human-machine interaction techniques. This article attempts to provide a logical specification of conceptual mappings from humans’ minds into machines’ knowledge bases. We will focus on the representation of the mappings (transformations) relying on First-Order Predicate Logic. Additionally, the structure of concepts in the common ground between humans and machines will be analysed. It seems quite necessary to (...) pay attention to the philosophy of constructivism and constructivist models of knowing. This research constructs a conceptual ground for expressing and analysing concepts in the common ground between humanistic and informatics sciences and in the context of human-machine interplays. (shrink)

We study some metamathematical properties of various classicaland paraconsistent logical systems. In particular, we discuss the concept ofa k-transform of a formula and consider some of its applications.

In this paper we study connections between game theoretical concepts and results, and features of IF-predicate logic, extending observations from J. van Benthem (2001) for IF-propositional logic. We highlight how both characteristics of perfect recall can fail in the semantic games for IF-formulas, and we discuss the four Thompson transformations in relation with IF-logic. Many (strong) equivalence schemes for IF-logic correspond to one or more of the transformations. However, we also find one equivalence that does not fit in (...) this picture, by the type of imperfect recall involved. We point out that the connection between the transformations and logical equivalence schemes is less direct in IF-first order logic than in the propositional case. The transformations do not generate a reduced normal form for IF-logic, because the IF-language is not flexible enough. (shrink)

Interest in philosophical anthropology in the early twelfth century was limited to the logical question of how to think and speak about dead humans. This question was prompted by the logic of living and dead humans based on the doctrine of substance found in Aristotle’s Categories and in the division of substance, as outlined by Porphyry to exemplify the logic of genus and species relations in the Isagoge. Abelard held the view that there is no such thing as a (...) dead human, and this provoked an intense response from his contemporaries. Abelard’s contemporaries, including Alberic of Paris and other anonymous authors, mounted a number of arguments against Abelard’s views. The stakes were high for them: as realists about species and genera, Abelard’s denial that there are dead humans threatened their entire interpretation of the structure of species and genera, and thereby their theory of universals. (shrink)

This intriguing and ground-breaking book is the first in-depth study of the development of philosophy of science in the United States during the Cold War. It documents the political vitality of logical empiricism and Otto Neurath's Unity of Science Movement when these projects emigrated to the US in the 1930s and follows their de-politicization by a convergence of intellectual, cultural and political forces in the 1950s. Students of logical empiricism and the Vienna Circle treat these as strictly intellectual (...) non-political projects. In fact, the refugee philosophers of science were highly active politically and debated questions about values inside and outside science, as a result of which their philosophy of science was scrutinized politically both from within and without the profession, by such institutions as J. Edgar Hoover's FBI. It will prove absorbing reading to philosophers and historians of science, intellectual historians, and scholars of Cold War studies. (shrink)

This paper advances the thesis that the raw version of the butterfly dream story in the Chuang-tzu is logically untenable and should thus be replaced by a logically coherent altered version. First, it sets out the positive meaning of the butterfly dream. Second, it examines the raw version of the butterfly dream so as to point up its inherent illogicality. Third, it sets out a modified version of the butterfly dream and demonstrates its superior logicality. Fourth, it shows how conventional (...) interpretations of the butterfly dream story—the ‘confusion hypothesis’ and the ‘external endless transformation’ hypothesis—arise from the raw version and identifies basic weaknesses in the conventional interpretation options. Fifth and last, it returns to an in-depth consideration of the interpretation which arises from a re-ordering of the butterfly dream story fragments. The raw version of the story makes little sense, which is why, I propose, it has lacked a satisfactory interpretation. This thesis stands on three presuppositions. The butterfly dream story is an analogy of the enlightenment experience. The enlightenment experience, or the experience of illumination, is the phenomenological correlate of the central objective of the Chuang-tzu, that of self-transformation. And the enlightenment experience is not only the phenomenological correlate, but the essential pre-condition for self-transformation. By refashioning our (mis)interpretations of the butterfly dream story, we can more fully appreciate its transformative message. (shrink)

We define the notion of “potential existence” by starting from the fact that in multi-valued logic the existential quantifier is interpreted by the least upper bound operator. Besides, we try to define in a general way how to pass from potential into actual existence.

Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the premise-set. This (...) paper locates information-theoretic approaches historically, philosophically, and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyze validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

It is well established within the ethics and institutional theory literatures that institutions can have conflicting logics with ethical dimensions and that there are solutions to the conflicts. Within institutional, ethics, and change leadership theory, quantitative, mixture solutions such as distributive solutions have been frequently considered. The ethics, institutional, and change leadership theory literatures have recognized that there are qualitative transformational solutions that are different than quantitative mixture solutions. However and for the most part, with the notable exception of the (...) Thornton et al. :801–843, 2012) typology of solutions, the institutional, change leadership, and ethics literatures have not considered typologies of transformational solutions. And more specifically with respect to this article, the institutional, change leadership, and ethics literatures have not considered different types of transformational solutions to institutional logic conflicts with ethical dimensions. This article: develops a typology of transformational solutions; applies the typology with historical examples of conflicting institutional ethics logics within factory, cultural, and institutional social change leadership cases; and, considers practical and theoretical implications for institutional ethics change leadership for achieving and/or resisting different types of transformational solutions. (shrink)

Name der Zeitschrift: Semiotica Jahrgang: 2017 Heft: 215 Seiten: 255-268.

We present a direct reduction of dynamic epistemic logic in the spirit of [4] to propositional dynamic logic (PDL) [17, 18] by program transformation. The program transformation approach associates with every update action a transformation on PDL programs. These transformations are then employed in reduction axioms for the update actions. It follows that the logic of public announcement, the logic of group announcements, the logic of secret message passing, and so on, can all be viewed as subsystems of PDL. (...) Moreover, the program transformation approach can be used to generate the appropriate reduction axioms for these logics. Our direct reduction of dynamic epistemic logic to PDL was inspired by the reduction of dynamic epistemic logic to automata PDL of [13]. Our approach shows how the detour through automata can be avoided. (shrink)

Mevcut çalışmanın genel amacı; metafizik kavram ve matematik nesnelerin, aklın zorunlu ilkeleriyle sistemleşen mantık ilminin kapsamında nasıl bir tutarlılık oluşturduğunun araştırılmasıdır. Bununla birlikte; ilke koyucu yönüyle matematiğin metafizik kavramlara bağlı olduğu göz önüne alınarak özellikle modern dönemde salt matematik nesneler ve mantığın şekilsel ilkeleriyle kurulan ontolojilerin metafizik ilkelerden ayrışma sebepleri matematik felsefesinin ana akımları esas alınarak tartışılmasıdır. Çalışmanın diğer bir odak problemi metafizik kavramların bilgi havzalarına göre farklı anlamlar içerdiğinin vurgulanması ve metafizik bilginin imkânsızlığını ileri süren ontolojik yapıların kendi bilgi (...) havzalarında tanımlanmış olan metafizik kavramlara karşı geliştiği, evrensel geçerliliğe sahip olmadığı görüşü savunulmuş ve bu iddialar ilgili bilgi havzalarının literatürlerine bağlı olarak tartışılmıştır. Son olarak; metafizik-klasik mantık ilişkisinin modern dönemde nasıl matematik-mantık ilişkisine dönüştüğünün gerekçeleri kritik edilmiştir. (shrink)

This article tries to present a possible way of proliferating bivalent, trivalent, etc. calculation. Beyond the controversies as to the effects that involve the presence versus the absence of the temporal factor, no significant attempts of adapting a bivalent logic to other pairs of values have been mentioned. Should the transformation of the alethiologic modalities into logic values be possible, five more bivalent calculations may be added to the classic bivalent calculation. All these new calculations are compatible with the traditional (...) one, to the extent that they submit to the conditions of non-contradictoriness and exhaustibility, and the connectors receive, even if partially, the corresponding value interpretations. (shrink)

Jerry L. Walls, the author of books on hell and heaven, completes his tour of the afterlife with a philosophical and theological exploration and defense of purgatory, the traditional teaching that most Christians require a period of postmortem cleansing and purging of their sinful dispositions and imperfections before they will be fully made ready for heaven. He examines Protestant objections to the doctrine and shows that the doctrine of purgatory has been construed in different ways, some of which are fully (...) compatible with Protestant theology. In particular, while purgatory has often been understood as matter of punishment in order to make satisfaction for sins that have not been fully remitted, it can also be seen as the completion of the sanctification process, an account of the doctrine that is fully consistent with the Protestant doctrine of justification by faith. Purgatory assumes not only continuity of personal identity but also gradual moral and spiritual growth between death and resurrection. Different theories of personal identity are examined and assessed in light of these assumptions. Walls also shows that the traditional doctrine of purgatory is not understood as a second chance for salvation, but goes on to argue that it should be modified to allow for postmortem repentance. He concludes with an examination of C.S. Lewis's writings on purgatory, and suggests that Lewis can be a model for evangelicals and other Protestants to engage the doctrine of purgatory in a way that is true to their theology. (shrink)

The purpose of the article is to reveal the scientific approach that substantiates the impact of the creation of strategic alliances (SA) on the digital transformation of business and the development of their innovative power based on identified success factors. The aim was achieved using the following methods: abstract logic and typification (for classification of SA's success factors), generalization (to determine the peculiarities of SA's influence on their innovation development), analytical and ranking method (to determine the relationship between the dynamics (...) creating of SA and the degree of acceleration of digital transformation), expert evaluation (to determine the degree of influence of SA success factors by business areas). Implementing a business-integrated approach to understanding digital transformation will accelerate implementation of innovation and organizational change, identifies future prospects for market, customer and business relationships, highlighting the importance of researching the factors that ensure their success. An alternative vision of SA’s success factors is suggested, which are determined by the possibilities the organization of partnerships and organizational culture, integration of business sectors, compatibility of management goals, external relevance, obtaining synergies. Innovation is considered by the authors as an integration factor that reconciles all groups of SA success factors, giving them the necessary focus to solve business problems. The results of the study show that the creation of SA has a significant impact on accelerating and changes priority of digital transformation of business areas involved in strategic partnerships, and the impact of SA on the development of their innovation power is crucial. (shrink)

We interpret the modal µ-calculus over a new model [10], to give a temporal logic suitable for systems exhibiting both probabilistic and demonic nondeterminism. The logical formulae are real-valued, and the statements are not limited to properties that hold with probability 1. In achieving that conceptual step, our technical contribution is to determine the correct quantitative generalisation of the Boolean operators: one that allows many of the standard Boolean-based temporal laws to carry over the reals with little or no (...) structural alteration, even for properties that hold with probability strictly between 0 and 1. The generalisation is not obvious, but is dictated by our discovery elsewhere of the algebraic property that characterises the next-time operator over the new model: it is arithmetic 'sublinearity' [20, Fig. 4 p. 342], which replaces the Boolean conjunctivity that characterises next-time in a modal algebra.We confirm by example that the new modal laws can be used for quantitative reasoning about probabilistic/demonic behavior. The random walk is treated using only those laws and real-number arithmetic: arguing from precise numeric premises, more specific than simply 'with some non-zero probability', we reach numeric conclusions that are not simply 'with probability 1'. (shrink)

The value of logic techniques in circuit design has been well-known for many years, but a thorough grounding in mathematical logic is needed for all stages of software development, especially program specification, verification and program transformation. In all these stages, logic underpins the theory, bearing out the dictum that Logic is the calculus of computer science. This book presents the subject of mathematical logic in order to provide a grounding for students in computer science.

This paper tries to clarify the logical structure of the relationship between labor values and prices from an axiomatic perspective. The famous “transformation problem” is interpreted as an impossibility result for a specific interpretation of value theory based on specific assumptions and definitions. A comprehensive review of recent literature is provided, which shows that there are various theoretically relevant and logically consistent alternative interpretations based on different assumptions and definitions.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Imagining Karma, Ethical Transformation in Amerindian, Buddhist, and Greek RebirthA. L. HermanImagining Karma, Ethical Transformation in Amerindian, Buddhist, and Greek Rebirth. By Gananath Obeyesekere. Berkeley: University of California Press, 2002. 448 pp.Gananath Obeyesekere, professor emeritus of anthropology at Princeton University, is probably one of the world's greatest living anthropologists. The proof of that assertion lies in this his latest work on comparative anthropology, a study of the concept (...) and practice of rebirth—"reincarnation" as he calls it—from ancient Greece and India to modern West Africa, Melanesia, and North America. In what follows let me briefly set forth what I understand his central thesis to be, the evidence for it, and the conclusions to be drawn from it. I will end with two very modest problems connected with this altogether intriguing and brilliant investigation into the doctrine of rebirth.As a modified structural anthropologist, Gananath Obeyesekere rejects the rationalist model structuralism of Claude Levi-Strauss. He follows instead the lead of two of his empiricist predecessors, Max Weber and Fernand Braudel, pointing out that structures, types, or models "are constructions of scholars, not universals waiting to be discovered" (p. 351). Consequently, as this book aptly proves, Obeyesekere's own "imagined" models are based on parole data following the actual language of the cultures being studied.Obeyesekere thus begins his book with an elementary rebirth structure based on such parole. He refers to this primitive, first structure as "rebirth eschatology," which entails the rebirth of a deceased's soul into the body of a newborn relative of the deceased but without any determining ethical component as found in the more sophisticated and complex "karmic eschatologies." Such ethically neutral kin group rebirths are found among certain small-scale societies in West Africa, the Trobriand Islands, the Northwest American coast tribes, and the Inuits (Eskimos). Obeyesekere [End Page 303] draws extensively on field studies of these groups to bolster his conclusions about them. This simple rebirth eschatology is non-Indic in origin, Obeyesekere claims, since no evidence of influences have been found between these practitioners of rebirth eschatology and work relating to the Indic religions (Hinduism and Buddhism). The entry of the soul into postdeath life, either in this world or the world of the ancestors, depends not at all, consequently, on one's this-worldly behavior such that "morality does not affect the fate of the soul after death" (p. 74).Obeyesekere turns next to the "transformation" of this rebirth eschatology. It occurs with the introduction of the concept of ethicization, "the processes whereby morally right or wrong action becomes a religiously right or wrong action that in turn affects a person's destiny after death" (p. 75). It is Obeyesekere's contention that when ethicization is systematically introduced into any rebirth eschatology the latter must logically transform itself into a so-called "karmic eschatology." In other words, this second topological model or conceptual structure, karmic eschatology, the new ethicized rebirth eschatology, says that the otherworld for the dead is not simply a way station for departed souls waiting to be reborn, but rather that otherworld is now a place of retribution and punishment. Kinship affiliation alone no longer determines who goes where after death but moral action does. My own guess is that rebirth eschatology was introduced to answer the question of why the grandchild resembles the deceased grandparent. Karmic eschatology, on the other hand, was probably introduced to solve a more complex and sophisticated puzzle: Why is it, if there really is justice in the universe, that the wicked never get appropriately punished and the good never get sufficiently rewarded? At this stage of transformation, the law of karma, or some other principle of universal justice, now says that everyone gets what's coming to them, either in this life or the next, and that rebirth is necessary to make that principle of justice workable.1 In arguing that "rebirth cannot be divorced from ethics; it looks as if it is generated from ethics" (p. 82), Obeyesekere would seem to concur that karmic eschatology was introduced to answer the question: Why do the wicked seem to prosper and the good appear to suffer?Following... (shrink)

In this article we analyse the role of the principle of relativity and the generalisation of Lorentz transformations in Einstein's relativistic physics, whose philosophical ideal was the construction of an image of nature endowed with maximum unity and logical simplicity. In his critical-rationalist realism, Einstein aimed to develop a "conception of the world" that expressed the logical unity of nature. Throughout his scientific career, this philosophical programme led him to produce "great syntheses", seeking compatibility between different physical (...) systems. (shrink)

This new edition of work that has evolved over the past seven years completes the derivation of the form of The Standard Model from quantum theory and the extension of the Theory of Relativity to superluminal transformations. The much derided form of The Standard Model is established from a consideration of Lorentz and superluminal relativistic space-time transformations. So much so that other approaches to elementary particle theory pale in comparison. In previous work color SU(3) was derived from space-time (...) considerations. This book shows that the SU(2) U(1) Weak Interaction sector follows directly from the extension of Lorentz transformations to superluminal (faster-than-light) transformations. In fact, ElectroWeak symmetry is shown to have an SU(2) U(1) U(1) symmetry that naturally includes WIMPs (Weakly Interacting Massive Particles), a candidate for Dark Matter. Thus the form of the Standard Model is dictated by space-time considerations fulfilling a dream of Einstein. Using a new matrix formulation of Logic - Operator Logic - we show that Dirac-like equations can be constructed. This edition also derives broken SU(4) four fermion generations as well as a non-Higgsian (Dimensional Mass Generation) derivation of fermion and ElectroWeak gauge boson masses from GL(4). The program of the book is completed by reprinting the book Quantum Theory of the Third Kind, which describes Two-Tier quantum field theory. This theory yields finite results (No Feynman diagram calculations diverge!) in The Standard Model and Quantum Gravity calculations to all orders in perturbation theory. Lastly, the book also contains a description of Operator Logic, Probabilistic Operator Logic, Quantum Operator Logic (for q-number statements). A comprehensive derivation of the form of The Standard Model from geometric considerations. (shrink)

One of the key events in the relations between the Central European philosophers and those of the Nordic countries was the Second International Congress for the ...

Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about distinctions, differences and distinguishability and is formalized using the distinctions of a partition. All the definitions of simple, joint, conditional and mutual entropy of Shannon information theory are derived by a uniform transformation from the corresponding definitions at the logical level. The purpose (...) of this paper is to give the direct generalization to quantum logical information theory that similarly focuses on the pairs of eigenstates distinguished by an observable, i.e., qudits of an observable. The fundamental theorem for quantum logical entropy and measurement establishes a direct quantitative connection between the increase in quantum logical entropy due to a projective measurement and the eigenstates that are distinguished by the measurement. Both the classical and quantum versions of logical entropy have simple interpretations as “two-draw” probabilities for distinctions. The conclusion is that quantum logical entropy is the simple and natural notion of information for quantum information theory focusing on the distinguishing of quantum states. (shrink)

Indigenous movements throughout the Andes have put forward the idea of plurinationalism as a theoretical concept of social transformation. Plurinationalism demands a complete overturning of the existing state structure and a rethinking of the idea of the national collective and social formation undergirding a given nation state. In essence, plurinationalism, through a variety of both ideological and material programs and processes, recognizes and incorporates the various distinct indigenous nationalities that comprise a social formation into a unified state apparatus while maintaining (...) and expanding those communities’ powers of autonomy, self-governance, and cultural and economic reproduction. Plurinationality, therefore, can be understood to represent the most fundamental and critical endeavor put forward by Bolivia's largely indigenous popular classes over the past two decades. Not only does the concept challenge our understanding of the modern socio-political formations of the nation state, but it also offers a distinct perspective on the notion of revolution. (shrink)

Antoine Arnauld and Pierre Nicole were philosophers and theologians associated with Port-Royal Abbey, a centre of the Catholic Jansenist movement in seventeenth-century France. Their enormously influential Logic or the Art of Thinking, which went through five editions in their lifetimes, treats topics in logic, language, theory of knowledge and metaphysics, and also articulates the response of 'heretical' Jansenist Catholicism to orthodox Catholic and Protestant views on grace, free will and the sacraments. In attempting to combine the categorical theory of the (...) proposition with a Cartesian account of knowledge, their Logic represents the classical view of judgment which inspired the modern transformation in logic and semantic theory by Frege, Russell, Wittgenstein and recent philosophers. This edition presents a new translation of the text, together with a historical introduction and suggestions for further reading. (shrink)

Logic is the study of the validity of arguments, which is to say the study of when a conclusion follows or does not follow from a set of premises. Logic is an ancient discipline pioneered by Aristotle and developed by some of the greatest thinkers in the Middle Ages. However, in the nineteenth century logic underwent a remarkable transformation into a precise branch of mathematics that changed the nature of logic, and the study of religion, forever. Both religious adherents and (...) critics of religion have sometimes claimed that logic and religion do not mix, but this is a puzzling claim since logic itself is not a set of substantive premises about the world which may come into conflict with religious claims, but a means of testing mathematically which premises come into conflict with which other premises. In fact, sense can be made of whether logic and religion mix, but the question, and the answer, turn out to be more complex than many have thought. (shrink)

Review:Geeks & Geezers: How Era, Values, and Defining Moments Shape Leaders. Book by Warren G. Bennis and Robert J. Thomas. Published by Harvard Business School Press, Boston, Massachusetts, 2002, 224 pp., ISBN: 1 57851 582 3,.

According to L. A. Paul (2014), transformative experiences pose a challenge for decision theory, as their subjective value is not epistemically accessible. However, several authors propose that the subjective values of options are often irrelevant to their ranking; in many cases, all we need for rational transformative decision-making are the known non-subjective values. This stance is in conflict with Paul’s argument that the subjective value can always swamp the non-subjective value. The approach presented in this paper takes Paul’s argument into (...) account and shows how potential swamping can be controlled given that one desires the transformative outcome: If one knows from previous decisions that desired transformative outcomes are associated with positive subjective value and if, in addition, testimony confirms this association for the current decision situation, one can infer that a desired outcome’s expected subjective value has a positive valence. Accordingly, one can rationally choose the desired transformative option if its non-subjective value is no lower than the overall value of any other option. (shrink)

There are several formal systems for persuasive dialogue. Dialogue systems are multi-Agent systems, and this contrasts with the general lack of any agency in standard logics other than in the case of epistemic and deontic logics. Dialogue systems have been called logics. A logic usually has a semantics and a proof system, and questions of soundness and completeness arise. Any dialogue conducted according to the rules of a dialogue logic is a complex process. Dynamic Logic is a logic of processes, (...) with a possible world semantics. This paper is a preliminary exploration of transforming the dialogues of dialogue logic into complex Dynamic Logic processes with emphasis on semantic models. The transformation gives rise to many questions, three of which are discussed. Dialogue logic includes commitment sets which behave in a way similar to belief sets and undergo changes during any dialogue. There are issues as to the relationship between belief and commitment, and whether the logics of belief change apply to commitment stores. There is also the issue of the logical nature of the evaluation of dialogues as legal or illegal. (shrink)

In the last seven years, philosophers have discussed the topic of transformative experiences. In this paper, we contribute to a crucial issue that is currently under-researched: transformative experiences' influence on cognitive modelling. We argue that cognitive modelling can be operationalized as affective forecasting, and we compare transformative and non-transformative experiences with respect to the ability of affective forecasting. Our finding is that decision-makers’ performance in cognitively modelling transformative experiences does not systematically differ from decision-makers’ performance in cognitively modelling non-transformative experiences. (...) This claim stands in strict opposition to L.A. Paul’s main argument. (shrink)

Logical reflection in early modern philosophy (EMP) is marked by the instability of the period, although it is more lasting (the Port-Royal Logic was nevertheless used as a handbook in philosophy courses until the end of the nineteenth century). It started in the sixteenth century and ended in the nineteenth century, a period of 300 years during which there were deep transformations in the conceptions of authority and scientific method. For the history of twentieth-century philosophy, it was the (...) period of “classical logic,” which lasted from the Renaissance to the linguistic turn conducted by Gottlob Frege. The period was used to be thought of as centuries of little or no original contribution to logic, in which conceptions of logic were tainted by rhetoric, epistemology, and psychologism in the worst sense (Kneale and Kneale 1962; Michael 1997). From the last decades of the twentieth century, however, scholars began to regard this period more accurately with respect to reflection and changes in logic and semantics. It has recently become a promising field for historical and conceptual research; today we can say that the legacy of early modern logical reformism has a philosophical, logical, and semantic value in itself. (shrink)

We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.