The almost 300 articles contain not only historical accounts but also some indication of the state of present day study in classical philosophy.

The aim of this paper is to provide a complete Natural Kind Semantics for an Essentialist Theory of Kinds. The theory is formulated in two-sorted first order monadic modal logic with identity. The natural kind semantics is based on Rudolf Willes Theory of Concept Lattices. The semantics is then used to explain several consequences of the theory, including results about the specificity (species–genus) relations between kinds, the definitions of kinds in terms of genera and specific differences and the existence of (...) negative kinds. First, I show under which conditions the Hierarchy principle, which has been subjected to counterexamples in the literature, holds. I also show that a different principle about the species–genus relations between kinds, namely Kant’s Law, follows from the essentialist theory. Second, I introduce two new operations for kinds and show that they can be used to provide traditional definitions of kinds in terms of genera and specific differences. Finally, I show that these operations of specific difference induce, for each kind, a uniquely specified contrary kind and a uniquely specified subcontrary kind, which can be used as semantic values for non-classical predicate negations of kind terms. (shrink)

This lively and accessible textbook provides a comprehensive and unified introduction to classical and modal logics, treating them with the same level of rigour and detail and showing how they fit together. A fully self-contained learning resource, it will be ideal for upper-level university courses.

The eighteenth-century Physiocrats are widely considered to be precursors to classical economics, the French ninteenth-century Economistes, and contemporary free-market economics. They advocated free trade against mercantilism, and natural law against despotism. Although the Physiocrats also contributed to Walras and modern economic engineering, they fit squarely within the French (and world) liberal tradition.

This book offers an ideal first reader in ancient Greek. It presents a selection of extracts from a comprehensive range of Greek authors, from Homer to Plutarch, together with generous help with vocabulary and grammar. The passages have been chosen for their intrinsic interest and variety, and brief introductions set them in context. All but the commonest Greek words are glossed as they occur and a general vocabulary is included at the back. Although the book is designed to be used (...) by students who have only completed a beginner's course in Greek, students of all ages will find that it helps them to improve their ability and confidence in reading a wide range of prose and verse texts, while at the same time providing a fascinating and copiously illustrated introduction to the riches and variety of ancient Greek literature over a period of almost a thousand years. (shrink)

Crispin Wright in his 1982 paper argues for strict finitism, a constructive standpoint that is more restrictive than intuitionism. In its appendix, he proposes models of strict finitistic arithmetic. They are tree-like structures, formed in his strict finitistic metatheory, of equations between numerals on which concrete arithmetical sentences are evaluated. As a first step towards classical formalisation of strict finitism, we propose their counterparts in the classical metatheory with one additional assumption, and then extract the propositional part of (...) ‘strict finitistic logic’ from it and investigate. We will provide a sound and complete pair of a Kripke-style semantics and a sequent calculus, and compare with other logics. The logic lacks the law of excluded middle and Modus Ponens and is weaker than classical logic, but stronger than any proper intermediate logics in terms of theoremhood. In fact, all the other well-known classical theorems are found to be theorems. Finally, we will make an observation that models of this semantics can be seen as nodes of an intuitionistic model. (shrink)

Prior’s Tonk is a famously horrible connective. It is defined by its inference rules. My aim in this article is to compare Tonk with some hitherto unnoticed nasty connectives, which are defined in semantic terms. I first use many-valued truth-tables for classical sentential logic to define a nasty connective, Knot. I then argue that we should refuse to add Knot to our language. And I show that this reverses the standard dialectic surrounding Tonk, and yields a novel solution to (...) the problem of many-valued truth-tables for classical sentential logic. I close by outlining the technicalities surrounding nasty connectives on many-valued truth-tables. (shrink)

In this study, falsification-aware semantics and sequent calculi for first-order classical logic are introduced and investigated. These semantics and sequent calculi are constructed based on a falsification-aware setting for first-order Nelson constructive three-valued logic. In fact, these semantics and sequent calculi are regarded as those for a classical variant of N3. The completeness and cut-elimination theorems for the proposed semantics and sequent calculi are proved using Schütte’s method. Similar results for the propositional case are also obtained.

We introduce a new typed combinatory calculus with a type constructor that, to each type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}, associates the star type σ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma ^*$$\end{document} of the nonempty finite subsets of elements of type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}. We prove that this calculus enjoys the properties of strong normalization and confluence. With the aid of this star combinatory (...) calculus, we define a functional interpretation of first-order predicate logic and prove a corresponding soundness theorem. It is seen that each theorem of classical first-order logic is connected with certain formulas which are tautological in character. As a corollary, we reprove Herbrand’s theorem on the extraction of terms from classically provable existential statements. (shrink)

Knowledge is an asset that can make or break organizations. Its importance has been duly asserted in the Western management thought as well as in the Indian classical philosophical thought. The present study takes a hermeneutical approach by reviewing the Western literature related to knowledge and then trying to find congruence with the Indian philosophy of Nyaya Sutras. Nyaya is a branch of Indian philosophical thought; these thoughts were written in the form of verses called the sutras. We draw (...) from the modern knowledge management literature and compare and contrast it with selected verses of Nyaya Sutras. We find a high level of similarity between the two and discuss offerings from Nyaya Sutras that can be adopted by the modern knowledge management domain. The key aspects of our work have been consolidated in a conceptual model for knowledge management which will provide useful insights to modern management practices. (shrink)

This is a comprehensive study of the far-reaching changes that led to a re-shaping of the philosophical discourse in Islam during the sixth/twelfth century. Whereas earlier Western scholars thought that Islam's engagement with the tradition of Greek philosophy ended during that century, more recent analyses suggest its integration into the genre of rationalist Muslim theology (kalam). This book proposes a third view about the fate of philosophy in Islam. It argues that in addition to this integration, Muslim theologians picked up (...) the discourse of philosophy in Islam (falsafa) and began to produce books on philosophy. Written by the same authors, books in these two genres, kalām and philosophy, argue for opposing teachings on the nature of God, the world's creation, and on the afterlife. This study explains the emergence of a new genre of philosophical books called "hikma" that stand opposed to Islamic theology and at the same wishes to complement it. Offering a detailed history of philosophy in Iraq, Iran, and Central Asia during the sixth/twelfth century together with an analysis of the circumstances of practicing philosophy during this time, this study can show how reports of falsafa, written by major Muslim theologians such as al-Ghazali (d. 505/1111), developed step-by-step into critical assessments of philosophy that try to improve philosophical teachings, and eventually become fully fledged philosophical summas in the work of Fakhr al-Din al-Razi (d. 606/1210). The book ends in a discussion of the different methods of kalam and hikma and the coherence and ambiguity of a Muslim post-classical philosopher's œuvre. (shrink)

There are many moral values that the Arab writers have written about either in prose or poetry. This emphasis on morality in classical Arabic literature has also been the subject of many academic studies. The abundance of the literary material in this field has attracted the attention of researchers. One of these is the emphasis on "naturalness" which we have seen in classical Arabic literature. In the Arab society which social ties are very strong the moral values have (...) been summarized with the concept of al-murūah/chivalry over time. In these sources that is including poems, parables and anecdotes about morality allthings on the moral values are brought together. Hereunder the main thing in the moral maturity is the naturality. Criticism of ostensible behaviors has taken place in an important part of these works. For example, ancient perception of morality is a predestination that comes from creation has found its response in Arabic poetry. Many Arab poets have stated that one's innate character will beat and the reason will be defeated. On the other hand, some poets tried to establish a balance between character and wisdom. Accordingly, it has been stated that people are innately inclined to falses but they also have the potential to restrain their innate evil tendencies with the ability of mind given to them. These poets liked to explain this balance through the simile stating he ambitious horse that wants to run at full speed is restrained with a bit. According to this simile the man is like a person on the back of a raging horse with the evil inclinations cultivated in his nature. The soul he carries wants to take him wherever it wishes. However, he has a mind that is like a bridle in return for the soul inside him. On the other hand, when we look at the encyclopedic sources of Arabic proverbs we see that there are proverbs comparing many moral attributes with animals. In Turkish proverbs, cunning is identified with the fox and industriousness with the ant, and in Arabic proverbs a very rich human character-animal pairings stand out. These proverbs are based on the idea that people's character is the product of nature. Because each animal species has appreciated characteristics and these features occur without learning and education. In addition, the issue of the naturalness of morality was also used for the purpose of praise and satire in the classical Arabic poets. The poet makes his reproach or anger towards someone through his character. When describing his lover he states that the beauties that adorn him come from creation. Therefore, it can be said that the emphasises of character/nature/temperament in the poems in which these and similar emotions are aroused, are the motifs that serve the purpose of the poet. Finally Arab writers have offered many recommendations in literary form on issues such as brotherhood, solidarity and cooperation for the healthy continuity of social relations in the Muslim society, and they have included anecdotes and poems within the framework of the subject. The study is mainly based on the descriptive method, however, the way the authors handled the subject is analysed when it is deemed to be appropriate. Considering that there is no specific study in Turkish and Arabic literature within the framework of the present study, it is aimed to investigate the literary material in the subject in question. (shrink)

Premodern Buddhists are sometimes characterized as veritable "mind scientists" whose insights anticipate modern research on the brain and mind. Aiming to complicate this story, Dan Arnold confronts a significant obstacle to popular attempts at harmonizing classical Buddhist and modern scientific thought: since most Indian Buddhists held that the mental continuum is uninterrupted by death, they would have no truck with the idea that everything about the mental can be explained in terms of brain events. Nevertheless, a predominant stream of (...) Indian Buddhist thought, associated with the seventh-century thinker Dharmakirti, turns out to be vulnerable to arguments modern philosophers have leveled against physicalism. By characterizing the philosophical problems commonly faced by Dharmakirti and contemporary philosophers such as Jerry Fodor and Daniel Dennett, Arnold seeks to advance an understanding of both first-millennium Indian arguments and contemporary debates on the philosophy of mind. The issues center on what modern philosophers have called _intentionality_--the fact that the mind can be about other things. Tracing an account of intentionality through Kant, Wilfrid Sellars, and John McDowell, Arnold argues that intentionality cannot, in principle, be explained in causal terms. Elaborating some of Dharmakirti's central commitments, Arnold shows that despite his concern to refute physicalism, Dharmakirti's causal explanations of the mental mean that modern arguments from intentionality cut as much against his project as they do against physicalist philosophies of mind. This is evident in the arguments of some of Dharmakirti's contemporaneous Indian critics, whose critiques exemplify the same logic as modern arguments from intentionality. Elaborating these various strands of thought, Arnold shows that seemingly arcane arguments among first-millennium Indian thinkers can illuminate matters still very much at the heart of contemporary philosophy. (shrink)

We investigate introduction and elimination rules for truth-functional connectives, focusing on the general questions of the existence, for a given connective, of at least one such rule that it satisfies, and the uniqueness of a connective with respect to the set of all of them. The answers are straightforward in the context of rules using general set/set sequents of formulae, but rather complex and asymmetric in the restricted (but more often used) context of set/formula sequents, as also in the intermediate (...) set/formula-or-empty context. (shrink)

It is usual to identify initial conditions of classical dynamical systems with mathematical real numbers. However, almost all real numbers contain an infinite amount of information. I argue that a finite volume of space can’t contain more than a finite amount of information, hence that the mathematical real numbers are not physically relevant. Moreover, a better terminology for the so-called real numbers is “random numbers”, as their series of bits are truly random. I propose an alternative classical mechanics, (...) which is empirically equivalent to classical mechanics, but uses only finite-information numbers. This alternative classical mechanics is non-deterministic, despite the use of deterministic equations, in a way similar to quantum theory. Interestingly, both alternative classical mechanics and quantum theories can be supplemented by additional variables in such a way that the supplemented theory is deterministic. Most physicists straightforwardly supplement classical theory with real numbers to which they attribute physical existence, while most physicists reject Bohmian mechanics as supplemented quantum theory, arguing that Bohmian positions have no physical reality. (shrink)

Michael Dummett and Dag Prawitz have argued that a constructivist theory of meaning depends on explicating the meaning of logical constants in terms of the theory of valid inference, imposing a constraint of harmony on acceptable connectives. They argue further that classical logic, in particular, classical negation, breaks these constraints, so that classical negation, if a cogent notion at all, has a meaning going beyond what can be exhibited in its inferential use. I argue that Dummett gives (...) a mistaken elaboration of the notion of harmony, an idea stemming from a remark of Gerhard Gentzen's. The introduction-rules are autonomous if they are taken fully to specify the meaning of the logical constants, and the rules are harmonious if the elimination-rule draws its conclusion from just the grounds stated in the introduction-rule. The key to harmony in classical logic then lies in strengthening the theory of the conditional so that the positive logic contains the full classical theory of the conditional. This is achieved by allowing parametric formulae in the natural deduction proofs, a form of multiple-conclusion logic. (shrink)

The classification of algebraic surfaces by the Italian School of algebraic geometry is universally recognized as a breakthrough in 20th-century mathematics. The methods by which it was achieved do not, however, meet the modern standard of rigor and therefore appear dubious from a contemporary viewpoint. In this article, we offer a glimpse into the mathematical practice of the three leading exponents of the Italian School of algebraic geometry: Castelnuovo, Enriques, and Severi. We then bring into focus their distinctive conception of (...) rigor and intuition. Unlike what is often assumed today, from their perspective, rigor is neither opposed to intuition nor understood as a unitary phenomenon – Enriques distinguishes between small-scale rigor and large-scale rigor and Severi between formal rigor and substantial rigor. Finally, we turn to the notion of mathematical objectivity. We draw from our case study in order to advance a multi-dimensional analysis of objectivity. Specifically, we suggest that various types of rigor may be associated with different conceptions of objectivity: namely, objectivity as faithfulness to facts and objectivity as intersubjectivity. (shrink)

Uses a comparative hermeneutical method to explain the most important terms in the classical Confucian philosophical texts, in an effort to allow the tradition to speak on its own terms.

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework (...) for the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics. The book may be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

This book makes Classical Chinese Medicine intelligible to those who are not familiar with the tradition and who may choose to dismiss it off-hand or to assess it negatively. Keekok Lee uses two related strategies: arguing that all science and therefore medicine cannot be understood without excavating its philosophical presuppositions and showing what those presuppositions are in the case of CCM compared with those of biomedicine.

Relevant logics have traditionally been viewed as paraconsistent. This paper shows that this view of relevant logics is wrong. It does so by showing forth a logic which extends classical logic, yet satisfies the Entailment Theorem as well as the variable sharing property. In addition it has the same S4-type modal feature as the original relevant logic E as well as the same enthymematical deduction theorem. The variable sharing property was only ever regarded as a necessary property for a (...) logic to have in order for it to not validate the so-called paradoxes of implication. The Entailment Theorem on the other hand was regarded as both necessary and sufficient. This paper shows that the latter theorem also holds for classical logic, and so cannot be regarded as a sufficient property for blocking the paradoxes. The concept of suppression is taken up, but shown to be properly weaker than that of variable sharing. (shrink)

Panentheism seems to be an attractive alternative to classical theism. It is not clear, though, what exactly panentheism asserts and how it relates to classical theism. By way of clarifying the thesis of panentheism, I argue that panentheism and classical theism differ only as regards the modal status of the world. According to panentheism, the world is an intrinsic property of God – necessarily there is a world – and according to classical theism the world is (...) an extrinsic property of God – it is only contingently true that there is a world. Therefore, as long as we do not have an argument showing that necessarily there is a world, panentheism is not an attractive alternative to classical theism. (shrink)

We study the question of how to decompose Hilbert space into a preferred tensor-product factorization without any pre-existing structure other than a Hamiltonian operator, in particular the case of a bipartite decomposition into "system" and "environment." Such a decomposition can be defined by looking for subsystems that exhibit quasi-classical behavior. The correct decomposition is one in which pointer states of the system are relatively robust against environmental monitoring (their entanglement with the environment does not continually and dramatically increase) and (...) remain localized around approximately-classical trajectories. We present an in-principle algorithm for finding such a decomposition by minimizing a combination of entanglement growth and internal spreading of the system. Both of these properties are related to locality in different ways. This formalism could be relevant to the emergence of spacetime from quantum entanglement. (shrink)

This paper gives an account of Anderson and Belnap’s selection criteria for an adequate theory of entailment. The criteria are grouped into three categories: criteria pertaining to modality, those pertaining to relevance, and those related to expressive strength. The leitmotif of both this paper and its prequel is the relevant legitimacy of disjunctive syllogism. Relevant logics are commonly held to be paraconsistent logics. It is shown in this paper, however, that both E and R can be extended to explosive logics (...) which satisfy all of Anderson and Belnap’s selection criteria, provided the truth-constant known as the Ackermann constant is available. One of the selection criteria related to expressive strength is having an “enthymematic” conditional for which a deduction theorem holds. I argue that this allows for a new interpretation of Anderson and Belnap’s take on logical consequence, namely as committing them to pluralism about logical consequence. (shrink)

Nancy MacLean’s book, Democracy in Chains, raised questions about James M. Buchanan’s commitment to democracy. This paper investigates the relationship of classical liberalism in general and of Buchanan in particular to democratic theory. Contrary to the simplistic classical liberal juxtaposition of “coercion vs. consent,” there have been from Antiquity onwards voluntary contractarian defenses of non-democratic government and even slavery—all little noticed by classical liberal scholars who prefer to think of democracy as just “government by the consent of (...) the governed” and slavery as being inherently coercive. Historically, democratic theory had to go beyond that simplistic notion of democracy to develop a critique of consent-based non-democratic government, e.g., the Hobbesian pactum subjectionis. That critique was based firstly on the distinction between contracts or constitutions of alienation (translatio) versus delegation (concessio). Then the contracts of alienation were ruled out based on the theory of inalienable rights that descends from the Reformation doctrine of inalienability of conscience down through the Enlightenment to modern times in the abolitionist and democratic movements. While he developed no theory of inalienability, the mature Buchanan explicitly allowed only a constitution of delegation, contrary to many modern classical liberals or libertarians who consider the choice between consent-based democratic or non-democratic governments (e.g., private cities or shareholder states) to be a pragmatic one. But Buchanan seems to not even realize that his at-most-delegation dictum would also rule out the employer-employee or human rental contract which is a contract of alienation “within the scope of the employment.”. (shrink)

This article presents a new semantics for classical propositional logic. We begin by maximally extending the space of sequent proofs so as to admit proofs for any logical formula; then, we extract the new semantics by focusing on the axiomatic structure of proofs. In particular, the interpretation of a formula is given by the ratio between the number of identity axioms out of the total number of axioms occurring in any of its proofs. The outcome is an informational refinement (...) of traditional Boolean semantics, obtained by breaking the symmetry between tautologies and contradictions. (shrink)

This collection of essays sheds new light on the relationship between two of the main drivers of intellectual discourse in ancient Greece: the epic tradition and the Sophists. The contributors show how throughout antiquity the epic tradition proved a flexible instrument to navigate new political, cultural, and philosophical contexts. The Sophists, both in the Classical and the Imperial age, continuously reconfigured the value of epic poetry according to the circumstances: using epic myths allowed the Sophists to present themselves as (...) the heirs of traditional education, but at the same time this tradition was reshaped to encapsulate new questions that were central to the Sophists' intellectual agenda. This volume is structured chronologically, encompassing the ancient world from the Classical Age through the first two centuries AD. The first chapters, on the First Sophistic, discuss pivotal works such as Gorgias' Encomium of Helen and Apology of Palamedes, Alcidamas' Odysseus or Against the Treachery of Palamedes, and Antisthenes' pair of speeches Ajax and Odysseus, as well as a range of passages from Plato and other authors. The volume then moves on to discuss some of the major works of literature from the Second Sophistic dealing with the epic tradition. These include Lucian's Judgement of the Goddesses and Dio Chrysostom's orations 11 and 20, as well as Philostratus' Heroicus and Imagines. (shrink)

The classical limit is fundamental in quantum mechanics. It means that quantum predictions must converge to classical ones as the macroscopic scale is approached. Yet, how and why quantum phenomena vanish at the macroscopic scale is difficult to explain. In this paper, quantum predictions for Greenberger–Horne–Zeilinger states with an arbitrary number q of qubits are shown to become indistinguishable from the ones of a classical model as q increases, even in the absence of loopholes. Provided that two (...) reasonable assumptions are accepted, this result leads to a simple way to explain the classical limit and the vanishing of observable quantum phenomena at the macroscopic scale. (shrink)

Philosophers now treat the relationship between Classical Mendelian Genetics and molecular biology as a paradigm of nonreduction and this example is playing an increasingly prominent role in debates about the reducibility of theories ranging from macrosocial science to folk psychology. Patricia Churchland (1986), for example, draws an analogy between the alleged elimination of the “causal mainstay” of classical genetics and her view that today’s psychological theory will be eliminated by neuroscience. Patricia Kitcher takes an autonomous rather than eliminativist (...) view of the reported nonreduction in genetics and reasons that psychology will retain a similar autonomy from lower level sciences (1980 and 1982). Although Churchland and Kitcher offer different interpretations of the apparent failure of molecular biology to reduce classical genetics, they agree that this failure will help illuminate theoretical relations between psychology and lower level sciences. The appearance of the Mendelian example along side the usual ones from physics and chemistry marks a turning point in philosophy of science. (shrink)

The aim of this paper is to reconstruct Charles L. Stevenson’s metaethical view. Since his metaethical view is a form of emotivism, I will start by explaining what the core claims of emotivism are. I will then explore and comment on the specific claims of Stevenson’s proposal. Last, I will offer an overview of the objections that have traditionally been raised against emotivism.

Donald J. Zeyl begins the historical section of the book by tracing divine causation throughout classical Greek philosophy. Some of the Pre-Socratics held to a single god as the source of rational order or change. These views suggested that the cosmos may be explained teleologically. Plato takes up that suggested promise in his Phaedo and finds it wanting. Instead, he looks to Forms as (formal) causes of natural processes. This direction of inquiry leads him to postulate, in the Republic, (...) the Form of the Good as the “unhypothetical (causal) first principle.” In Plato’s later writings, most notably in the Timaeus, Plato presents a full-blown teleological account of both the universe at large and the varieties of living things that inhabit the earth. The agent that brings about the conformity of the world to the Forms is the divine Demiurge. -/- Aristotle inherits from Plato the belief that processes in the natural world are to be understood teleologically. These processes are explained by the nature (or form) of the organism itself. Aristotle’s world has no beginning and thus has no place for an original efficient cause to get the world started. Aristotle’s “Unmoved Mover” plays no causal role in the processes of the natural world, all of which are exhaustively explained in terms of Aristotle’s well-known theory of the “four causes.” Nevertheless, the Unmoved Mover is a final cause. -/- After Aristotle, only the Stoics offered an account of divine causal agency. As pantheists, the Stoics identified the world with a divine rational principle they named the Logos. All events, natural and social, are completely determined by Reason, so the Stoics were strict determinists, both in their natural philosophy and in their social and ethical thought. (shrink)

The classical Chinese philosophical tradition (ca. 6th to 3rd centuries BCE) contains rich discussion of skill and expertise. Various texts exalt skilled exemplars (whether historical persons or fictional figures) who guide and inspire those seeking virtuosity within a particular dao (guiding teaching or way of life). These texts share a preoccupation with flourishing, or uncovering and articulating the constituents of an exemplary life. Some core features thought requisite to leading such a life included spontaneity, naturalness, and effortless ease. However, (...) there was also significant disagreement during this ‘Warring States’ or ‘Hundred Schools’ period on which skills were valuable, how one should cultivate them, and who exactly ought to serve as exemplars. In this chapter, I discuss two prominent types of expertise and their attendant skills. The first is expertise at a particular craft, occupation, or dao, which finds its most poignant celebration in the early Daoist anthology Zhuangzi. Interest in crafts or skilled occupations was likely motivated by a perceived (or implied) analogy with living a good life more generally. The second concerns ethical expertise, a prominent and widely held ideal within the Ruist (Confucian) and Mohist schools. Both maintain that ethical expertise consists of an ability to apply past models or precedents to current cases, though they diverge on what those models are and how to properly apply them. The aim is to provide non-specialists an overview of this literature in Daoism, Confucianism, and Mohism, while also providing suggestions about further research. (shrink)

In this paper, I will argue that Logics of Formal Inconsistency $$ can be used as very sophisticated and powerful methods of classical recapture. I will compare $LFIs$ with the well-known non-monotonic logics by Batens and Priest and the ‘shrieking’ rules of Beall. I will show that these proposals can be represented in $LFIs$ and that $LFIs$ give room to more complex and varied recapturing strategies.

We develop a point-free construction of the classical one- dimensional continuum, with an interval structure based on mereology and either a weak set theory or logic of plural quantification. In some respects this realizes ideas going back to Aristotle,although, unlike Aristotle, we make free use of classical "actual infinity". Also, in contrast to intuitionistic, Bishop, and smooth infinitesimal analysis, we follow classical analysis in allowing partitioning of our "gunky line" into mutually exclusive and exhaustive disjoint parts, thereby (...) demonstrating the independence of "indecomposability" from a non-punctiform conception. It is surprising that such simple axioms as ours already imply the Archimedean property and that they determine an isomorphism with the Dedekind-Cantor structure of R as a complete, separable, ordered field. We also present some simple topological models of our system, establishing consistency relative to classical analysis. Finally, after describing how to nominalize our theory, we close with comparisons with earlier efforts related to our own. (shrink)