19 It may be suggested that, in order to justify /4's treating himself differently from others, it does not have to be the case that A necessarily has some property which everyone else necessarily lacks, i.e., that there must be a property F such that, ...

This posthumous publication attempts to answer the question of what moral code is the most reasonable. Philosophers often turn to consequentialism or deontological ethics to address this issue. As the author points out, each has valid arguments but each is unable to get the other side to agree. To rectify this, he proposes a third way. Inside, readers will discover a theory that tries to do justice to both sides. The author first details consequentialism and deontological ethics. He also explains (...) their fundamental conflict. One holds the view that you should do what has the best consequences. The other believes that there are actions which are wrong to do even if they have the best consequences. Next, the volume considers various ways to solve this conflict. Would rejecting one theory work? Or, is it possible to somehow reconcile them. The author shows why these solutions fail. He then goes on to present his own. The resulting contractual theory brings together the two opposing ethical convictions. It proposes that what is right and wrong depends on what norms people would agree to. Throughout, coverage explores the psychological, sociological, and historical background of the moral theories discussed. The reason is that moral theories are embedded in social and psychological contexts. They are better understood when the contexts are explicit. This key feature distinguishes the volume from other works in moral philosophy. At the time of his death in July 2011, Jan Österberg was close to completing this manuscript. It was taken up and fully completed by Erik Carlson and Ryszard Sliwinski, both of Uppsala University. (shrink)

What distinguishes preference utilitarianism from other utilitarian positions is the axiological component: the view concerning what is intrinsically valuable. According to PU, intrinsic value is based on preferences. Intrinsically valuable states are connected to our preferences being satisfied.

Jan Österberg is one of the pioneers in the field of population ethics. He started thinking about this issue already in the late 60s and he has developed one of the most original and interesting population axiologies.1 I’ve discussed the problems and drawbacks of Österberg’s theory elsewhere, and I don’t think that this is the place and time to discuss them again.2 Rather, I shall show that Österberg’s theory has a feature in common with the population axiologies of such luminaries (...) like Plato, Aristotle, Kant, Nietzsche, Wittgenstein and Heidegger, had they developed such a theory: None of these theories simultaneously satisfy five weak adequacy conditions. We shall show this by proving that no population axiology satisfies these five conditions. As a fringe benefit, this theorem also shows that the on-going project of constructing an acceptable population axiology has very gloomy prospects. 3. (shrink)

Jan Österberg (Self and Others, 1988) argues that the most defensible form of egoism should not only tell each of us what to do but also tell us what we ought to do. He also claims that collective norms should take precedence over individual ones. An individual ought to do one's part in an action pattern that is prescribed for the group - provided that other members of the group do their part. question This paper questions Österberg's claim that Collective (...) Egoism, unlike other forms of egoism, avoids violations of the principles which he takes to be analytical adequacy criteria for ethical theories: the principles of "deontic consequence" and "joint satisfiability". Furthermore, it questions his argument that Collective Egoism yields the "right" prescriptions in its main test-case: Prisoners' Dilemma. The improved version of Collective Egoism is able to deal with the two-person Prisoners' Dilemma, but it still misbehaves when we move to the many-persons cases. A certain type of "free rider"-problems proves to be especially troublesome. (shrink)

In Section 1, I rehearse some arguments for the claim that morality should be ``action-guiding'', and try to state the conditions under which a moral theory is in fact action-guiding. I conclude that only agents who are cognitively and conatively ``ideal'' are in general able to use a moral theory as a guide to action. In Sections 2 and 3, I discuss whether moral ``actualism'' implies that morality cannot be action-guiding even for ideal agents. If actualism is true, an ideal (...) agent will know about her own future actions. Since such foreknowledge is often thought to be incompatible with deliberation, and since action-guidance presupposes the possibility of deliberation, there is an apparent difficulty in combining actualism with the requirement of action-guidance. In opposition to an argument by Jan Österberg, I try to show that actualism and action-guidance are in fact compatible. (shrink)

This guide accompanies the following article: ‘Logic and Divine Simplicity’. Philosophy Compass 6/4 : pp. 282–294, doi: Author’s IntroductionFirst‐order formalizations of classical theistic doctrines are increasingly used in contemporary work in philosophy of religion and philosophical theology, as a means for clarifying the conceptual structure of the doctrines and their role in inferential procedures. But there are a variety of different ways in which such doctrines have been formalized, each representing the doctrines as having different conceptual structures. Moreover, the adequacy (...) of such formalizations as such has, at least with respect to some classes of doctrines, been disputed. One reason for disputing their adequacy derives from the conceptual impact of classical theism’s doctrine of divine simplicity.Author RecommendsFrege, Gottlob ‘Begriffsschrift: a formula language of pure thought,’ trans. Michael Beany, in The Frege Reader, ed. Beany. Oxford: Blackwell, pp. 47–78. The preface contains interesting remarks about the purpose of formalization as understood by the chief pioneer of modern formal logic. These remarks are also connected by Frege to his views on the relation between thought and language more generally.Russell, Bertrand, and Whitehead, A.N. Principia Mathematica, Vol. I. Cambridge: Cambridge University Press.The preface and first section of the long introduction contain remarks on the purpose and advantages of formalization. Chapter 1 of the introduction contains what is probably one of the first formalizations ever of a theistic doctrine, and is given in terms of a definite description analysis.Suppes, Patrick ‘The Desirability of Formalization in Science,’The Journal of Philosophy, Vol. 65, No. 20, pp. 651–64.Clear and concise discussion of some of the advantages of formalization in philosophical inquiry, written by a prominent contemporary American philosopher‐logician.Nieznański, Edward ‘The Beginnings of Formalization in Theology,’ in Advances in Scientific Philosophy: Essays in Honour of Paul Weingartner, eds. Gerhard Schurz and Gregory J.W. Dorn. Amsterdam and Atlanta, GA: Ropodi, pp. 551–9.A valuable paper that narrates, among other things, the programme of formalizing theistic doctrines that emerged in Poland in the 1920s under the influence of the Lvov‐Warsaw School. Various examples of formalizations are also given.Quine, W.V.O. Mathematical Logic. Cambridge, MA: Harvard University Press.In Section 27 of this classic study, Quine offers a formalization of theistic doctrines which seeks to avoid the difficulties of earlier formalizations by means of a subtle extensional singleton set analysis. The proposal has not won many adherents, but is worthy of careful study nonetheless.Woleński, Jan ‘Theism, Fideism, Atheism, Agnosticism,’ in Logic, Ethics and All That Jazz: Essays in Honour of Jordan Howard Sobel, eds. Lars‐Göran Johansson, Jan Österberg, and Rysiek Sliwinski. Uppsala: Uppsala Philosophical Studies, pp. 387–400.A concise but lucid survey of some attempts to formalize theistic doctrines and some problems besetting these attempts. Woleński also proposes his own method of formalization, which could be described as a simplified version of Quine’s method in Mathematical Logic.Bocheński, Joseph The Logic of Religion. New York: New York University Press.The first book‐length treatment of the relation between modern logic and theism. It covers much ground, and remains very readable.Alston, William P. ‘Religious Language and Verificationism,’ in The Rationality of Theism, eds. Paul Moser and Paul Copan. London: Routledge, pp. 17–34.Identifies some problems with attempts at articulating theistic doctrines by means of subject‐predicate language. Highly relevant to formalizations of theistic doctrines, even though this topic is not dealt with explicitly.Kraal, Anders ‘Logic and Divine Simplicity,’Philosophy Compass.Offers a survey of three main methods of formalizing theistic doctrines, and of some variants of these methods. Argues that certain formalizations of theistic doctrines are bound to be rejected as conceptually inadequate by all who understand the doctrines at hand within the framework provided by the traditional doctrine of divine simplicity.Sample Syllabus Week I: The Idea of Formalization and the Project of Formalizing Theistic Doctrines Reading:Frege, Gottlob ‘Begriffsschrift: a formula language of pure thought,’ trans. Michael Beany, in The Frege Reader, ed. Beany. Oxford: Blackwell, pp. 47–78. Russell, Bertrand, and Whitehead, A.N. Principia Mathematica, Vol. I. Cambridge: Cambridge University Press. Suppes, Patrick ‘The Desirability of Formalization in Science,’The Journal of Philosophy, Vol. 65, No. 20, pp. 651–64.Nieznański, Edward ‘The Beginnings of Formalization in Theology,’ in Advances in Scientific Philosophy: Essays in Honour of Paul Weingartner, eds. Gerhard Schurz and Gregory J.W. Dorn. Amsterdam and Atlanta, GA: Ropodi, pp. 551–9. Week II: Formalizing Theistic Doctrines: Three Alternative Methods Reading:Woleński, Jan ‘Theism, Fideism, Atheism, Agnosticism,’ in Logic, Ethics and All That Jazz: Essays in Honour of Jordan Howard Sobel, eds. Lars‐Göran Johansson, Jan Österberg, and Rysiek Sliwinski. Uppsala: Uppsala Philosophical Studies, pp. 387–400.Russell, Bertrand, and Whitehead, A.N. Principia Mathematica, Vol. I. Cambridge: Cambridge University Press. Quine, W.V.O. Mathematical Logic. Cambridge, MA: Harvard University Press. Week III: Arguments for and Against Some Formalizations of Theistic Doctrines Reading:Bocheński, Joseph The Logic of Religion. New York: New York University Press. Kraal, Anders ‘Logic and Divine Simplicity,’Philosophy Compass, Vol. 6, No. 4, pp. 282–94.Focus Questions1 What do Frege, Russell and Whitehead, and Suppes understand the purpose or purposes of logical formalization to be, and why do they think formalization can achieve these purposes?2 Woleński sketches some simple ways of formalizing theistic doctrines such as ‘God exists’ or ‘God is almighty’ in terms of 1‐place predicates which he subsequently abandons in favour of other methods. What reasons lead him to abandon these more simple methods of formalization?3 What are the advantages of the definite description formalization of theistic doctrines offered by Russell and Whitehead?4 Quine offers a subtle formalization of the theistic doctrine ‘God exists’ in terms of singleton sets. What problems are Quine’s formalization intended to accommodate, and how does it seek to accommodate them?5 Which relative merits or demerits are there in Bocheński’s and Kraal’s respective arguments for and against the adequacy of certain formalizations of theistic doctrines? (shrink)

This paper concerns exchangeable analogical predictions based on similarity relations between predicates, and deals with a restricted class of such relations. It describes a system of Carnapian λγ rules on underlying predicate families to model the analogical predictions for this restricted class. Instead of the usual axiomatic definition, the system is characterized with a Bayesian model that employs certain statistical hypotheses. Finally the paper argues that the Bayesian model can be generalized to cover cases outside the restricted class of similarity (...) relations. (shrink)

We study Kim-independence over arbitrary sets. Assuming that forking satisfies existence, we establish Kim's lemma for Kim-dividing over arbitrary sets in an NSOP1 theory. We deduce symmetry of Kim-independence and the independence theorem for Lascar strong types.

Background and aim Healthcare professionals are regularly exposed to moral challenges in patient care potentially compromising quality of care and safety of patients. Preventive clinical ethics support aims to identify and address moral problems in patient care at an early stage of their development. This study investigates the occurrence, risk factors, early indicators, decision parameters, consequences and preventive measures of moral problems. Method Semi-structured expert interviews were conducted with 20 interprofessional healthcare professionals from 2 university hospitals in Basel, Switzerland. A (...) Likert scale questionnaire was completed by the interviewees and analysed using descriptive and inferential statistics. Results Healthcare professionals are frequently exposed to a variety of moral problems, such as end-of-life decisions, resource allocation and assessing the patient's will or decisional capacity. Thirty-four different risk factors for moral problems are identified, e.g. patient vulnerability, divergent values or world views, inadequate resources or poor ethical climate. Twenty-one early indicators are recognised such as disagreement between healthcare professionals, patients and relatives, emotional disturbances, gut feeling or conflict of conscience. A variety of preventive measures are suggested and presented in a preventive clinical ethics support process model. The most helpful measures are early ethical conversations with colleagues, early team-internal ethical case discussions and an ethics-trained contact person on the ward. Ethics training, kerbside consultations, proactive ethics consultations, ethics screening and rounds are also considered helpful. Conclusions Clinical ethics support services should not only offer reactive and complex, but also proactive and low-threshold support for healthcare professionals, patients and relatives. (shrink)

Among others, the term problem plays a major role in the various attempts to characterize interdisciplinarity or transdisciplinarity, as used synonymously in this paper. Interdisciplinarity is regarded as problem solving among science, technology and society and as problem orientation beyond disciplinary constraints. The point of departure of this paper is that the discourse and practice of ID have problems with the problem. The objective here is to shed some light on the vague notion of problem in order to advocate a (...) specific type of interdisciplinarity: problem-oriented interdisciplinarity. The outline is as follows: Taking an ex negativo approach, I will show what problem-oriented ID does not mean. Using references to well-established distinctions in philosophy of science, I will show three other types of ID that should not be placed under the umbrella term problem-oriented ID : object-oriented ID, theory-oriented ID, and method-oriented ID. Different philosophical thought traditions can be related to these distinguishable meanings. I will then clarify the notion of problem by looking at three systematic elements: an undesired state, a desired state, and the barriers in getting from the one to the other. These three elements include three related kinds of knowledge: systems, target, and transformation knowledge. This paper elaborates further methodological and epistemological elements of problem-oriented ID. It concludes by stressing that problem-oriented ID is the most needed as well as the most challenging type of ID. (shrink)

In this paper, I explore links between the phenomenology-inspired philosophy of emotion, especially discussions of affective intentionality and situated affectivity, and those strands of work in the field of cultural affect studies that take their inspiration fromSpinoza and Deleuze. As bridges between these fields, I propose the concepts ‘disclosive posture’ and ‘affective arrangement’. ‘Disclosive posture’ condenses insights from phenomenological work on affectivity, especially those pertaining to what Heidegger calls Befindlichkeit. ‘Affective arrangement’ is a descendant of Deleuze and Guattari’s term agencement. (...) It refers to heterogeneous ensembles of elements coalescing into a sphere of heightened affective intensity in a local setting. I develop this notion into a tool for analyzing situated affectivity. As it does not yet figure prominently within debates in the philosophy of emotion, I will outline what is meant by ‘affective arrangement’ in some detail. Throughout, I discuss a productive tension between these two conceptual strands. (shrink)

Research on expert‐novice differences has mainly focused on how experts solve familiar problems. We know far less about the skills and knowledge used by experts when they are confronted with novel problems within their area of expertise. This article discusses a study in which verbal protocols were taken from subjects of various expertise designing an experiment in an area with which they were unfamiliar. The results showed that even when domain knowledge is lacking, experts solve a novel problem within their (...) area of expertise by dividing the problem into a number of subproblems that are solved in a specified order. The lack of domain knowledge is compensated for by using abstract knowledge structures and domain‐specific heuristic strategies. However, the quality of their solutions is considerably lower than the quality attained by experts who were familiar with the type of problem to be solved. The results suggest that when experts are confronted with novel problems as compared with familiar problems, their form of reasoning remains intact, but the content of their reasoning suffers due to lack of domain knowledge. (shrink)

Antirealists who hold the knowability thesis, namely that all truths are knowable, have been put on the defensive by the Church-Fitch paradox of knowability. Rejecting the non-factivity of the concept of knowability used in that paradox, Edgington has adopted a factive notion of knowability, according to which only actual truths are knowable. She has used this new notion to reformulate the knowability thesis. The result has been argued to be immune against the Church-Fitch paradox, but it has encountered several other (...) triviality objections. Schlöder in a forthcoming paper defends the general approach taken by Edgington, but amends it to save it in turn from the triviality objections. In this paper I will argue, first, that Schlöder's justification for the factivity of his version of the concept of knowability is vulnerable to criticism, but I will also offer an improved justification that is in the same spirit as his. To the extent that some philosophers are right about our intuitive concept of knowability being a factive one, it is important to explore factive concepts of knowability that are made formally precise. I will subsequently argue that Schlöder's version of the knowability thesis overgenerates knowledge or, in other words, it leads to attributions of knowledge where there is ignorance. This fits a general pattern for the research programme initiated by Edgington. This paper also contains preliminary investigations into the internal and logical structure of lines of inquiries, which raise interesting research questions. (shrink)

Chapter One Moral Issues and Moral Theory The Subject Matter of This Inquiry Until about thirty years ago, courses in ethics were devoted almost exclusively ...

Sometimes also called retro causation. A common feature of our world seems to be that in all cases of causation, the cause and the effect are placed in time so that the cause precedes its effect temporally. Our normal understanding of causation assumes this feature to such a degree that we intuitively have great difficulty imagining things differently. The notion of backward causation, however, stands for the idea that the temporal order of cause and effect is a mere contingent feature (...) and that there may be cases where the cause is causally prior to its effect but where the temporal order of the cause and effect is reversed with respect to normal causation, i.e. there may be cases where the effect temporally, but not causally, precedes its cause. (shrink)

This paper discusses the presentation of the Epicurean virtues offered in the Letter to Menoeceus and in Cicero’s On Ends. It evaluates the proposals advanced by Phillip Mitsis and Pierre-Marie Morel. Against Morel, it is argued that Torquatus’ presentation of the virtues in On Ends is not part of an elaborate dialectical strategy. Instead, the paper sides with Mitsis’ more modest proposal: while Torquatus, like any good speaker, with high likelihood adapts his presentation to his audience, his ideas also have (...) a strong foundation in Epicureanism. Given the extant state of textual evidence, it is difficult to determine precisely, however, to what degree his presentation of the virtues (1) directly draws on ideas already present in the founder of the Garden himself, (2) reflects a later development in the Epicurean school, or (3) falsifies Epicurean ideas to make them more palatable for a Roman audience. (shrink)

This article conceptualizes power in the context of long-term process of structural change. First, it discusses the field of transition studies, which deals with processes of structural change in societal systems on the basis of certain presumptions about power relations, but still lacks an explicit conceptualization of power. Then the article discusses some prevailing points of contestation in debates on power. It is argued that for the context of transition studies, it is necessary to develop an interdisciplinary framework in which (...) power is explicitly conceptualized in relation to change. Subsequently, such a framework is presented, with reference to existing literature on power. Starting with a philosophical and operational definition of power, a typology is developed of the different ways in which power can be exercised, explicitly including innovative power and transformative power. Finally, the presented power framework is applied to transition studies, redefining pivotal transition concepts in terms of power and formulating hypotheses on the role of power in transitions. By doing so, the article not only offers an interdisciplinary framework to study power in the context of transition studies, but also contributes to power debates more generally by including innovation and transformation as acts of power, and thereby proposes a re-conceptualization of the relation between power and structural change. (shrink)

Interpretation in science has gained little attention in the past because philosophers of science believed that interpretation belongs to the context of discovery or must be associated with meaning. But scientists often speak about interpretation when they report their findings. Elsewhere I have argue in favour of a pragmatic-rhetorical theory of explanation, and it is in light of this theory that I suggest we can understand interpretation in the natural sciences.

We prove the NTP1 property of a geometric theory T is inherited by theories of lovely pairs and H‐structures associated to T. We also provide a class of examples of nonsimple geometric NTP1 theories.

According to a prominent suggestion in the ethics of transcranial neurostimulation the effects of such devices can be treated as ethically on par with established, pre-neurotechnological alterations of the mind. This parity allegedly is supported by situated cognition theories showing how external devices can be part of a cognitive system. This article will evaluate this suggestion. It will reject the claim, that situated cognition theories support ethical parity. It will however point out another reason, why external carriers or modifications of (...) the mental might come to be considered ethically on par with internal carriers. Section “Why Could There Be Ethical Parity between Neural Tissue and External Tools?” presents the ethical parity theses between external and internal carriers of the mind as well as neurotechnological alterations and established alterations. Section “Extended, Embodied, Embedded: Situated Cognition as a Relational Thesis” will elaborate the different situated cognition approaches and their relevance for ethics. It will evaluate, whether transcranial stimulation technologies are plausible candidates for situated cognition theses. Section “On the Ethical Relevance of Situated Cognition Theses” will discuss criteria for evaluating whether a cognitive tool is deeply embedded with a cognitive system and apply these criteria to transcranial brain stimulation technologies. Finally it will discuss the role diverse versions of situated cognition theory can play in the ethics of altering mental states, especially the ethics of transcranial brain stimulation technologies. (shrink)

ZusammenfassungMedizinethische Forschung wird häufig unter Verwendung sozialempirischer Methoden durchgeführt. Insbesondere die Anwendung von Methoden der qualitativen Sozialforschung hat eine breite Akzeptanz gefunden. Nach Kenntnis der Autoren fehlen allerdings bislang Untersuchungen, die den spezifischen Beitrag qualitativer Sozialforschung für medizinethische Untersuchungen unter Bezugnahme auf die Merkmale qualitativer Methoden darlegen. Ausgehend von einem handlungsorientierenden medizinethischen Forschungsvorhaben zur Unterstützung der Entscheidungsfindung in der Onkologie wird der Beitrag der verwendeten qualitativen Methoden für das Forschungsvorhaben unter Bezugnahme auf zwei Kennzeichen qualitativer Sozialforschung – Rekonstruktion der sozialen (...) Praxis und Explikation von informellem Wissen – ausgeführt. Den Abschluss bilden eine Analyse von Limitationen der Verwendung qualitativer Forschungsmethoden in medizinethischen Forschungsvorhaben sowie die Identifizierung offener Forschungsfragen. (shrink)

We introduce a family of local ranks $D_Q$ depending on a finite set Q of pairs of the form $(\varphi (x,y),q(y)),$ where $\varphi (x,y)$ is a formula and $q(y)$ is a global type. We prove that in any NSOP $_1$ theory these ranks satisfy some desirable properties; in particular, $D_Q(x=x)<\omega $ for any finite tuple of variables x and any Q, if $q\supseteq p$ is a Kim-forking extension of types, then $D_Q(q) (...) Kim-non-forking extension, then $D_Q(q)=D_Q(p)$ for every Q that involves only invariant types whose Morley powers are -stationary. We give natural examples of families of invariant types satisfying this property in some NSOP $_1$ theories.We also answer a question of Granger about equivalence of dividing and dividing finitely in the theory $T_\infty $ of vector spaces with a generic bilinear form. We conclude that forking equals dividing in $T_\infty $, strengthening an earlier observation that $T_\infty $ satisfies the existence axiom for forking independence.Finally, we slightly modify our definitions and go beyond NSOP $_1$ to find out that our local ranks are bounded by the well-known ranks: the inp-rank (burden), and hence, in particular, by the dp-rank. Therefore, our local ranks are finite provided that the dp-rank is finite, for example, if T is dp-minimal. Hence, our notion of rank identifies a non-trivial class of theories containing all NSOP $_1$ and NTP $_2$ theories. (shrink)

One can often encounter an opinion that Polish scientific philosophy deserves to be much better known than actually is. This book is thought as a response to such a claim. The papers collected in this volume are divided into two parts: Background and Influence and History and Systematics. However, there is no sharp borderline between themes which are touched in both parts. Generally speaking, all papers of the first part relate the Lvov-Warsaw School to some philosophical movements external to it (...) whereas the papers collected in the second one focus on internal issues connected with the school . Since the Polish school of mathematical logic is much better known than the Polish analytic philosophy we decided to omit here any treatment of the former. Thus, this collection centers on purely philosophical matters. We projected this volume not as an exhaustive panorama of Polish analytic philosophy but rather as a series of essays on particular persons or topic. As a result one can find here papers on Twardowski. Ajdukiewicz, Kotarbinski, Tarski and Lukasiewicz as well as on ethics on science, nominalism, and the methodology of psychology. We hope that this book will contribute to a better knowledge and evaluation of Polish achievements in analytic philosophy. We would like to express our gratitude to Professor Leszek Nowak, the editor-in-chief of Poznan Studies in the Philosophy of the Sciences and the Humanities, who initiated the idea of the collection and helped in its preparation. (shrink)

How do states build a security apparatus after violent resistance against state rule? This article argues that in early periods of state building two main factors shape the process: the macro-strategic goals of the state and administrative challenges of personnel management. These dynamics are studied in the context of the establishment of police forces in the settler colony of German Southwest Africa, present-day Namibia. The empirical analysis relies on information about the location of police stations and a near full census (...) of police forces, compiled from the German Federal Archives. A mismatch is found between the allocation of police presence and the allocation of police personnel. The first was driven by the strategic value of locations in terms of extractive potential, political importance, and the presence of critical infrastructure, whereas the allocation of individual officers was likely affected by adverse selection, which led to the assignment of low-quality recruits to strategically important locations. (shrink)

INTRODUCTION This study arose from involvement with the works of Thomas Aquinas (/5-) that was not only intensive, but also extensive in the time devoted to ...

A study in the best tradition of classical scholarship, showing mastery of commentary and scholarship in eight languages, this book argues that the Ethics is integral to a series of politically oriented philosophical addresses aimed at morally mature political leaders. Bodeus's critical review of the major approaches to Aristotle's texts is an excellent introduction to the subject.