Although the theory of definability had many important antecedents—such as the descriptive set theory initiated by the French semi-intuitionists in the early 1900s—the main ideas were first laid out in precise mathematical terms by Alfred Tarski beginning in 1929. We review here the basic notions of languages, explicit definability, and grammatical complexity, and emphasize common themes in the theories of definability for four important languages underlying, respectively, descriptive set theory, recursive function theory, classical pure logic, and (...) finite-universe logic. We review the history of previous studies of the similarities and differences in the theories of definability of the first three of these four languages. A seminal role leading toward unification of the theories has been played by the separation principles introduced by Nikolai Luzin in 1927. Emphasizing analogies and driving toward further unification embracing finite-universe logic we concentrate on a simple example—the first and second separation principles for existential-universal first-order sentences . Using this as a test case for the fundamental problem of how to “finitize” arguments in classical pure logic to the finite-universe case, we are led to the analogous negative solution by using the theory of certain special graphs: a graph is - special for any positive integers m , n , p , q iff it is bipartite with m red points and n blue points and for every p -tuple of red points there is a blue point to which they are all connected . As an aside we introduce for further study a natural “Ramseyesque” increasing sequence A of positive integers, where A is the least positive integer n for which an -special graph exists. (shrink)

In his 1933 monograph on the concept of truth, Alfred Tarski claimed that his definition of truth satisfied “the usual conditions of methodological correctness”, which in a 1935 article he identified as consistency and back-translatability. Following the rules of defining for an axiomatized theory was supposed to ensure satisfaction of the two conditions. But Tarski neither explained the two conditions nor supplied rules of defining for any axiomatized theory. We can make explicit what Tarski understood by consistency and (...) back-translatability, with the help of (1) an account by Ajdukiewicz (1936) of the criteria underlying the practice of articulating rules of defining for axiomatized theories and (2) a critique by Frege (1903) of definitions that conjure an object into existence as that which satisfies a specified condition without first proving that exactly one object does so. I show that satisfaction of the conditions of consistency and back-translatability as thus explained is guaranteed by the rules of defining articulated by Leśniewski (1931) for an axiomatized system of propositional logic. I then construct analogous rules of defining for the theory within which Tarski developed his definition of truth. Tarski’s 32 definitions in this theory occasionally violate these rules, but the violations are easily repaired. I argue that the Leśniewski-Ajdukiewicz theory of formal correctness of definitions within which Tarski worked is superior in some respects to the widely accepted analogous theory articulated by Suppes (1957). (shrink)

We provide for the first time an exact translation into English of the Polish version of Alfred Tarski's classic 1936 paper, whose title we translate as ?On the Concept of Following Logically?. We also provide in footnotes an exact translation of all respects in which the German version, used as the basis of the previously published and rather inexact English translation, differs from the Polish. Although the two versions are basically identical, to an extent that is even uncanny, we (...) note more than 400 differences. Several dozen of these are substantive differences due to revisions by Tarski to the Polish version which he did not incorporate in the German version. With respect to these revisions the Polish version should be regarded as more authoritative than the German. Hence scholars limited to an English translation should use ours. (shrink)

The idea of rejection of some sentences on the basis of others comes from Aristotle, as Jan Łukasiewicz states in his studies on Aristotle's syllogistic [1939, 1951], concerning rejection of the false syllogistic form and those on certain calculus of propositions. Short historical remarks on the origin and development of the notion of a rejected sentence, introduced into logic by Jan Łukasiewicz, are contained in the Introduction of this paper. This paper is to a considerable extent a summary of papers (...) which are not easily available, even to the Polish reader: (1) J. Słupecki, Funkcja Łukasiewicza (Łukasiewicz’s function), Zeszyty Naukowe Uniwersytetu Wrocławskiego, Seria B, nr 3 (1959), 33-40; (2) U. Wybraniec-Skardowska, Teoria zdań odrzuconych (Theory of Rejected Sentences), (doctoral dissertation under the supervision of Jerzy Słupecki, published as a monograph), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie, Nr 22 (1969), 5-131; (3) G. Bryll, Kilka uzupełnień teorii zdań odrzuconych (Some supplements to the theory of rejcted sentences), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Mnografie, Nr 22 (1969), 153-154. The paper also contains a good number of results which have not been published yet. Chapter I contains results presented in the papers (1)-(3). It provides an extension of Alfred Tarski’s theory of deductive systems presented by him in the papers [1930]: Fundamentale Begriffe der Methodologie der deduktiven Wssenschaften, I and Über einige fundamentale Begriffe der Metamathematik. The enriched theory is marked with T. The most essential new concept in T is the function Cn-1, whose definition was given by Słupecki in (1) on the basis of the so-called Tarski’s general theory of deductive systems. It has the form: y e Cn-1X iff Ex e X (x e Cn {y}), where Cn is Tarski’s consequence operation. In accordance with the definition: A sentence y is rejected on the basis of the sentences of the set X iff at least one of sentences of X is a consequence of y (is deducible from y). The intuitive meaning of the rejection function Cn-1: on the basis of false sentences we can reject false sentences only (while by means of the consequence operation Cn on the basis of true sentences we can deduce true sentences only). The function Cn-1 is a generalization of the notion of rejected sentences which was introduced into logic by Łukasiewicz. The essential property of the rejection function Cn-1 is that it satisfies the axioms of general Tarski’s consequence Cn, so it is a consequence operation, called the rejection consequence. In addition, it is an additive and normal operation. In Chapter I, there are given notions analogous to those of the theory of deductive systems, but they are written down by means of the symbol ‘Cn-1’ and not ‘Cn’. There are established the properties of introduced notions and differences and analogies taking place between them and properties of respective notions of the theory T. There are also given generalizations of the notions of ‘decidable system’ and ‘consistent system’ used by Łukasiewicz. The short Chapter II contains axioms of the system T’ which is equivalent to the system T. The only difference between sets of primitive notions of these systems consists in the appearance of the function Cn-1 in the system T’ instead of the function Cn. This chapter reproduces the results given in (2), but they are partially simplified. (shrink)

The transgender population generally faces rights violations and discrimination in their day-to-day lives, which was exacerbated during the recent pandemic. This necessitates close scrutiny from an ethics perspective. Following directives from a 2014 Supreme Court judgement, Kerala became the first Indian state to implement a comprehensive policy to enforce the constitutional rights of transgender people. Despite such positive actions, a basic social tendency not to respect gender diversity has led to discrimination and marginalization. This was very evident during the (...) pandemic. In this empirical work, we have documented the lives of the transgender community during the pandemic wherein they share experiences related to livelihood, interaction with the healthcare system, and acceptance in society vis-à-vis the pandemic. Simply providing third-gender status will not help the gender-marginalized community to grow to their fullest potential and have a better lifestyle on par with others in mainstream society. (shrink)

We provide for the first time an exact translation into English of the Polish version of Alfred Tarski's classic 1936 paper, whose title we translate as ‘On the Concept of Following Logically’. We also provide in footnotes an exact translation of all respects in which the German version, used as the basis of the previously published and rather inexact English translation, differs from the Polish. Although the two versions are basically identical, to an extent that is even uncanny, we (...) note more than 400 differences. Several dozen of these are substantive differences due to revisions by Tarski to the Polish version which he did not incorporate in the German version. With respect to these revisions the Polish version should be regarded as more authoritative than the German. Hence scholars limited to an English translation should use ours. (shrink)

In this provocative contribution to both psychoanalytic theory and the philosophy of science, Louis Berger grapples with the nature of "consequential" theorizing, i.e., theorizing that is relevant to what transpires in clinical practice. By examining analysis as a genre of "state process formalism" - the standard format of scientific theories - Berger demonstrates why contemporary theorizing inevitably fails to explain crucial aspects of practice. His critique, in this respect, pertains both to the formal structure of psychoanalytic explanation (...) and the technical language through which this structure gains expression. The pragmatic recommendations that issue from this critique are illustrated with respect to a number of perennial problem areas besetting analysis and cognate disciplines. In a discussion that encompases theories of affect, issues in family therapy, the nature of first-language acquisition, and the philisophical topics of free will and determinism, Berger shows that certain systems of representation _can_ describe the psychological realm adequately, and that such systems necessarily follow modern physics in rejecting naive assumptions about the separability of theory and practice. His proposals culminate in a "nonhierarchical" conception of psychoanalytic theory that assigns a separate status to the clinically pragmatic level of theorizing. In both his critique of contemporary analysis and his reconstructive proposals, Berger fuses into a highly readable argument a fascinating range of insights culled from epistemology, linguistics, physics, logic, computer science, history, and aesthetics. More impressively still, he demonstrates how an investigation of psychoanalytic theory can serve as a vehicle for examining pervasive epistemological issues in both philosophy and the social sciences. (shrink)

The aim of this thesis is to discuss the nature of social phenomena, and to determine the appropriate way to explain them. Many of the contentions advanced rest largely upon the fact that social phenomena can be investigated only by methods which respect their distinctive character and status as social phenomena. In chapter I it is argued that the most important difference between the social and the natural sciences is that the former have to employ intentional criteria to identify (...) their explananda-phenomena. Because human and societal phenomena are intrinsically meaningful, the type of causation which prevails in the social realm is fundamentally different from that which prevails in the physical. In chapter II the claim of Popper and Hayek that the task of the social sciences is to trace the unintended consequences of human actions is critically examined. Two examples of economic explanation are given in order to show the importance of unintended consequences, and to illustrate the general form explanations of social phenomena should adopt. In chapter III the contention that the social sciences deal with inherently complex phenomena is examined and defended, and the main implications of this contention for social analysis are drawn. The extent to which social phenomena are in principle predictable is discussed. In chapter IV the structural properties of formal scientific theories are briefly characterised, and then Friedman's famous argument on the testability of economic theories is analysed and rejected. The role within a scientific theory of statements formulated with reference to idealisations of the phenomena being studied, and the role within a social explanation of the 'principle of rationality', are discussed. In chapter V the central questions behind the methodological individualism/methodological holism controversy are brought to light. Provided that methodological individualism is not construed as a reductionist or mechanistic principle, it can successfully avoid the main objections of its detractors. It is argued that the method of functional analysis in sociology is consistent with methodological individualism. Finally, it is claimed that the principle of methodological individualism does indeed recommend the appropriate way to explain societal phenomena. In chapter VI, the various strands of thought running through the five preceding chapters are drawn together in a brief summary of the most important points raised by this thesis. (shrink)

Open theists argue that God's relationship to time, as conceived in classical theism, is erroneous. They explain that it is contradictory for an atemporal being to act in a temporal universe, including experiencing its temporal successions. Contrary to the atemporalists, redemptive history has shown that God interacts with humans in time. This relational nature of God nullifies the classical notion of God as timelessly eternal. Therefore, it lacks a philosophical and theological basis. Because God is in time, He does (...) not know all future contingencies and, therefore, changes. This study examines open theism's appropriation of the A and B theories of time to the divine-human relationship. The study argues that divine temporality does not solve the tension of divine-human relationships, especially in relation to the future. Further, historical divine temporality does not negate the fact of divine atemporality. It mainly stems from God's choice to create temporal creatures and His relationship with them. Furthermore, if it is not logically and metaphysically contradictory for an omnipresent being to act in space, then it follows that an atemporal being can act in time. Whether time is understood from the metric or psychological point of view, it does not transcend God, and therefore, the limitation it places on human creatures with respect to the future does not apply to God. Lastly, although a few philosophers reject the notion of eternity as timelessly eternal, the doctrine has a philosophical and theological basis in the Scripture. (shrink)

The new concept of lambda calculi with monotone inductive types is introduced byhelp of motivations drawn from Tarski's fixed-point theorem (in preorder theory) andinitial algebras and initial recursive algebras from category theory. They are intendedto serve as formalisms for studying iteration and primitive recursion ongeneral inductively given structures. Special accent is put on the behaviour ofthe rewrite rules motivated by the categorical approach, most notably on thequestion of strong normalization (i.e., the impossibility of an infinitesequence of (...) successive rewrite steps). It is shown that this key propertyhinges on the concrete formulation. The canonical system of monotone inductivetypes, where monotonicity is expressed by a monotonicity witness beinga term expressing monotonicity through its type, enjoys strong normalizationshown by an embedding into the traditional system of non-interleavingpositive inductive types which, however, has to be enriched by the parametricpolymorphism of system F. Restrictions to iteration on monotone inductive typesalready embed into system F alone, hence clearly displaying the differencebetween iteration and primitive recursion with respect to algorithms despitethe fact that, classically, recursion is only a concept derived from iteration. (shrink)

There is a rich tradition within game theory, decision theory, economics, and philosophy correlating practical rationality with impartiality, and spatial and temporal neutrality. I argue that in some cases we should give priority to people over both times and places, and to times over places. I also show how three plausible dominance principles regarding people, places, and times conflict, so that we cannot accept all three. However, I argue that there are some cases where we should give (...) priority to times over people, suggesting that there is impersonal value to the distribution of high quality life over different times. (shrink)

I explore the increasingly important issue of cooperation in immoral actions, particularly in connection with healthcare. Conscientious objection, especially as pertains to religious freedom in healthcare, has become a pressing issue in the light of the US Supreme Court judgement inHobby Lobby. Section ‘Moral evaluation using the basic principles of cooperation’ outlines a theory of cooperation inspired by Catholic moral theologians such as those cited by the court. The theory has independent plausibility and is at least worthy (...) of serious consideration—in part because it is an instance of double-effect reasoning, which is also independently plausible despite its association with moral theology. Section ‘Case study:Burwell v. Hobby Lobby’ examinesHobby Lobbyin detail. Even if the judgement was correct in that case the reasoning was not, as it involved applying a ‘mere sincerity’ test to the cooperation question. The mere sincerity test leads to absurd consequences, whereas a reasonableness test applied using the theory of cooperation defended here would avoid absurdity. Section ‘A question of remoteness: “accommodations” and opt-outs’ explores the post-Hobby Lobbyproblem further, examining opt-outs and accommodations: theLittle Sisters of the Poorcase shows how opt-outs are misunderstood on a mere sincerity test, which the court rightly rejected. Section 'Application to the medical field:Doogan and Wood’ discusses the UK case ofDoogan and Wood, concerning participation in abortion. Again, a judicially recognised ethic of cooperation, if it were part of the fabric of legal reasoning in such cases, would have enabled the conscientious objectors in this and similar situations to have their freedom of conscience and religion respected in a way that it currently is not. (shrink)

Einstein argued in his latter years that the intelligibility of the world was in the nature of a miracle, and that in no way could one have expected a priori such a high degree of order; this is why he rejected the atheist, positivist standpoint, and believed in a Spinozist God. Einstein's argument, however, is essentially a form of the ?argument from design? for a personal God based on the existence of beautiful, mathematically simple laws of nature; that physical order (...) is a unique, improbable alternative compared to the infinite number of chaotic universes that might have existed. Einstein, in his early manhood, was a Humean, but in later years, as he moved toward Spinoza, from phenomenalism to noumenalism, he clearly rejected Hume's restriction of probable inferences to observed sequences. Darwin's arguments against biological design did not apply to Einstein's argument, because the laws of physics are not the outcome of any cumulative struggle for existence and natural selection. Perhaps the beautiful simplicity of basic physical laws helps account for the fact that relatively more physicists than biologists or psychologists hold to a theistic standpoint. Einstein's finite universe would have seriously weakened the argument that life, though infinitely improbable, would have been realized in an infinite world. But in any case, Einstein would have regarded ?emergence? theories of life as irrational. In accordance with the principle of identity of Emile Meyerson, the epistemologist whom he most respected, it would have followed that the occurrence of consciousness and intelligence was grounded in a God with those attributes, and that theism was consequently the basis for scientific knowledge. (shrink)

Even in a society of meat-eaters such as the United States, when diet is addressed in school at all, it is widely treated as matter of personal choice, the consequences of which are borne by individual consumers. Overlooked are myriad connections involved in human diet and the implications of consumption for other entities. In the first part of this essay, Suzanne Rice discusses ways in which diet, particularly meat-eating, is connected to animal suffering, environmental harms including climate change and pollution, (...) and risks to the health of agricultural workers and consumers. In the second part, she discusses ways in which education might be “ecologized” in efforts to help students gain insight into such connections. There are many ways to ecologize education, but regardless of how teachers proceed, they are likely to encounter not only simple ignorance, relatively unproblematic gaps in students' knowledge linked to youth and inexperience, but also willful ignorance, more problematic gaps linked to avoidance, manipulation, or rejection of evidence perceived as threatening. (shrink)

The philosophical faculty of the Jesuit Berchmanskolleg in Pullach has long since made its mark in the publishing world, and the new series of philosophical studies from Father Lotz and his associates, of which these two volumes are an auspicious beginning, shows every sign of living up to the high standard we have come to expect. Volume I is a collection of five essays: a comparison between the Thomistic and Kantian theory of knowledge, by Fr. de Vries; the transcendental (...) method in Kant and in Scholasticism, by Fr. Lotz; the Absolute in the Kritik der reinen Vernunft, by Fr. Brugger; formalism in Kant’s ethics, by Dr. Schmucker; and the relationship between Kant and Heidegger, by Fr. Coreth. It concludes with a particularly useful bibliography of scholastic literature on Kant between 1920 and 1955, compiled by Fr. Brugger. After Jansen, Maréchal is the scholastic writer with most published studies on Kant to his credit, and it is not surprising that his influence should make itself felt in the present volume. His monumental Le point de départ de la métaphysique marked a definite turning–point in the scholastic attitude towards Kant, and one has only to read this collection of studies to realise how the atmosphere has changed in the course of the last fifty years. Fr. de Vries devotes almost two–thirds of his essay to what St. Thomas and Kant hold in common with regard to the discursive nature of human understanding, the structure of the sense–image and its relation to the intellectual concept, though he also brings out the fundamental difference between the two on the questions of self–consciousness, natural theology and the reality of the external world. Not only does he show a healthy respect for the many grains of truth in the philosophy of Kant, but he insists that Thomists have much to learn from the German philosopher on the question of strict, critical method. Scholastics of the traditional school were satisfied with what Fr. Lotz describes as the “objective method” and rejected the “subjective” as smacking of subjectivism or idealism. In the longest essay of the five, Fr. Lotz compares the Kantian and Scholastic methods. Kant himself described his Kritik der reinen Vernunft as a “treatise on method rather than a scientific system”, and in the course of the book he condemns the objective approach as dogmatic and uncritical, leaving only the subjective method, which rules out any possibility of metaphysics. Fr. Lotz rightly asserts that even the most modern scholastic cannot dispense with the objective method, but he maintains that it demands to be completed by the subjective. Many scholastics will agree with him on the usefulness of the latter, and indeed an amount of research has been done in this field in recent decades. But how many will agree when he says that scholastic objectivism includes the subjective or transcendental method as the only way, or the only basis on which objectivism can stand? Maréchal’s influence is evident in his treatment of the faculties of the soul. But, however one may quibble at individual points in the book, it nevertheless remains a very valuable contribution to the scholastic literature on Kant. (shrink)

Constructivist biosemiotics foundations imply the first-person basis of cognition. CBF are developed by the biology of cognition, relational biology, enactive approach, ecology of mind, second order cybernetics, genetic epistemology, gestalt, ecological perception and affordances, and active inference by minimization of free energy. CBF reject the idea of an objective independent reality to be represented by information processing in order to be the fittest. CBF assumes that perception is the behavioral configuration of an object and objects are tokens for eigen-behaviors. Cognition (...) takes place in the organism-environment structural coupling during the ontogeny and phylogeny of all biological unities including unicellular organisms. Therefore, if exogenous DNA particles are just tokens for the cell signalling eigen-behaviors, if there is no ‘information’ in the DNA sequence, how can we explain that the same virus or trans- sequence is associated with a similar phenotype? We call this ‘exogenomic problem’. With this basic example, but sufficiently generic to the whole biological world, we agree respectively with Autopoiesis, -system, and Gaia theory: i) ‘Information, code and meaning’ in the DNA sequence belong to the domain of the observer’s description. ii) Genetic ‘information’ is not a program or algorithmic software in DNA sequence. Rather it is a microphysical observable mode of eigen-behaviors in biological unities. iii) The transfer and acquisition of DNA particles is a biospheric phenomenon that maintains its homeorhesis, symbiotic and biosemiotic entailment. Based on the theoretical and experimental results of these theories, it is concluded that genetic ‘information’ is not a genomic sequence, nor any kind of information, but for the cell DNA must embody physical forcing. Genetic characters are the effects and not the cause of phenotype and DNA particles do not ‘use or manipulate’ cellular metabolism. Rather, any cellular configuration change that occurred before or during DNA perturbation is determined on the basis of the cellular standpoint. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Scale Theory: A Nondisciplinary Inquiry by Joshua DiCaglioS. Scott GrahamScale Theory: A Nondisciplinary Inquiry. By Joshua DiCaglio. Minneapolis: University of Minnesota Press, 2021. 349 pp. Paperback: $30.00. ISBN: 978-1-5179-1207-9.Scale Theory embodies its title in every possible way. It offers both a deep dive into and a 10,000-foot view of scale, scalar thinking, and the role of scale in scientific inquiry. The subtitle, A Nondisciplinary Inquiry, (...) is no less apt. Author Joshua DiCaglio blends insights from rhetoric, philosophy, literary studies, and mysticism to create a novel account of scalar thinking. In so doing, he weaves together detailed thought experiments, the work of Gregory Bateson, and Philip K. Dick's account of an extraterrestrial communication he received while under the influence of anesthesia. Provocatively, Scale Theory treats these diverse intellectual resources as coequal contributors to an emerging theory of scale and scalar thinking. Within this nondisciplinary framework, the book is devoted to advancing two primary theses: (1) Notions of scale are undertheorized in science studies and related strands of new materialisms; and (2) Proper attention to questions of scale within these theoretical traditions should prompt a more thoughtful reconsideration of the merits of mystic holism. Ultimately, Scale Theory makes a compelling case for the first thesis and advances inquiry usefully in this area. With respect to the second thesis, DiCaglio refers to a certain academic "allergy" to holism (99), and I must confess I share this allergy. That said, I assume readers already predisposed favorably toward mystic holism are likely to find Scale Theory's attention to the second thesis thoughtful and engaging.Scale Theory is organized into three distinct parts. Part 1, "Algorithms for a Theory of Scale," presents three interrelated thought experiments that call upon readers to imagine themselves at various distances and vantage points with respect to several objects of interest. Part 1 is stylistically [End Page 388] Wittgensteinian. Like the Tractatus-Logico Philosophicus (Wittgenstein 2013) or Latour's "Irreductions," (1993), the thought experiments unfold as a series of numbered and nested propositions, each postulating or interrogating an emerging concept in DiCaglio's theory of scale. Part 2, "Configurations for a Theory of Scale," returns the reader to more familiar styles of prose, providing a sort of review of the relevant literature and its relationship to the insights of the thought experiments. Finally, part 3, "Rhetorical Technologies for a Theory of Scale," reflects on the twin marginalizations of rhetoric and mysticism in mainstream Western academia and argues for a new embrace of disembodied inquiry.The aforementioned thought experiments of part 1 outline DiCaglio's theories of scale, scalar thinking, and scalar analysis. The discussion makes extensive use of visual and cinematic metaphors to aid the reader's consideration of scalar questions. Ultimately, DiCaglio posits that scale is a function of the relationship between the "'being' of phenomena" and "the one who is measuring" (8). He argues, therefore, that "scale functions at a level above ontology and epistemology: scale is a means of orienting yourself both to experience and the being of things" (8). In making this argument, Scale Theory reflects on a range of scientific practices that require gradients of scale. Microscopy, telescopy, and simulations all provide scientists with tools to escape the mundane scales of embodied human experience. DiCaglio argues that "science must always find itself grouping things together, speaking of species, types, systems, and so on which exist on a different logical type than the individual encounters that make up these groups" (41). The taxonomic activities of scientific practice require shifts in scale to account for kingdoms, phyla, orders, genera, species, and all manner of nonbiological analogs.Within this framework, scale functions as a sort of meta-ontology that allows objects to be provisionally identified and delineated. Echoing Bateson, DiCaglio argues thatIn order for any thing to be said to exist whatsoever, a differential must exist out of which a difference can be discerned. Every differential occurs on some scale at which a fluctuation or movement is able to make a difference. If one goes to a smaller scale, any given differential is no longer able to be used to register a difference.(51... (shrink)

Traditionally, intuitions about cases have been taken as strong evidence for a philosophical position. I argue that intuitions about concept deployment have epistemic value while intuitions about matters of fact have none. I argue this by use of the explanationist criterion which contends that S is justified in believing only those propositions which are part of the best explanation of S’s making the judgements she makes. This criterion accords with scientific practice. Bealer suggests, as a defence of intuition, that (...) naturalists rely on intuition in their arguments against intuition and thus that their arguments are self-undermining. But beliefs based on intuitions about the application of concepts, like ‘justification’ and ‘theory,’ are epistemically justified by the explanationist criterion. It is only intuitions about matters of fact which are rejected. Thus, epistemically-respectable intuitions about concepts are used to undermine intuitions about metaphysics. There is nothing self-undermining about this. (shrink)

Deflationsism about truth is a pot-pourri, variously claiming that truth is redundant, or is constituted by the totality of 'T-sentences', or is a purely logical device (required solely for disquotational purposes or for re-expressing finitarily infinite conjunctions and/or disjunctions). In 1980, Hartry Field proposed what might be called a 'deflationary theory of mathematics', in which it is alleged that all uses of mathematics within science are dispensable. Field's criterion for the dispensability of mathematics turns on a property of theories, (...) called conservativeness. I present some technical results, some of which may be found in Tarski (1936), concerning the logical properties of truth theories; in particular, concerning the conservativeness of adding a truth theory for an object level language to any theory expressed in it. It transpires that various deflationary truth theories behave somewhat differently from the standard Tarskian truth theory. These results suggest that Tarskian theories of truth are not redundant or dispensable. Finally, I hint at an analogy between the behaviour of mathematical theories and of standard (Tarskian) theories of truth with respect to their indispensability to, as Quine would put, our 'scientific world-view'. (shrink)

This is the PhD dissertation, written under supervision of Professor Jerzy Słupecki, published in the book: U.Wybraniec-Skardowska i Grzegorz Bryll "Z badań nad teorią zdań odrzuconych" ( "Studies of theory of rejected sentences"), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Seria B: Studia i Monografie nr 22, pp. 5-131. It is the first, original publication on the theory of rejected sentences on which are based, among other, papers: "Theory of rejected propositions. I"and "Theory of rejected propositions (...) II" with Jerzy Słupecki and Grzegorz Bryll. -/- -/- . (shrink)

A hallmark of correspondence theories of truth is the principle that sentences are made true by some truth-makers. A well-known objection to treating Tarski’s definition of truth as a correspondence theory has been put forward by Donald Davidson. He argued that Tarski’s approach does not relate sentences to any entities (like facts) to which true sentences might correspond. From the historical viewpoint, it is interesting to observe that Tarski’s philosophical teacher Tadeusz Kotarbinski advocated an ontological doctrine of reism which (...) accepted only concrete individuals and rejected all such abstract entities as facts, states of affairs, properties, and sets. Kotarbinski’s physicalism influenced Tarski who also avoided concepts like “fact” and “property” in his theory of truth, but—unlike Kotarbinski—he used freely set-theoretical terminology. In his mature work in model theory in the 1950s, Tarski used systematically the notion of a relational system (i.e., a domain of objects with designated elements, subsets, and relations). Wilfrid Hodges has argued that the notions of “structure” and “truth in a structure” appeared in Tarski’s work only in 1950. In my view, one can find the main ingredients of the model-theoretic account of truth already in the 1930s. These considerations suggest, against Davidson, that Tarski’s definition presupposes that material truth is always related to some kind of truth-maker. Further, facts as truth-makers can be reconstructed by employing the resources of model theory. (shrink)

Any "classical" theory of truth will satisfy tarski's criterion ("p" is true if and only if p), And the principle of bivalence (every proposition is either true or false). A non-Classical theory may be obtained by rejecting these principles: - in fact it is shown that rejection of the second entails rejection of the first. If the resulting non-Classical theory is formalized, A system structurally isomorphic to either s4 or s5 is obtained. An attempt is made (...) to show that the essential insights of intuitionist logic may be preserved if we replace their complex and in many respects "unintuitive" propositional logic by a theory of truth which is non-Classical in the sense described above. (shrink)

This paper is an historical study of Tarski's methodology of deductive sciences (in which a logic S is identified with an operator Cn S, called the consequence operator, on a given set of expressions), from its appearance in 1930 to the end of the 1970s, focusing on the work done in the field by Roberto Magari, Piero Mangani and by some of their pupils between 1965 and 1974, and comparing it with the results achieved by Tarski and (...) the Polish school (Łoś, Suszko, Słupecki, Pogorzelski, Wójcicki). In the last section of the paper we will then compare these works with some recent developments in algebraic logic: this will lead to a better understanding of the results of the methodology of deductive science, but at the same time will show some intrinsic limits to such an approach to logic. Even if Magari's work on diagonizable algebras and universal algebra and Mangani's axiomatization of MV-algebras and results in model theory are rather famous, the articles on closure operators, published in the 1960s, are almost totally unknown outside Italy (mainly because of a linguistic limitation, the papers we analyse having been written and published in Italian). This paper aims to fill the gap in the literature and to enable the international community to get acquainted with this part of Italian logic. The same applies to some works published in Barcelona (in Catalan) at the end of the 1970s, analysed in the last section. (shrink)

Solipsism indicates an epistemological position that denies the existence of ‘others’ by asserting that the ‘self’ is the only thing that can be known to exist. For sophist philosophers, the belief that “we can not know anything, and even if we do so, we cannot communicate it” is central to this theory. However, until now there has been little academic scholarship that has tried to provide answers to the pressing issues raised by solipsism. In Solipsist Ontology: Physical Things and (...) Personal Perceptual Space, Ural aims to redefine solipsism by analyzing and elaborating on traditional philosophical problems, such as empiricism and rationalism, as well as discussing problems of language, communication, and meaning. Ural reveals where solipsism has been previously ignored, pseudo-problems have arisen that disguise the sources of the problems with prejudices that concern the philosophical problems in question. Notably, many current, as well as traditional problems of ontology, epistemology, and language are bound up in discourses of solipsism. Ural argues that discarding solipsism as a philosophical discourse hinders new interpretations of traditional philosophical thought. This book offers a fresh perspective to solipsism by defining it in relation to concepts such as ‘physical things,’ ‘personal perceptual space’ and ‘identity.’ Importantly, Ural proposes that an understanding of ‘identity’ is not necessary in order to redefine solipsism. By building a logical system that fashions communication and solipsism as interrelated, it is possible to reject ‘identity’ as a useless concept and thus overcome the classic solipsist dilemma of “we are not able to communicate.” This original piece of research is an important and timely contribution to the field of philosophy that will be of great interest to teachers, researchers, and students. (shrink)

Let us call non-presentist dynamism any view according to which (a) a single moment of time is objectively present and (b) which time is objectively present changes and (c) objectively non-present times exist, and at least some of these are occupied by objects, events, or properties. Non-presentist dynamism has an advantage over presentist dynamism—the view that only present objects, properties, and events exist, and that which objects, properties and events there are, changes—in the truthmaking arena. Presentists have trouble finding plausible (...) truthmakers for past (and future) tensed propositions, since no past, (or future) objects, properties, or events exist, which could make true said propositions. Hence presentists have to resort to one of two strategies. According to the first, nothing makes past (or future) tensed propositions true, though some are true nonetheless. For some class of propositions, the truth of said propositions does not in any way depend on ontology. This strategy rejects even the fairly weak requirement that for any proposition P, and worlds w and v, if P is true in w but not in v, then either something exists in v but not in w or else some n-tuple of things stands in some fundamental relation in v but not in w . Call this account No Truthmaker: -/- No Truthmaker: There are no truthmakers for past-tensed truths. -/- Embracing No Truthmaker is typically taken to be a cost of presentism. According to the second strategy, some presently existing thing makes true past-tensed truths. Advocates of this strategy embrace anti-aboutness truthmaking, the view that while all truths are grounded in being, the truth of a proposition need not grounded in the thing(s) the proposition is about. Since past things do not exist, past-tensed propositions are made true by something other than what they are about. Such presentists endorse some version of Present Record Truthmaking. (shrink)

In an effort to construct a plausible theory of experience-based welfare, Wayne Sumner imposes two requirements on the relevant kind of experience: the information requirement and the autonomy requirement. I argue that both requirements are problematic.First, I argue (very briefly) that a well-know case like ‘the deceived businessman’ need not support the information requirement as Sumner believes. Second, I introduce a case designed to cast further doubt on the information requirement. Third, I attend to a shortcoming in Sumner’s (...) class='Hi'>theory of welfare, namely that it is unclear which of later and informed assessments are to be treated as authoritative when it comes to the evaluation of a person’s welfare. Finally, I suggest that, in combination with ‘welfarism’ (to which Sumner subscribes, and which has it that welfare is all that matters from a moral viewpoint), the information requirement entail morally troublesome conclusions: e.g. the conclusion that, from a moral point of view, we should, other things being equal, only to be concerned with the alternative that makes one person slightly better off in respect of welfare instead of also being morally concerned with the alternative that makes one person very happy. (shrink)

This reply responds to four authors in this issue of Analyse & Kritik. I find disagreements with Peter Blau being of a lesser degree than he sees them, though I emphasize the micro-macro relation through which actions combine to produce systemic outcomes, while he emphasizes the effect of social structure upon individuals. Raimo Tuomela exposites a concept of group action which has some differences from my concept of corporate action, but many similarities. Andreas Diekmann examines in detail the problems (...) of collective action toward provision of a public good. From Foundations he makes use of the concept of social capital, showing how with further development it might prove analytically useful; I encourage this direction of work. Michael Baurmann wants to lay a foundation of norms in place of the rights foundation which I develop. While I reject this shift, I largely accept his critique of my position regarding normative theory. (shrink)

In Carnap’s autobiography, he tells the story how one night in January 1931, “the whole theory of language structure” in all its ramifications “came to [him] like a vision”. The shorthand manuscript he produced immediately thereafter, he says, “was the first version” of Logical Syntax of Language. This document, which has never been examined since Carnap’s death, turns out not to resemble Logical Syntax at all, at least on the surface. Wherein, then, did the momentous insight of 21 January (...) 1931 consist? We seek to answer this question by placing Carnap’s shorthand manuscript in the context of his previous efforts to accommodate scientific theories and metalinguistic claims within Wittgenstein’s Tractatus theory of meaning. The breakthrough of January 1931 consists, from this viewpoint, in the rejection of the Tractatus theory in favor of the meta-mathematical perspective of Hilbert, Gödel, and Tarski. This was not yet the standpoint of the published Logical Syntax, as we show, but led naturally to the “principle of tolerance” and thus to Carnap’s mature philosophy, in which the inconsistencies between this first view and the principle of tolerance, which survived into the published Syntax, were overcome. (shrink)

From Antiquity through the early modern period, the apparent motion of the Sun in longitude was simulated by the eccentric model set forth in Ptolemy’s Almagest III, with the fundamental parameters including the two orbital elements, the eccentricity e and the longitude of the apogee λ A, the mean motion ω, and the radix of the mean longitude $$ \bar{\lambda }_{0} $$ λ¯0. In this article we investigate the accuracy of 11 solar theories established across the Middle East from (...) 800 to 1600 as well as Ptolemy’s and Tycho Brahe’s, with respect to the precision of the parameter values and of the solar longitudes λ that they produce. The theoretical deviation due to the mismatch between the eccentric model with uniform motion and the elliptical model with Keplerian motion is taken into account in order to determine the precision of e and λ A in the theories whose observational basis is available. The smallest errors in the eccentricity are found in these theories: the Mumtaḥan : − 0.1 × 10−4, Bīrūnī : + 0.4 × 10−4, Ulugh Beg : − 0.9 × 10−4, and Taqī al-Dīn : − 1.1 × 10−4. Except for al-Khāzinī, the errors in the medieval determinations of the solar eccentricity do not exceed 7.7 × 10−4 in absolute value, with a mean error μ = + 2.57 × 10−4 and standard deviation σ = 3.02 × 10−4. Their precision is remarkable not only in comparison with the errors of Copernicus and Tycho, but also with the seventeenth-century measurements by Cassini–Flamsteed and Riccioli. The absolute error in λ A varies from 0.1° to 1.9° with the mean absolute error MAE = 0.87°, μ = −0.71° and σ = 0.65°. The errors in λ for the 13,000-day ephemerides show MAE < 6′ and the periodic variations mostly remaining within ± 10′, closely correlated with the accuracy of e and λ A. (shrink)

The core structures of d 111 ¢ screw dislocations in bcc metals are studied using density functional theory in the local-density approximation. For Mo and Fe, direct calculations of the core structures show the cores to be symmetric with respect to 180° rotations around an axis perpendicular to the dislocation line. The magnetic moment in the Fe core is shown to be reduced relative to the bulk value. Calculations of n surfaces and the elastic constants B , (...) C ' and c 44 are reported for Fe and all group VB and VIB metals. Using a criterion suggested by Vitek and Duesbery the calculations point to symmetric core structures for all the studied metals. (shrink)

This chapter examines what it means to take time seriously. It begins with an examination of the arguments of Kant and Bradley for the view that time is not an ultimate primitive of reality. Then Bergson’s attempt to take time seriously is criticised. Bergson’s duration fails to capture the content of our concept of time. Space is just as important and it plays a unique role in explaining facts about our concept of time. Thus, in order to take time (...) seriously we need to posit space-time of which space and time are mere aspects. Consequences about the nature of time with respect to theories of motion, temporal progression in the universe, universals and God are also discussed. (shrink)

This review essay of Economics Rules situates Dani Rodrik’s contribution with respect to the 2007–2008 global economic crisis. This financial meltdown, which the eurozone did not fully recover from before the Covid-19 pandemic, led to soul- searching among economists as well as a call for heterodox economic approaches. Yet, over the past decade, instead the economics profession has maintained its orthodoxy. Rodrik’s Economics Rules offers a critique of the economics profession that is castigating but mild. It calls for (...) economists to use more and diverse models without becoming wedded to any single model or an overarching vision. Yet Rodrik ratifies many of the benchmark models standard to orthodox economics and provides little ground for a fundamental rethinking of the discipline. This essay analyses the conservatism underlying Rodrik’s approach, which upholds general equilibrium theory and rational expectations underlying the efficient market hypothesis. It argues that the economics discipline’s scope-creep to maintain its applicability to all human decision-making, and its acceptance of all-inclusive utility functions, crowds out moral sentiments and civic virtue. Thus. it argues that rather than urging economists simply to be more cautious in their application of models to address particular social concerns, instead economists must recognise their discipline’s inherent limitations. (shrink)

It is generally agreed that the most influential philosophers in America are Charles S. Peirce, William James and John Dewey. James's fame came rather suddenly in the latter half of his life—roughly, from 1880 to 1910; it flourished with the appearance of hisPrinciples of Psychology(1890) and shortly thereafter with his advocacy of pragmatism and radical empiricism. James was acclaimed in England and Europe as well as in America. Peirce, on the other hand, was almost entirely neglected; his work (...) remained unknown to all but a few philosophers and his chief acknowledgment was as a scientist and logician. His importance began to be recognized and his immense researches and writings studied some twenty-five years after his death. It was otherwise with Dewey. During his long lifetime his ideas not only engaged the reflections and critical discussions of philosophers, he also had a profound and contagious influence on education, the social sciences, aesthetics, and political theory and practice. In this respect his thought has reached a wider audience in America than that of either Peirce or James. In his day lawyers, labour leaders, scientists and several heads of state attested to the vitality of his wisdom. (shrink)

It is generally agreed that the most influential philosophers in America are Charles S. Peirce, William James and John Dewey. James's fame came rather suddenly in the latter half of his life—roughly, from 1880 to 1910; it flourished with the appearance of hisPrinciples of Psychology(1890) and shortly thereafter with his advocacy of pragmatism and radical empiricism. James was acclaimed in England and Europe as well as in America. Peirce, on the other hand, was almost entirely neglected; his work (...) remained unknown to all but a few philosophers and his chief acknowledgment was as a scientist and logician. His importance began to be recognized and his immense researches and writings studied some twenty-five years after his death. It was otherwise with Dewey. During his long lifetime his ideas not only engaged the reflections and critical discussions of philosophers, he also had a profound and contagious influence on education, the social sciences, aesthetics, and political theory and practice. In this respect his thought has reached a wider audience in America than that of either Peirce or James. In his day lawyers, labour leaders, scientists and several heads of state attested to the vitality of his wisdom. (shrink)

There is a traditional view concerning the relation between mind and matter, knower and known. It posits a bifurcation between the two, maintaining, as Ryle puts it, that mind and matter are two distinct orders of existence. This traditional view comes, in large part, from Descartes. James rejects the traditional view, arguing instead for a close relationship between thought and object. His argument contains two components. The first stresses the close functional relationship between thought and object in our everyday experience. (...) James argues here that true thoughts do or can lead us to their objects, culminating in prosperous interaction with them. The second part of James's argument holds that in pure experience--the original flow of data within which all distinctions are to be made--there is no distinction yet made between mind and matter, knower and known. These distinctions arise only later as conceptual tools for bringing organization to the original presentations. Any given element of pure experience is categorized twice, once as an element of the physical world, and a second time as an element of the perceiver's own mental history. The conclusion, then, is that James: shows that thought and object work together in a close functional relationship in ordinary experience; and argues that they arise from one homogeneous pure experience. ;A number of criticisms were directed against James's view, including: Lovejoy's, arguing that the incompatibilities of thought and object preclude the possibility of their arising from one homogeneous source; Russell's and Perry's, arguing that James's theory is unable to extricate itself from idealism; Miller's and Bode's, arguing that James's view contradicts one of his own important tenets in The Principles of Psychology; and an argument that James is unable to account for the agency by means of which pure experience gets organized. ;James can reply plausibly to all of these criticisms including the difficult issue of the self. On this question a consistent understanding of James's basic assumptions is required. ;Finally, James's viewpoint offers an interesting critical perspective on certain contemporary theories of mind-brain identity. (shrink)

This chapter focuses on the ontological nature of the past and our experience of the present in relation to the actual. It is argued that philosophers mistakenly equate the real with the actual. The actual is what is presented to us in experience, but what is presented to us in experience is confined to the present; so one might think that it follows that only the present is real. This presentist theory is subsequently rejected. Past, present and future (...) are real and certain mental acts such as memories of the past and expectations of the future have as their content objects at those times; these objects are just as real as the objects of present experiences. This paves the way for a distinctive brand of eternalism that is defended in the remainder of this chapter. (shrink)

Many familial and cultural traditions rely on animals for their fulfillment - think of Christmas ham, Rosh Hashannah chicken soup, Fourth of July barbeques, and so forth. Though philosophers writing in animal ethics often dismiss interests in certain foods as trivial, these food-based traditions pose a significant moral problem for those who take animals’ lives and interests seriously. One must either turn one’s back on one’s community or on the animals. In this paper, I consider the under-theorized area of intra-cultural (...) critique. My focus is how we should think about and seek to resolve inter-animal conflicts of interest that arise within our own communities and cultural or religious groups. How should a theory that takes animals seriously approach a conflict between animals’ interests and culturally important human interests in the context of one’s own cultural, ethnic, or religious group? How, for example, should we think about the person staring down at a bowl of her grandmother’s chicken soup while recognizing the moral impermissibility of slaughtering chickens for human consumption? In contrast to traditional approaches that fail to take these robust, food-based, interests into account, I offer an ecofeminist approach that highlights the importance of respecting animals’ interests while also undertaking the work of moral repair to address damage done to relationships of love and care in the process. (shrink)

Wisely, the authors begin this book by describing it as a polemic. They argue that most contemporary analytic metaphysics is a waste of time and resources since contemporary ‘neo-scholastic’ metaphysical theorizing cannot hope to attain objective truth given its penchant for making a priori claims about the nature of the world which are backed up by appeal to intuition. In engaging in this activity, metaphysicians have, the authors claim, abandoned hope of locating any interesting connection between their metaphysical pronouncements and (...) how our best empirical theories describe the world. Moreover, the success attained by empirical science just cannot be matched by metaphysical theorizing and so, faced with this asymmetry, empirical science wins: a priori metaphysical theorizing must give way to a naturalistic form of metaphysics, a positive account of which the authors attempt to elucidate in the second and third, rather lengthy chapters of the book.The first chapter consists of a statement of the authors’ negative view, a vigorous, sustained and sometimes withering attack upon contemporary a priori metaphysics. Most ire is reserved for those who indulge in what the authors call ‘pseudo-scientific metaphysics’; that is, those who pay lip service to keeping their metaphysical speculation in tune with physics, only to constrain their ontology in such a way that the entities and processes within it do not even play a role in current physical theory, or are in straightforward contradiction with it. Much philosophy of science and scientific metaphysics is too superficial and simplistic to deserve the name and bears more relation to ‘the philosophy of “A” Level chemistry’. The guilty in this respect include David Lewis, Jaegwon Kim, Jonathan Lowe, Donald Davidson, Jerry Fodor, Crawford Elder, Trenton Merricks among …. (shrink)

Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces- so -called "topological semantics." The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.

Rawls offers three arguments for the priority of liberty in Theory, two of which share a common error: the belief that once we have shown the instrumental value of the basic liberties for some essential purpose (e.g., securing self-respect), we have automatically shown the reason for their lexical priority. The third argument, however, does not share this error and can be reconstructed along Kantian lines: beginning with the Kantian conception of autonomy endorsed by Rawls in section 40 (...) of Theory, we can explain our highest-order interest in rationality, justify the lexical priority of all basic liberties, and reinterpret Rawls’ threshold condition for the application of the priority of liberty. Perhaps unsurprisingly, this Kantian reconstruction will not work within the radically different framework of Political Liberalism. (shrink)

In choosing between moral alternatives -- choosing between various forms of ethical action -- we typically make calculations of the following kind: A is better than B; B is better than C; therefore A is better than C. These inferences use the principle of transitivity and are fundamental to many forms of practical and theoretical theorizing, not just in moral and ethical theory but in economics. Indeed they are so common as to be almost invisible. What Larry Temkin's book (...) shows is that, shockingly, if we want to continue making plausible judgments, we cannot continue to make these assumptions. Temkin shows that we are committed to various moral ideals that are, surprisingly, fundamentally incompatible with the idea that "better than" can be transitive. His book develops many examples where value judgments that we accept and find attractive, are incompatible with transitivity. While this might seem to leave two options -- reject transitivity, or reject some of our normative commitments in order to keep it -- Temkin is neutral on which path to follow, only making the case that a choice is necessary, and that the cost either way will be high. Temkin's book is a very original and deeply unsettling work of skeptical philosophy that mounts an important new challenge to contemporary ethics. (shrink)

Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces-so-called "topological semantics". The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.

The theory of relations presented in this article consists of the general and the special theory of relations. The formulae of the former are meaningful and its laws valid for relations of any type. The meaningfulness of expressions and the validity of laws of the latter are restricted to relations of a certain special type. The special theory of relations is distinguished from the applied theory of relations. The applied theory of relations is the general (...) theory applied to relations of a special type, the difference between the general and the applied being in the form of the variables. The special theory of relations and the applied theory, when concerned with relations of the same special type, may differ with respect to the form of constants without differing with respect to variables. (shrink)

This study examines the use of a modified form of the theory of planned behavior in understanding the decisions of undergraduate students in engineering and humanities to engage in cheating. We surveyed 527 randomly selected students from three academic institutions. Results supported the use of the model in predicting ethical decision-making regarding cheating. In particular, the model demonstrated how certain variables (gender, discipline, high school cheating, education level, international student status, participation in Greek organizations or other clubs) and moral (...) constructs related to intention to cheat, attitudes toward cheating, perceptions of norms with respect to cheating, and ultimately cheating behaviors. Further the relative importance of the theory of planned behavior constructs was consistent regardless of context, whereas the contributions of variables included in the study that were outside the theory varied by context. Of particular note were findings suggesting that the extent of cheating in high school was a strong predictor of cheating in college and that engineering students reported cheating more frequently than students in the humanities, even when controlling for the number of opportunities to do so. (shrink)

Kant's theory of punishment is commonly regarded as purely retributive in nature, and indeed much of his discourse seems to support that interpretation. Still, it leaves one with certain misgivings regarding the internal consistency of his position. Perhaps the problem lies not in Kant's inconsistency nor in the senility sometimes claimed to be apparent in the Metaphysic of Morals, but rather in a superimposed, modern yet monistic view of punishment. Historical considerations tend to show that Kant was discussing (...) not one, but rather two facets of punishment, each independent but nevertheless mutually restrictive. Punishment as a threat was intended to deter crime. It was a tool in the hands of civil society to counteract human drives toward violating another's rights. In its execution, however, the state was limited in its reaction by a retributive theory of justice demanding respect for the individual as an end and not as a means to some further social goal. This interpretation of Kant's theory of punishment maintains consistency from the earliest through the latest of his writings on moral, legal, and political philosophy. It provides a good reason for rejecting current economic analyses of crime and punishment. Most important of all, it credits Kant's theory in its clear recognition of the ideals intrinsic to libertarian government. (shrink)

This paper argues for a comprehensive conception of empathy as comprising epistemic, affective, and motivational elements and introduces the ancient Stoic theory of attachment as a model for describing the embodied, emotional response to others that we take to be distinctive of empathy. Our argument entails that in order to provide a suitable conceptual framework for the interdisciplinary study of empathy one must extend the scope of recent “simulationalist” and “enactivist” accounts of empathy in two important respects. First, against (...) the enactivist assumption that human mindreading capacities primarily rely on an immediate, quasi-perceptual understanding of other’s intentional states, we draw on Alfred Schutz’ analysis of social understanding to argue that reflective types of understanding play a distinct, but equally fundamental role in empathic engagements. Second, we insist that empathy also involves an affective response toward the other and their situation. We suggest analyzing this response in terms of the Stoic concepts of attachment, concern, and a fundamental type of prosocial motivation, that can best be described as an “extended partiality.” By way of conclusion, we integrate the above concepts into a comprehensive conceptual framework for the study of empathy and briefly relate them to current debates about empathic perception and prosocial motivation. The result, we argue, is an account that stays neutral with regard to the exact nature of the processes involved in producing empathy and can therefore accommodate discussion across theoretical divides—e.g., those between enactivist, simulationalist, and so-called theory-theorist approaches. (shrink)