Multiple generality has long been known to cause confusion. For example, “Everyone has a donkey that is running” has two readings: either (i) there is a donkey, owned by everyone, and it is running; or (ii) everyone owns some donkey or other, and all such donkeys run. Medieval logicians were acutely aware of such ambiguities, and the logical problems they pose, and sought to sort them out. One of the most ambitious undertakings in this regard is a pair of massive (...) diagrams (magnae figurae) which map out the logical interrelations of two sets of doubly-general forms. These appear in a fourteenth-century MS of John Buridan’s Summulae de Propositionibus. In this paper, I present these diagrams, and determine the truth conditions of their different forms. To that end, I have developed a bespoke system of diagrams to display their truth conditions. As we will see, such forms present significant difficulties for an all-encompassing account of the role form plays in logic. Accordingly, they can tell us important things about the role logical form plays in Buridan’s account of logical foundations. (shrink)

Aristotle divided arguments that persuade into the rhetorical (which happen to persuade), the dialectical (which are strong so ought to persuade to some degree) and the demonstrative (which must persuade if rightly understood). Dialectical arguments were long neglected, partly because Aristotle did not write a book about them. But in the sixteenth and seventeenth century late scholastic authors such as Medina, Cano and Soto developed a sound theory of probable arguments, those that have logical and not merely psychological force (...) but fall short of demonstration. Informed by late medieval treatments of the law of evidence and problems in moral theology and aleatory contracts, they considered the reasons that could render legal, moral, theological, commercial and historical arguments strong though not demonstrative. At the same time, demonstrative arguments became better understood as Galileo and other figures of the Scientific Revolution used mathematical proof in arguments in physics. Galileo moved both dialectical and demonstrative arguments into mathematical territory. (shrink)

The Fregean tradition promotes a conception of logic as being independent from all psychological acts of the knowing subject. Without questioning logic's status as a paradigm of objectivity the present essay rejects this conception, both on logical grounds and in light of the scholastic theory of intentionality. Finding fault with two key doctrines of the analytic movement, the linguistic turn and anti-psychologism, it reinterprets them to exclude only psychological acts that engender subjective interpretive variability. It then describes (...) logic's dependence on non-interpretive psychological acts that ensue as a natural result of objects being apprehended by the intellect. These acts, which Hervaeus Natalis and the scholastic tradition thematize as the imposition of second intentional relations of reason, dictate the logically coherent parameters of logical objectivity. (shrink)

This article provides an analysis of Johannes Clauberg’s intentions in writing his Logica vetus et nova (1654, 1658). Announced before his adherence to Cartesianism, his Logica was eventually developed in order to provide Cartesian philosophy with a Scholastic form, embodying a complete methodology for the academic disciplines based on Descartes’ rules and a medicina mentis against philosophical prejudices. However, this was not its only function: thanks to the rules for the interpretation of philosophical texts it encompassed, Clauberg’s Logica was (...) meant to provide a general hermeneutics designed to put an end to the quarrels raised by the dissemination of Cartesianism. Such quarrels, according to Clauberg, were caused by the misinterpretation of Descartes’ texts in Revius’ Methodi cartesianae consideratio theologica (1648) and Statera philosophiae cartesianae (1650) and in Lentulus’ Nova Renati Descartes sapientia (1651), which criticized the apparent lack of a logical theory in Descartes’ philosophy and its supposed inconsistencies. Clauberg answers their criticisms by giving a clear account of Descartes’ logical theory and by undermining the interpretative criteria they assumed, in light of a general theory of error. Polemics over Cartesian philosophy, in this way, favored the development of a comprehensive Cartesian methodology for academic disciplines and of the first hermeneutics for philosophical texts. (shrink)

You ask if metaphysics is possible after modernity, or after Barth and Wittgenstein and Derrida and the critique of foundationalism? May I invite you, by way of response, to listen in on a conversation? It is a dialogue between what I will call a postcritical philosopher ("P") and a postcritical scriptural theologian —— I'll label the latter a "textualist" ("T"). What I mean by "postcritical" would be displayed as the pattern of inquiry traced by this dialogue. I take the term (...) "postcritical" from George Lindbeck, whose theological work is described by his commentators as more properly "textualist" rather than "philosophic." I believe my usage is, however, true to Lindbeck's discourse. This means that one of the arguments of this essay is that there is a mode of philosophic inquiry proper to the postcritical orientation in theology that we may associate with such Christian theologians as Hans Frei, etc., as well as Lindbeck. A second argument, offered indirectly, is that there is a family of Jewish thinkers whose work may also be labeled "postcritical" on the model of these Christian thinkers, and that this Jewish postcritical theology would also be displayed in dialogues between philosophic and textualist tendencies. A third argument is that, if we listen in on the philosophic side of any of these dialogues, we will hear a postcritical philosophy. By philosophy, I mean primarily logic, defined as an inquiry that examines problematic rules of reasoning and recommends testable ways of correcting them. Secondarily, philosophy includes metaphysics, defined as an inquiry that, for the sake of assuring people about the reliability of a given logic, constructs pictures of the world whose existence would warrant this logic. We need not assume either that logic and metaphysics can be conducted only in the manner of modern and scholastic foundationalism, or that non-foundationalist theology must be "textualist" in a manner that excludes any philosophic generalization. I will argue that there are, indeed, non-foundationalist ways of conceiving of both logical and metaphysical inquiry and that these ways contribute to the dialogic activity of postcritical inquiry. (shrink)

This paper examines Spinoza’s view on the consistency of mental representation. First, I argue that he departs from Scholastic tradition by arguing that all mental states—whether desires, intentions, beliefs, perceptions, entertainings, etc.—must be logically consistent. Second, I argue that his endorsement of this view is motivated by key Spinozistic doctrines, most importantly the doctrine that all acts of thought represent what could follow from God’s nature. Finally, I argue that Spinoza’s view that all mental representation is consistent pushes him (...) to a linguistic account of contradiction. (shrink)

This manuscript introduces I-Three Learning Model (ITLM) intervention to build competency among scholastically backward children by facilitating easy input, processing and output of information. Child receives information through sensory pathways, learning ability is the capacity of the children to collect, process, retain and retrieve information. Children are unique in mental maturity and learning ability. The reasoning is influenced by the auditory, visual, kinaesthetic and tactile inputs. The competency of children with poor social and emotional skills, learning adjustment and academic performance (...) can be improved by enriching their abilities connected to attention, self-learning, logical thinking, reasoning, adjustment, confidence, comprehension and problem-solving. This manuscript is both descriptive and exploratory in nature. On the basis of standard Psychological Assessment, a child studying in the eight standard aged 14 years is identified to be poor in social and emotional skills, learning adjustment and academic performance. This case study is carried to derive the findings of these objectives and establishes that ITLM intervention has certainly improved the capacity of receiving, processing and retrieving information in the children and recommends for the usage of a model for building competency of scholastically backward students. (shrink)

This paper focuses on the early sixteenth-century epistemic logic developed by John Mair’s circle and discusses iterated epistemic modalities, epistemic closure and Bradwardinian semantics related to the logic of epistemic statements. These topics are addressed as part of setting up and solving epistemic sophisms based on traditional scenarios which can be traced back to fourteenth-century British epistemic logic. While the ultimate source for the debate appears to be the second chapter of William Heytesbury’s Regule solvendi sophismata, the (...) immediate source is the Italian editorial, commentarial and philosophical tradition, notably Paul of Venice and Cajetan of Thiene. (shrink)

This dissertation explores how antiquity and some of its early modern admirers understand the notion of certainty, especially as it is theorized in Quintilian's Institutio Oratoria, a first-century educational manual for the aspiring orator that defines certainty in terms of consensus. As part of a larger discussion of argumentative strategies, Quintilian turns to the “nature of all arguments,” which he defines as “reasoning which lends credence to what is doubtful by means of what is certain” (ratio per ea quae certa (...) sunt fidem dubiis adferens: quae natura est omnium argumentorum, V.10.8). These certainties, he later specifies, include not matters of scientific demonstration or objective fact, but the agreements of various communities: the laws of cities, local customs, and other forms of consensus. As the foundation of persuasive rhetoric, these consensus-based certainties situate argumentation as the practice of crafting agreements rather than demonstrating necessary conclusions. Taking as its point of departure Quintilian's novel understanding of certainty, this study looks to some of Quintilian's intellectual forebears as well as his later readers to show how his work is both a nexus of earlier intellectual developments as well as an important inspiration for later accounts of certainty, even into the early modern period. After illustrating in the first chapters of this dissertation how Quintilian's manual incorporates elements from Aristotelian notions of dialectic and rhetoric as well as from Ciceronian skeptical approaches to epistemology, I show how Quintilian's curriculum for the orator shapes the thought of Italian humanists, especially that of Lorenzo Valla (1406–1457), a reformer of scholastic logic and dialectic, and Giambattista Vico (1668–1744), an influential Neapolitan jurist. Adopting Quintilian's rendering of certainty as a matter of agreements and conventions, these later authors elaborate their own novel approaches to various fields—including law, language, and logic—through this ancient understanding of certum. Contrary to modern notions of certainty as objective or scientific fact, Quintilian's humanist readers continue to root this concept in consensus, both within the courtroom and without. (shrink)

Two stories have dominated the historiography of early modern philosophy: one in which a seventeenth century Age of Reason spawned the Enlightenment, and another in which a skeptical crisis cast a shadow over subsequent philosophy, resulting in ever narrower "limits to knowledge." I combine certain elements common to both into a third narrative, one that begins by taking seriously seventeenth-century conceptions of the topics and methods central to the rise of a "new" philosophy. In this revisionist story, differing approaches to (...) the central subject matter of early modern metaphysics--knowledge of substances through their essences and causal powers--arise as a result of disagreements about the powers of the human cognitive faculties. Methodological writings are seen as attempts to direct readers in the proper use of their cognitive faculties. The early modern rejection of the Aristotelian theory of cognition ranks equally in importance with rejection of Aristotelian doctrines about nature. Skepticism is more often than not a tool to be used in teaching the reader the proper use of the cognitive faculties, or indeed in convincing the reader of the existence or inexistence of certain cognitive faculties or powers. Instead of early modern "epistemology" or "theory of knowledge," one speaks, with seventeenth century writers, of theories of the cognitive faculties and their implications for the possibility of human knowledge. The early modern rejection of Aristotelian logic can then be seen as reflecting a negative assessment about the fit between syllogistic reasoning and logic as an art of reasoning or thinking which refines the use of the cognitive faculties. -/- Central to this new historiography is the story of the relation between the intellect and senses as cognitive faculties or powers. The development of philosophy from Descartes to Kant can be portrayed as a series of claims about the power of the intellect to know the essences of things, with resulting consequences for ontology and the foundations of natural philosophy. I illustrate this revised narrative by comparing three conceptions of the intellect in three philosophical settings, provided by several late scholastic Aristotelians, Descartes, and Locke. I have two aims: first, to exhibit the central role played by the conception of intellect or understanding in these authors, and, second, to locate their discussions of the cognitive faculties in relation to recent understandings of psychology, epistemology, logic, mind, and their relations. Early modern writings do not easily fit into the modern categories of epistemology and psychology; more generally, the early modern concern with the workings of mind does not coincide with recent conceptions of naturalism. These findings can help us to see problems with our current categories. (shrink)

This self-contained one page paper produces one valid two-premise premise-conclusion argument that is a counterexample to the entire three traditional rules of distribution. These three rules were previously thought to be generally applicable criteria for invalidity of premise-conclusion arguments. No longer can a three-term argument be dismissed as invalid simply on the ground that its middle is undistributed, for example. The following question seems never to have been raised: how does having an undistributed middle show that an argument's conclusion does (...) not follow from its premises? This result does nothing to vitiate the theories of distribution developed over the period beginning in medieval times. What it does vitiate is many if not all attempts to use distribution in tests of invalidity outside of the standard two-premise categorical arguments—where they were verified on a case-by-case basis without further theoretical grounding. In addition it shows that there was no theoretical basis for many if not all claims of fundamental status of rules of distribution. These results are further support for approaching historical texts using mathematical archeology. (shrink)

A brief overview of the main Croatian philosophers of the 19th century is given (regardless of whether they worked in or outside of Croatia). Special attention is paid to Šimun Čučić (logic, metaphysics, ethics) and Franjo pl. Marković (logic, aesthetics). The philosophy of other authors is briefly summarized on the ground of the existing research results.

In this article, I contend that the three Cuban philosophers/pedagogues of the nineteenth century – Félix Varela y Morales, José de la Luz y Caballero, and Enrique José Varona were responsible for overcoming the teaching of late scholastic at the Royal and Pontifical University of St. Jerome of Havana. Against late scholastic philosophers and pedagogues who preferred syllogistic logic and the authority of tradition over induction, they argued in favor of the latter over the first. Since they (...) defended liberal and republican ideas, they also argued against those who appeal to the authority of tradition rather than to our ordinary experiences. Of course, their liberal spirit challenged not only the tyrannical regime imposed by Spain at the time but any other regime whose authority depends on force rather than on the will of the people. (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are (...) devoted. At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

Despite their influence on later philosophers such as Hume, Malebranche's central arguments for occasionalism remain deeply puzzling. Both the famous ‘no necessary connection’ argument and what I call the epistemic argument include assumptions – e.g., that a true cause is logically necessarily connected to its effect – that seem unmotivated, even in their context. I argue that a proper understanding of late scholastic views lets us see why Malebranche would make this assumption. Both arguments turn on the claim that (...) a volition is the only candidate for a cause, because only a volition can include an effect as its intentional content. (shrink)

The goal of this paper is to better understand Kant’s conception of philosophy as a “world concept”, which is at the heart of the Architectonic of Pure Reason. This is pursued in two major parts. The first evaluates the textual foundation for reading Kant’s world concept of philosophy as cosmopolitanism and concludes that he most probably never himself equated philosophy as a world concept with any form of cosmopolitanism. The second major part of the paper clarifies this concept of philosophy (...) through the specific role it plays in the argument of the Architectonic. Kant’s unique concept of science is examined and compared with several specific applications of it found elsewhere in Kant’s writings. From this it is concluded that Kant’s intention in the Architectonic was to derive his world concept of philosophy from its logical counterpart, namely the scholastic concept of philosophy, and that its function there is to provide the idea from which the entire structure of Kantian critical metaphysics can be derived. Philosophy as a world concept, it is further argued, is the complete system of critical or Kantian metaphysics in application and the philosopher in this sense is the ideal critical metaphysician who fully realizes its laws through her own understanding and will. (shrink)

This paper investigates Kant’s account of “real essence” and of a thing’s “nature”. Notwithstanding their wide negligence in the literature, these concepts belong to the central ones of Kant’s metaphysics. I argue that, on the one hand, Kant is in continuity with the Aristotelian-Scholastic tradition of essence. But, on the other hand, he also follows Locke in distinguishing between “logical” and “real” essence. Contrary to recent attempts of aligning real essence with contemporary approaches to essence, I will defend the (...) thesis that Kant equates real essence and (formal) nature, and that real essence has a causal, but no constitutive role. I shall also respond to potential objections and discuss some developments of Kant’s views. (shrink)

The subject of this essay is propria and their relation to essence. Propria, roughly characterized, are those real properties of a thing which are natural but nonessential to it, and which are said to “flow from” the thing’s essence, where this “flows from” relation is understood to designate a kind of explanatory relation. For example, it is said that Socrates’s risibility flows from his essential humanity; and it is said that salt’s solubility in water flows from the essential natures of (...) both salt and water. The question I raise and attempt to answer in this essay is: In what sense do propria “flow from” essences? What kind of explanatory relation is this exactly? Some suggest that it is a relation of logical consequence ; others, of grounding ; and still others, of formal causation. In this essay, I reintroduce and defend a view suggested by the late scholastic Spanish philosopher and theologian Francisco Suárez, who in 1597 wrote that effluence is best understood as a very special kind of efficient causation, which we can call the relation of emanation. The thesis of this essay, then, is that propria emanate from essences. Along the way, this paper offers a new taxonomy of types of propria; it explains the significance of propria for the metaphysics and epistemology of essences; it discusses at length varieties of efficient causation ; and then it offers an extensive abductive argument in favor of Suárez’s account, whereby the former accounts of effluence are critiqued, each in turn, and Suárez’s view is motivated and ultimately shown to be superior to its competitors. (shrink)

How were reliable predictions made before Pascal and Fermat's discovery of the mathematics of probability in 1654? What methods in law, science, commerce, philosophy, and logic helped us to get at the truth in cases where certainty was not attainable? The book examines how judges, witch inquisitors, and juries evaluated evidence; how scientists weighed reasons for and against scientific theories; and how merchants counted shipwrecks to determine insurance rates. Also included are the problem of induction before Hume, design arguments (...) for the existence of God, and theories on how to evaluate scientific and historical hypotheses. It is explained how Pascal and Fermat's work on chance arose out of legal thought on aleatory contracts. The book interprets pre-Pascalian unquantified probability in a generally objective Bayesian or logical probabilist sense. (shrink)

We are going to present a panorama of Byzantine Philosophy. As starting point should be considered the Patristic Thought, which preceded the Byzantine Philosophy and was established in the first centuries A.D. into the Greek-Roman world. It was based on the Old and New Testament, the apostolic teachings, as well as on Judaism and Greek Philosophy. Also, the Ancient Oriental Religions – especially those of the Greek-Roman period, i.e. the Gnosticism- exerted an influence on it. The Patristic Thought and the (...) Ancient Greek Philosophy were the two main pedestals of Byzantine Philosophy. But, we cannot separate completely Patristic thought from the Byzantine Philosophy, first because the Byzantine Philosophy used all the corpus of the preceded texts of the Church Fathers and second because the Patristic Thought was continued to the end of Byzantium in interaction with Byzantine Philosophy. When we use he term Byzantine Philosophy we refer to the ideological currents that flourished from the 9th century till the 15th in the geographical area of the Greek East. Its main task was the quest for truth from the metaphysical point of view. In this era we have not only commentaries and scholastic works, but also an assimilation of the previous philosophical and scientific developments in purpose of an interior evolution. The opposition to, and the use of, the Western scholasticism were also another two special characteristics of Byzantine Thought. The use of the logical works of Aristotle and the metaphysics of Plato made up its main theoretical body, always in relation to the Christian dogmas. The logical, metaphysical, cosmological, ethical, aesthetical and anthropological subjects were closely connected with the fixed Christian view of the World, God and Man. But despite the influence of the Christian religion and the Aristotelic, Platonic, Stoic, Neoplatonic etc. teachings, today we can arrive at the conclusion that from the ninth through the fifteen century a relative autonomy of Philosophy in Byzantium was emerged. Also, the Philosophical thought in Byzantium gave some new solutions to the old problems and dared sometimes to proceed in new rational, mystical or even empirical elaborations of original philosophical questions. (shrink)

This dissertation concerns the methodology Kant employs in the first two sections of the Groundwork of the Metaphysics of Morals (Groundwork I-II) with particular attention to how the execution of the method of analysis in these sections contributes to the establishment of moral metaphysics as a science. My thesis is that Kant had a detailed strategy for the Groundwork, that this strategy and Kant’s reasons for adopting it can be ascertained from the Critique of Pure Reason (first Critique) and his (...) lectures on logic, and that understanding this strategy gains us interpretive insight into Kant’s moral metaphysics. At the most general level of methodology, Kant says there are four steps for the establishment of any science: 1) make distinct the idea of the natural unity of its material 2) determine the special content of the science 3) articulate the systematic unity of the science 4) critique the science to determine its boundaries The first two of these steps are accomplished by the genetically scholastic method of analysis, paradigmatically the method whereby confused and obscure ideas are made clear and distinct, thereby logically perfecting them and transforming them into possible grounds of cognitive insight that are potentially complete and adequate to philosophical purposes. The analysis of Groundwork I is a paradigmatic analysis that makes distinct what is contained in common understanding, i.e. its Inhalt or intension, making distinct the higher partial concepts that together define the concept of morality. The analysis of Groundwork II is an employment more specifically of the method of logical division, which makes distinct what is contained under the concept, i.e. its Umfang, by which the extension or object of morality is determined. Part I introduces Kant’s conception of moral metaphysical science and why he took it to be in need of establishment, explains the general method for establishing science and the scholastic method of analysis by which its first two steps are to be accomplished, then provides an interpretation of Groundwork I as an execution of this method. Part II details Kant’s determination of the special content of moral science in Groundwork II in relation to the central problem for moral metaphysics – how synthetic a priori practical cognition is possible. (shrink)

This paper was read at the University of Virginia at the XXXVIII ALDEEU conference of June 2018. -/- The phrase ‘Life, Liberty, and the pursuit of Happiness’ was Thomas Jefferson’s rewriting of Locke’s dictum, ‘Life, Liberty, and the pursuit of Property.’ Locke’s political philosophy speaks of a coming liberal age, engendering the Declaration of Independence. Anglo-Saxon historiography seemed to assure that Locke’s ideas were the autochthonous result of a historical process centered on the Reformation, Cromwellian parliamentary supremacy, and English commercial (...) practices. Some continental philosophers look instead to the theologians of the School of Salamanca for the European origins of liberty. In this paper I will examine the recent scholarship about the impressive contribution of this School which led Jefferson to ground the Declaration of Independence in scholastic thought. These scholastics provided the philosophical, legal, and economic framework for modern Europe, as it transitioned from its medieval concepts of social organization to the more liberal and individualistic one now. They were influential for a simple reason. The scholastic program used reason to develop its concepts of free will, popular sovereignty, and property rights – which well correspond to Locke’s phrase – and placed them in a congruent philosophical system derived from first principles using natural law. It was this coherent, logical framework that appealed most to the later thinkers Jefferson relied on when searching for a sound philosophical basis for the Declaration. The Hispanic neo-scholastics applied natural law to prior Conciliarist parliamentary ideas to establish a new relationship between the individual, the community, and the state. This framework emphasized a greater separation of church and state, popular sovereignty, deposition of kings, and checks on monarchical power. Others, including Protestants and Enlightenment thinkers, were later drawn to this system due to its sound basing in an essentialist, classical, natural law drawn from first principles. It was this foundational coherence which attracted others, including Jefferson, who tended to mistrust the basis of the resistance theorists that also relied on historicism or scripture, such as George Buchanan, the authors of Vindiciae Contra Tyrannos, or Locke himself. -/- . (shrink)

The German philosopher Johannes Clauberg (1622–1665) was the first academic teacher who attempted to put the philosophy of René Descartes (1596–1650) at the basis of all disciplines of the traditional curriculum of studies, that is, to establish a Cartesian Scholasticism. To this aim, he developed a first philosophy, i.e. a metaphysics including rational-theological arguments, which was based on Descartes’s Meditationes de prima philosophia (1641). By it, Clauberg attempted to provide philosophy with a foundation, namely with a demonstration of the reliability (...) of clear and distinct knowledge. Moreover, he elaborated a comprehensive logical theory showing how Descartes’s rules of the method could be completed by a Scholastic-inspired theory of definition, division and syllogism. Nevertheless, Clauberg maintained in the corpus of philosophical disciplines a metaphysics dealing with the meanings of ‘being’. Accordingly, he developed a twofold metaphysics: on the one hand, a discipline concerned with the principles of thought and rational theology, being this a philosophia prima in the order of sciences. On the other hand, a metaphysics dealing with the most abstract notions of being, viz. an ontosophia, to be studied at the end of the philosophical curriculum. Building on the account of Clauberg’s work provided by Massimiliano Savini, in this paper I explore the relations between Clauberg’s philosophia prima and ontosophia: after clarifying the overall plan of his philosophy, and presenting some examples of metaphysical arguments belonging to the philosophia prima, I argue that Clauberg’s ontosophia, despite being conceived as the most abstract of the philosophical sciences, plays a foundational role with regards to metaphysics as philosophia prima by unveiling its conceptual assumptions. (shrink)

The traditional picture of the development of analytical philosophy, represented especially by such thinkers as G. Frege, G. E. Moore, B. Russell or R. Carnap, whose attitude was generally anti-metaphysical, can, on closer study, be shown to be incomplete. This article treats of the Cracow circle – a group of Polish philosophers among whom are, above all, to be counted J. Salamucha, J. M. Bocheński, J. F. Drewnowski, and B. Sobociński, who were, at the beginning of the twentieth century, fascinated (...) by the development of modern formal logic and its application to philosophical thinking. They also attempted to apply it to Catholic philosophy. The result of their endeavours were many remarkable works introducing not only a defence of the use of modern philosophical approaches in Christian thought, but also the reconstruction, by means of formal logic, of significant proofs given by Scholastic authors. (shrink)

TWENTIETH-CENTURY ETHICS. AFTER NIETZSCHE -/- Preface This book tells the story of twentieth-century ethics or, in more detail, it reconstructs the history of a discussion on the foundations of ethics which had a start with Nietzsche and Sidgwick, the leading proponents of late-nineteenth-century moral scepticism. During the first half of the century, the prevailing trends tended to exclude the possibility of normative ethics. On the Continent, the trend was to transform ethics into a philosophy of existence whose self-appointed task was (...) that of describing the human condition as consisting of choices, as unavoidable as arbitrary, without any attempt at providing criteria for making such choices. In the Anglo-Saxon countries, the heir of ethics was a philosophy of morality, that is, an analysis of the language of morality that intended to clarify valuations without trying to justify them. 1958 was the year of the normative turn that led to the Rehabilitation of practical philosophy, a turn followed by decades of controversies between distinct kinds of normative ethics: utilitarian, Kantian, virtue ethics. While the controversy was raging, a quiet revolution took place, that of applied ethics which surprisingly dissolved the controversy's very subject matter by providing methods for making convergence possible on intermediate principles even when no agreement was available about first principles. The normative turn and the revolution of applied ethics have led us, at the turn of the century, to a goal that was quite far from the starting point. Instead of scepticism and relativism that was the fashion at the beginning of the century, at the beginning of the third millennium impartial and universal moral arguments seem to hold the spot being supported, if not by a final rational foundation, at least by reasonableness, the most precious legacy of the Enlightenment. -/- ● TABLE OF CONTENTS -/- ● I Anglo-Saxon philosophy: naturalism 1. Dewey beyond evolutionism and utilitarianism 2. Dewey and anti-essentialist moral epistemology 3. Dewey and naturalist moral ontology 4. Dewey and normative ethics of conduct and function 5. Perry and semantic naturalism -/- ● II Anglo-Saxon philosophy: ideal utilitarianism and neo-intuitionism 1. Moore's critique of utilitarian empiricism 2. Moore on the naturalistic fallacy 3. Moore on the nature of intrinsic value 4. Moore on ideal utilitarianism 5. Prichard on the priority of the right over the good 6. Ross's coherentist moral epistemology 7. Ross's moral ontology: realism, pluralism, and non-naturalism 8. Ross's normative ethics of prima facie duties -/- The chapter reconstructs the background of ideas, concerns and intentions out of which Moore's early essays, the preliminary version, and then the final version of Principia Ethica originated. It stresses the role of religious concerns, as well as that of the Idealist legacy. It argues that PE is more a patchwork of somewhat diverging contributions than a unitary work, not to say the paradigm of a new school in Ethics. -/- ●III Anglo-Saxon philosophy: non-cognitivism 1. The Scandinavian School, the Vienna circle and proto-emotivism 2. Wittgenstein and the ineffability of ethics 3. Russell's and Ayer's radical emotivism 4. Stevenson and moderate emotivism 5. Stevenson and the pragmatics of moral language 6. Stevenson and the methods for solving ethical disagreement 7. Hare and prescriptivism The chapter reconstructs first the discussion after Moore. The naturalistic-fallacy argument was widely accepted but twisted to prove instead that the intuitive character of the definition of 'good', its non-cognitive meaning, in a first phase identified with 'emotive' meaning. Alfred Julius Ayer is indicated as a typical proponent of such non-cognitivist meta-ethics. More detailed discussion is dedicated to Bertrand Russell's ethics, a more nuanced and sophisticated doctrine, arguing that non-cognitivism does not condemn morality to arbitrariness and that the project of rational normative ethics is still possible, heading finally to the justification of a kind of non-hedonist utilitarianism. Stevenson's theory, another moderate version of emotivism is discussed at some length, showing how the author comes close to the discovery of the role of a pragmatic dimension of language as a basis for ethical argument. A section reconstructs the discussion from the Forties about Hume's law, mentioning Karl Popper's argument and Richard Hare's early non-cognitivist but non-emotivist doctrine named prescriptivism. -/- ●IV Anglo-Saxon philosophy: critics of non-cognitivism 1. Neo-naturalism and its objections to the naturalistic fallacy argument 2. Objections to Hume's law 3. Clarence Lewis and the pragmatic contradiction 4. Toulmin and the good reasons approach 5. Baier and moral reasons 5. Baier, social moralities and the absolute morality 6. Baier and the moral point of view 7. Baier and the contents of absolute ethics -/- ● V Continental philosophy: the philosophy of values 1. Max Weber and the polytheism of values 2. Phenomenology against psychologism and rationalism 3. Reinach and the theory of social acts 4. Scheler and the material ethics of values 5. Hartmann and the ontology of values 6. Plessner, Gehlen and the Philosophische Anthropologie -/- The chapter illustrates first the idea of phenomenology and the Husserl's project of a phenomenological ethic as illustrated in his 1908-1914 lectures. The key idea is dismissing psychology and trying to ground a new science of the apriori of action, within which a more restricted field of inquiry will be the science of right actions. Then the chapter illustrates the criticism of modern moral philosophy conducted in the 1920 lectures, where the main target is naturalism, understood in the Kantian meaning of primacy of common sense. The third point illustrate is Adolph Reinach's theory of social acts as a key the grounding of norms, a view that sketches the ideas 'discovered' later by Clarence I. Lewis, John Searle, Karl-Otto Apel and Jürgen Habermas. A final section discusses Nicolai Hartman, who always refused to define himself a phenomenologist and yet developed a more articulated and detailed theory of 'values' – with surprising affinities with George E. Moore - than philosophers such as Max Scheler, who claimed to be Husserl's legitimate heirs. -/- ● VI Continental philosophy: the critics of the philosophy of values 1. Freud, the Superego and Civilization 2. Heidegger on original ethos against ethics 3. Sartre and de Beauvoir on authenticity and ambiguity 4. Adorno and Horkheimer on emancipation and immoralism -/- ●VII Post-liberal theologians and religious thinkers 1. Barth on the autonomy of faith from ethics 2. Developments of Reformed moral theology after Barth 3. Bonhoeffer on the concrete divine command and ethics of penultimate realities 4. Developments of Reformed and Catholic moral theology after world war II 5. Baeck and the transformation of liberal Judaism 6. Rosenzweig against liberal Judaism 7. Buber and religion as the vital lymph of morality 8. Heschel and Judaism as a science of actions -/- The chapter examines the main protagonists of Christian theology and Jewish religious thinking in the twentieth century. It stresses how the main dilemmas of contemporary philosophical ethics lie at the root of the various path of inquiry taken by these thinkers. -/- ● VIII Normative ethics: neo-Utilitarianism 1. The discussion on act and rule utilitarianism 2. Hare on two-tiered preference utilitarianism 3. Harsanyi, Gauthier and rational choice ethics 4. Parfit, utilitarianism and the idea of a person 5. Brandt and indirect conscience utilitarianism -/- The chapter addresses the issue of the complex process of self-transformation Utilitarianism underwent after Sidgwick's and Moore's fatal criticism and the unexpected Phoenix-like process of rebirth of a doctrine refuted. Two examples give the reader a glimpse at this uproarious process. The first is Roy Harrod Wittgensteinian transformation of utilitarianism in pure normative ethics depurated from hedonism as well as from whatsoever theory of the good. This transformation results in preference utilitarianism combined with a 'Kantian' version of rule utilitarianism. The second is Richard Hare's two-level preference utilitarianism, where act utilitarianism plays the function of the eventual rational justification of moral judgments and rule-utilitarianism that of an action-guiding practical device. -/- ● IX Normative ethics: neo-Aristotelianism and virtue ethics 1. Hannah Arendt, action and judgement 2. Hans-Georg Gadamer and phronesis 3. Alasdair MacIntyre on practices, virtues, and traditions 5. Stuart Hampshire on deliberation 6. Bernard Williams and moral complexity 7. Feminist ethics -/- Sect 1 reconstructs the post-war rediscovery of ethics by many German thinkers and its culmination in the Sixties in the movement named 'Rehabilitation of practical philosophy' is described. Heidegger's most brilliant disciples were the promoters of this Rehabilitation. Hans-Georg Gadamer is a paradigmatic example. His reading of Aristotle's lesson I reconstructed, starting with Heidegger's lesson but then subtly subverting its outcome thanks to the recovery of the significant role of the notion of phronesis. Sect 3 discusses the three theses defended by Anscombe in 'Modern Moral Philosophy'. It argues that: a) her answer to the question "why should I be moral?" requires a solution of the problem of theodicy, and ignores any attempts to save the moral point of view without recourse to divine retribution; b) her notion of divine law is an odd one more neo-Augustinian than Biblical or Scholastic; c) her image of Kantian ethics and intuitionism is the impoverished image manufactured by consequentialist opponents for polemical purposes and that she seems strangely accept it; d) the difficulty of identifying the "relevant descriptions" of acts is not an argument in favour of an ethics of virtue and against consequentialism or Kantian ethics, and indeed the role of judgment in the latter is a response to the difficulties raised by the case of judgment concerning future action. The chapter gives a short look at further developments in the neo-naturalist current trough a reconstruction of Philippa Foot's and Peter Geach's critiques to the naturalist-fallacy argument and Alasdair MacIntyre's grand reconstruction of the origins and allegedly inevitable failure of the Enlightenment project of an autonomous ethic. -/- ● X Normative ethics: Kantian and rights-based ethics 1. Dialogical constructivism 2. Apel, Habermas and discourse ethics 3. Gewirth and rights-based ethics 4. Nagel on agent-relative reasons 5. Donagan and persons as ends in themselves Parallel to the neo-Aristotelian trend, there was in the Rehabilitation of practical philosophy a Kantian current. This current started with the discovery of the pragmatic dimension of language carried out by Charles Peirce and the Oxford linguistic philosophy. On this basis, Karl-Otto Apel singled out as the decisive proponent of the linguistic and Kantian turn in German-speaking ethics, worked out the performative-contradiction argument while claiming that this was able to provide a new rational and universal basis for normative ethics. The chapter offers an examination of his argument in some detail, followed by a more cursory reconstruction of Jürgen Habermas's elaboration on Apel's theory. -/- ● XI The applied ethics renaissance 1. Elisabeth Anscombe on the atom bomb 2. From medical ethics to bioethics 3. Rawls and public ethics 3. Nozick, Dworkin and further developments of public ethics 5. Sen and the revival of economic ethics -/- The chapter presents the revolution of applied ethics while stressing its methodological novelty, exemplified primarily by Beauchamp and Childress principles approach and then by Jonsen and Toulmin's new casuistry. The chapter argues that Rawls's distinction between a "political" and a "metaphysical" approach to the theory of justice, one central part of ethical theory, is a formulation of the same basic idea at the root of both the principles approach and the new casuistry, both discussed in the following chapter. The idea is that it is possible to reach an agreement concerning positive moral judgments even though the discussion is still open – and in Rawls' view never will be close – on the essential criteria for judgment. -/- ● XII Fin-de-siècle metaethics 1. Deontic logics 2. Anti-realism 3. External realism 4. Internal realism 5. Kantian constructivism -/- The chapter illustrates the fresh start of meta-ethical discussion in the Eighties and Nineties and the resulting new alignments: metaphysical naturalism, internal realism, anti-realism, and constructivism. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 42.2 (2004) 219-220 [Access article in PDF] Jack Zupko. John Buridan: Portrait of a Fourteenth-Century Arts Master. Notre Dame: University of Notre Dame Press, 2003. Pp. xix + 446. Cloth, $70.00. Paper, $40.00. What does the name "John Buridan" call to mind? For many, including medievalists, not much at all—at best, perhaps, a set of apparently unrelated ideas: nominalism; an impetus theory of (...) projectile motion; and a peculiar account of the will (although "Buridan's ass," the indecisive donkey caught between two equally appetizing bales of hay, is not found in Buridan's writing). In correcting this ignorance—an injustice to arguably the most famous and influential philosopher of the early-to-mid-fourteenth century—the temptation might have been to articulate Buridan's "positions" on "the big questions," allowing readers to fit Buridan into received categories. Thankfully, the present work, the first book-length study of Buridan in any language, resists this temptation. The John Buridan that emerges from Jack Zupko's skillful "exercise in philosophical portraiture" doesn't serve to simply fill gaps in our awareness of the historical record, but to enlighten and challenge our understanding of the practice of philosophy and the study of its history.Zupko emphasizes throughout that Buridan was a teacher, a master of arts in Paris. Buridan's pedagogical concerns help make sense of his central work in logic. As the basis for his arts lectures, Buridan chose Peter of Spain's Summulae Logicales, but in commenting on Peter, Buridan moves beyond creative exegisis to comprehensive renovation. Buridan (c. 1300-c. 1361) naturally wanted to accommodate terminist or via moderna supposition theory; but more importantly, he wanted a logic text that would set out a general plan of philosophical inquiry, "a compendium of methods, a 'how-to' book for the philosopher" (135). Buridan thus designed his own Summulae de Dialectica as a new authoritative logic text, and Zupko persuasively argues that its "nominalism" should be understood as less a set of doctrines in theoretical logic, than a program of logical practice, an education in logic as the ars artium, the universal intellectual tool.Zupko's portrait of "Buridan's vision of the philosophical enterprise" is thus appropriately divided into two parts. The first summarizes Buridan's method as described in the individual treatises of his Summulae. The second displays the method in practice, rehearsing and evaluating some of Buridan's arguments on various subjects. Many scholars will gravitate first to the latter part, where Zupko offers important interpretations and clarifications of Buridan's views. In these chapters, Zupko helps us to appreciate, among other things: how the problem of universals served to help Buridan define the scope of philosophy (ch. 10); the philosophical modesty of Buridan's account of the intellectual soul's presence in the body (ch. 11); the relationship between Buridan's epistemology and the skepticism of his Parisian contemporary Nicholas of Autrecourt (ch. 12); the sense in which Buridan is an "empiricist," viz an epistemic naturalist and reliabilist (ch. 13); how Buridan regarded moral psychology as applied physics, treating virtue as a kind of impetus (ch. 14); how Buridan's account of freedom can be regarded as a "perfection" of Thomistic intellectualism (ch. 15).Throughout these discussions, Zupko always keeps in sight his larger purpose of illustrating Buridan's conception of philosophical inquiry. Zupko makes much of the fact that [End Page 219] Buridan never wrote as a theologian, remaining his entire career in the arts faculty, where he wanted logic to organize secular inquiry. As Zupko notes, in this way Buridan's scholastic project seems to prefigure the "modern." But Buridan seems modern in another way as well. As Zupko points out in his "Introduction," though a cleric, Buridan never joined a religious order, so that his ideas developed independently of the Franciscan and Dominican traditions. He was, then, a teacher without a tradition—at least without deliberate allegiance to tradition, although he was in many ways the product of traditional scholastic intellectual discipline.Perhaps this... (shrink)

Socrates, Plato and Aristotle – “Christians before Christ”? -/- The compatibility of ideas and metaphysical concepts, from Antic Philosophy to Christian Apologetic and Patristic Theology from the fist ages gather together many important and commune elements. In the study below, we have try to demonstrate that the most important philosopher of the antic world where “Christians before Christ”. Their ideas about soul, virtue, metaphysic existence and the entity of a single God comes to meet the Holy Gospel of Christ. Starting (...) with Socrates we can discover a very important preoccupation for an existential philosophy. He is the first philosopher who tries to discover a new way of understanding the unseen reality. His disciple, Plato, goes forward and speaks about an ideal world. In his well-known Dialogues, he develops the theme of virtue, and also treats the problematic of Logos. Aristotle, the disciple of Plato, comes with a logical line in the philosophical interpretation. His is the father of rational philosophy and also the greatest promotor for the scholastic theology. Also, he speaks about ousia and physis, two of the most important concepts used in the dogmatic theology of the Church. Apologetically speaking, the importance of this tree fathers of the pre-Christian thinking is incontestable. Later, Saint Justin the Martyr and the others apologists used their concepts to develop the theology of the Incarnated Logos. (shrink)

I start with a reconstruction of the discussion on the nature of scientific models and on their relationship to metaphors that has taken place in the Anglo-Saxon philosophy of Science starting from the Fifties; the discovery started with Stephen Pepper and Kenneth Burke, reaching Thomas Kuhn, Marx Wartofsky, and George Lakoff via Max Black's and Mary Hesse's interaction view. I argue that Hesse's view has a number of weak points: uncritically accepting Black's idea of "interaction", for keeping too much of (...) a logical empiricist view of observation language, and for keeping too much of a Scholastic distinction between formal and material analogy. I argue that a few insights from Kuhn and Wartofsky seem to go in the same direction as Granger's view of metaphor as opposed to metonymy, thus severing the link between metaphor and the "qualitative". I argue that the Cartesian legacy and its implicit ideal of a "mirroring" relationship between the world and the mind is the main obstacle to be eventually overcome if we are to work out a satisfactory account of the language of science and that suggestions from pragmatism as well as from French epistemology may be used in order to work out a post-Cartesian view of science. -/- . (shrink)

Johann Eck (1486–1543) has been introduced to modern scholarship as a prominent figure of the pre-Tridentine Counter-Reformation. As part of the curricular transformations of the University of Ingolstadt, he wrote commentaries on logical and scientific works by Aristotle and Peter of Spain. Utilising a variety of sources, the two volumes dedicated to physics and natural philosophy published in 1518 and 1519 were self-contained textbooks including annotated translations of the texts and quaestio-commentaries. These developed the doctrines of the Oxford Calculators mediated (...) through Continental sources, reproducing their conceptual and mathematical apparatus, including the famous middle degree theorem and Bradwardine’s law. (shrink)

The confessional work of the Church has been from the very beginning a foundation and basis for the Divine Truth. Starting from this real necessity, the Apologetic Theology claims some important research directions, grounded on the Holy Scripture and the Holy Tradition. Given this historical and doctrinal context, we can highlight the next support coordinates of the Christian Apologetics background: “the truth of God’s existence, the reality of the supernatural world and man’s immortality. All of this are, as we can (...) say, the Christian specific starting from the first ages. The truths about the divine origin of Christianism are to be found here, on the dignity of this revealed doctrine, on the divine-human character of his Founder, on the importance and necessity of Christian Church for the religious and morale life of human kind”. . Apologetics and (or) Fundamental Theology The reason why the Church must justify her teaching in the context of her missionary activity does not rise up from inner necessity. It does more from external misconceptions. In this context we can define the main concern of apologetics as a theological discipline. On the other hand, one can discover almost the same meaning in Fundamental Theology. However, as a difference between them, Fundamental Theology is interested in the direction and bears informative message, since “it aims at basic religious principles systematic presentation, both external and internal, as well as their justification before the scientific-theological conscience of believers. Thereafter, Christianity can be considered the only true religion”. On the other hand, one can claim that the name of “Apologetics” rises up from the necessity that the Christian arguments must be scientifically enforced and illustrated externally. Therefore, the mission of Christian Apologetics is to reject the anti-Christian objections through the power of the theological arguments in dialogue with philosophy, culture or science. In fact, even the object of Apologetics is "the scientific ground of Christian truths" with the purpose to "offer the Truth, reject error, and eradicate lies." In order to achieve its goal, Christian Apologetics offers us a positive method, which consists in "a logical and direct development of a certain thesis, in clarifying a certain truth, by revealing its content and the outcomes deriving from it". Therefore, we have a very dynamic field through which this discipline comes and supports the active life of the Church. Moreover, the method of the Apologetics as a theological subject is based on a conceptual struggle, very active starting with the very first centuries of the Early Church. Due to its energetic character, Fundamental Theology won its most important place among Christian doctrines. “Through struggle, Fundamental Theology imposed itself as a theological subject and became individualised. Through struggle and only through struggle, Fundamental Theology must exist and strengthen the positions of Christianity”. In its theologically mission, Christian Apologetics identifies and also prevents the alteration of the doctrinal truth. In this concern, it has the responsibility to enforce of believers’ moral conscience in their spiritual process of development. As a subject, one can say that the mission of Apologetics is “rational, objective and represents a very important basis for the Christian truths of faith”. Therefore, one can notice that the most important aspect of our subject is to enforce the Christian faith and experience through proper knowledge of the fundamental principles of the doctrine. This is the reason why we also mention Apologetics together with Fundamental Theology. However, we must highlight a few important details regarding the sensible difference between both of the denominations. Therefore, historically speaking, “they both arise from those who personally share Christian faith and act within the believing community and in its service. They both aim to respond to objections raised by critics and to offer a trustworthy account of main beliefs about matters as the existence of a personal God, the divine self-revelation in Jesus Christ, and the nature of faith”. On the other hand, we can identify almost three important differences between Apologetics and Fundamental Theology. “First, a Christian apologist can simply address a question: does the existence of horrendous evil in our world rule out the existence of almighty and all-loving God? or has science caused faith in God to be demoted in the past? … Second, good Apologetics has typically a sharply defined audience: Apologetics can seek, for example, to alert non-believers to the weakness of the case currently being against God and religion. But Fundamental Theology addresses to a wider range of readers … Third, polemics (in the good sense of this word and not as mindless ranting) belong to the exercise of Apologetics … The tone of fundamental theologians, even when rebutting objections to Christian faith, is or should be more expository and less polemically inclined to illustrate defects in opposing positions”. Moreover, we must mention that Apologetics can be considered as a particular subject. Although, it is similar in terms of content with Dogmatic and Philosophy through its method, our subject has its own research direction. Therefore, if Dogmatic is defined by an expositive and imperative character, Apologetics is demonstrative and constraining. In other words, dogmatic rationality, which has a subsidiary role, in Apologetics becomes primordial. In this case, “the faith truths become truths also for the rationality and moreover, the eternal truths of the Divine Reason become constraining for the human reason, too. Truths of natural religion, which are in fact the object of the Philosophy of Religion, are conditioned in Apologetics by the Absolute Truth completed in the Christian faith”. In all its theological and external interaction perspectives, Apologetics holds the main role to “expose, defend and justify with rational meanings the general truths of religion”. It is necessary to clear up one aspect: as subject, Apologetics is different from Apology. On the one hand, one can speak about the general research background and, on the other hand, one can describe a singular part of theological approach. Therefore, these two “theological sisters” are different depending on the type of approach. However, Apology is older than Apologetics. Among the first Christian apologists, we mention: Saint Justin the Martyr and Philosopher, Tatian, Athenagoras or Tertullien. In its current meaning, Apologetics is of a western theological origin, having its beginning in Middle Ages. Even so, its blooming age is the 18th century, when the Western Catholic Church replied to the materialist and atheistic philosophy. In the Eastern Church this type of confession had a more profound theological overview, in a theonomic perspective. “In the light of the Holy Scripture, the eastern theological thinking always shows priority to the divine Revelation in spite of the philosophical human systems and places the Creator - Logos at the basis of all creation, in the light of biblical thoughts”. -/- II. “Rational-spiritual Apologetics” Reverend Professor Dumitru Popescu, one of the most important Romanian theologians, develops the concept of “Rational-spiritual Apologetics”. In his theological approach, he illustrates the fact that one of the most essential part of the Church’s confessional work are the relations between rational arguments and spiritual purpose of the Christian life. In this case, we can identify two possibilities of argumentation: rational and spiritual, each of them in connection with the knowledge of God. This is in fact, the Orthodox specificity of the Apologetics, as theological subject, in contrast with the principles of western scholastic. Therefore, the most important argument, which Dumitru Popescu brings up in the support of his thesis, belongs to Saint Maximus the Confessor’s theology: “The Scripture provide a double knowledge of the divine things. One is relative and consists in its rationality and meanings, without the direct feeling of God. Through it we are guided in this life. The other one is in a true sense true and consists in leaving experience of divine grace, outside rationality and meanings, having the complete experience of God. Through it we will receive in the future life the deification”. On the other hand, we can understand that the purpose of human rationality is not to replace the spiritual perspective, since human mind does not own the divine mystery. In this case, rationality can be useful in discovering and demonstrating the existence of God from natural realities to a point where we must assume a spiritual understanding. Consequently, in the context of human deification, the orthodox theology cannot conceive the gnoseological process in rational terms. Therefore, Rev. Dumitru Popescu carries out a dual argumentation: 1. since God is not a solitary power, but descends and interacts with man providentially (through His divine grace and energies); 2. because the created world doesn’t have an independent rationality through which man can receive the possibility to reach God. Therefore, Father Professor Dumitru Popescu concludes that “the deification process is here, on the earth, a foretaste of immortality, which springs from the personal meeting of man with God”. One of the most recent Romanian Apologetics academically approach is the book of professor Adrian Lemeni: “Truth and Demonstration”. Except his very complex analysis on the interaction between theology and science, Professor Lemeni goes further and perfects Dumitru Popescu’s theological view, on the “Rational-spiritual” character of Orthodox Apologetics. Therefore, he offers a very important example, starting from Saint Gregory Palamas’ theological view. In his work “the authority of Patristic gnoseology” is illustrated, which is offered by the “Eternal Truth, God’s Word, incarnated in the Person of Jesus Christ”. “The authority of patristic gnoseology” – notes down Adrian Lemeni – “is expressed along the process for searching the truth of knowledge illustrated by deeds and life. In his debate with Varlaam from Calabria, Saint Gregory Palamas insists on the power of persuasion which arises from the Church’s Tradition, biblical and patristic fundamentally. In an ultra-confident argument, based on the autonomic logical power, we believe that one word has power over another. But Saint Gregory Palamas shows that the truth is based and validated through spiritual and ecclesiastical experience. Truth is validated by the words and deeds of the Holy Fathers, in direct connection with apostolic Tradition. Any argument can be fought against by another argument. Nevertheless, the apologetic concession based on the deeds of the saints is unbookable. This is the thesis which Saint Gregory Palamas develops in complete harmony with the patristic gnoseological Tradition”. Therefore, we can consider that the position of the subject of Apologetics (of Fundamental Theology) is one of interactions. It has connections with all domains external to Theology. In this case, we can consider it sets up a dialogue or debate with philosophy, culture or science. Starting from the historical argument, this interaction between theology and other sciences has existed from the very first Christian century. Therefore, we have an apologetic literary genre starting with the first patristic writings. Including the Early Church, we can identify three important stages in terms of historical apologetics development: 1. The Christian apologists struggle age with Judaism and paganism; 2. From the issue of Islam to the Middle Eve; 3. From the period of the Renaissance of Western sciences to the present day. (shrink)

Today, philosophers interested in self-knowledge usually look to the scholastic tradition, where the topic is addressed in a systematic and familiar way. Contemporary conceptions of what medieval figures thought about self-knowledge thus skew toward the epistemological. In so doing, however, they often fail to capture the crucial ethical and theological importance that self-knowledge possesses throughout the Middle Ages. -/- Human beings are not transparent to themselves: in particular, knowing oneself in the way needed for moral progress requires hard and (...) rigorous work. Yet, medieval contemplatives insist, without this work we will never attain our final end. In this paper, I trace the connection drawn in this tradition between self-knowledge, humility, and self-fulfillment, arguing in section 1 that the humility that results from introspection needs to be understood in the context of contemplative expectations for eventual perfection. Self-knowledge is key for developing the relationship with God that leads to mystical union, but (as I show in section 2) in the affective tradition of the 13th-14th centuries, which emphasizes the role of emotion and the body, such union with God tends to restore rather than annihilate us. In fact, I argue in section 3, the outcome of such union even in this life is often knowledge that benefits not only the individual who experiences it but also their broader community. (shrink)

Prostitution in Kenya is increasing at a very alarming rate and is posing a danger to the society both morally and economically. Efforts to help female sex workers exit prostitution are categorized by the deficiency appropriate interventions among female sex workers (FSWS). Therefore, the current study sought to determine the relationship between the attitude of female sex workers (FSW) towards provision of care and the intention to exit street level prostitution. The study adopted a descriptive correlational study using a mixed (...) approach. This study targeted all the FSW in the Central Business District of Eldoret town and the counselors who deal with a significant number of them. The study used census sampling method. The snowball technique was used to get the respondents up to maturation point. This study utilized questionnaires and interview schedule to get relevant data from the respondents. Experts in the Department of Counselling Psychology and the researcher’s supervisors assisted in ensuring that the instruments are valid. To test for reliability of the instruments, the Cronbach Alpha coefficient was used. Cronbach Alpha coefficient of 0.784 was obtained and used after pilot study. The study used SPSS version 23 software to aid in the analysis of both descriptive and inferential statistics. The inferential statistics used was Pearson product-moment correlation. The interview guides were categorized in themes and analyzed using content analysis. The findings of the study showed that there was a statistically significant relationship between FSWs towards provision of Care and Intention Exit Street Level Prostitution (r=0.113 and p=0.043). It was recommended that the stakeholders should also encourage the FSWs to form support groups that may come up with income generating activities so that they may be occupied and in the process exit prostitution.Regarding areas for further studies, the study recommends a more consultative and comprehensive study on the attitudes of FSW towards the intention of Female sex workers in Eldoret Town that involve, County AIDS and STI Coordinator, non-governmental institutions in Eldoret Town. (shrink)

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract (...) sciences. If we wish to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter Woodruff’s as yet rather unexplored attempt to advance a version of such a logic built on the top of a constructive logical basis. We start by recalling the basics of Woodruff’s system and by bringing to light some of its notable features. We then go on to elaborate on some of the difficulties attached to it; (...) on our way to offer a possible solution to such difficulties, we discuss the relation between Woodruff’s system and two-dimensional semantics for many-valued logics, as developed by Hans Herzberger. (shrink)

There is a curious bifurcation in the literature on ground and its logic. On the one hand, there has been a great deal of work that presumes that logical complexity invariably yields grounding. So, for instance, it is widely presumed that any fact stated by a true conjunction is grounded in those stated by its conjuncts, that any fact stated by a true disjunction is grounded in that stated by any of its true disjuncts, and that any fact stated (...) by a true double negation is grounded in that stated by the doubly-negated formula. This commitment is encapsulated in the system GG axiomatized and semantically characterized by [deRosset and Fine, 2023] (following [Fine, 2012]). On the other hand, there has been a great deal of important formal work on “flatter” theories of ground, yielding logics very different from GG [Correia, 2010] [Fine, 2016, 2017b]. For instance, these theories identify the fact stated by a self-conjunction $$(\phi \wedge \phi )$$ with that stated by its conjunct $$\phi $$. Since, in these systems, no fact grounds itself, the “flatter” theories are inconsistent with the principles of GG. This bifurcation raises the question of whether there is a single notion of ground suited to fulfill the philosophical ambitions of grounding enthusiasts. There is, at present, no unified semantic framework employing a single conception of ground for simultaneously characterizing both GG and the “flatter” approaches. This paper fills this gap by specifying such a framework and demonstrating its adequacy. (shrink)

By and large, the conditional connective in three-valued logic has two different functions. First, by means of a deduction theorem, it can express a specific relation of logical consequence in the logical language itself. Second, it can represent natural language structures such as "if/then'' or "implies''. This chapter surveys both approaches, shows why none of them will typically end up with a three-valued material conditional, and elaborates on connections to probabilistic reasoning.

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional (...) class='Hi'>logic with implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

The present article delves into the extension of Knuth’s fundamental Boolean logic table to accommodate the complexities of indeterminate truth values through the integration of neutrosophic logic (Smarandache & Christianto, 2008). Neutrosophic logic, rooted in Florentin Smarandache’s groundbreaking work on Neutrosophic Logic (cf. Smarandache, 2005, and his other works), introduces an additional truth value, ‘indeterminate,’ enabling a more comprehensive framework to analyze uncertainties inherent in computational systems. By bridging the gap between traditional boolean operations and the (...) indeterminacy present in various real-world scenarios, this extension redefines logic tables, introducing neutrosophic operators that capture nuances beyond the binary realm. Through a thorough exploration of neutrosophic logic's principles and its implications in computational paradigms, this study proposes a novel approach to logic design that accommodates uncertain, imprecise, and incomplete information. This paradigm shift in logic tables not only broadens the spectrum of computing methodologies but also holds promise in fields such as decision-making systems and data analytics. This article amalgamates insights from over twelve key references encompassing seminal works in boolean logic, neutrosophic logic, and their applications in diverse scientific and computational domains, aiming to pave the way for a more robust and adaptable logic framework in computation. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much (...) more, I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary (...) logic of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that for (...) a logical constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

Our aim is to provide a sequent calculus whose external consequence relation coincides with the three-valued paracomplete logic `of nonsense' introduced by Dmitry Bochvar and, independently, presented as the weak Kleene logic K3W by Stephen C. Kleene. The main features of this calculus are (i) that it is non-reflexive, i.e., Identity is not included as an explicit rule (although a restricted form of it with premises is derivable); (ii) that it includes rules where no variable-inclusion conditions are attached; (...) and (iii) that it is hybrid, insofar as it includes both left and right operational introduction as well as elimination rules. (shrink)

Justification of theorems plays a vital role in any rational human activity. It is indispensable in science. The deductive method of justifying theorems is used in all sciences and it is the only method of justifying theorems in deductive disciplines. It is based on the notion of proof, thus it is a method of proving theorems. In the Warsaw School of Logic (WSL) – the famous branch of the Lvov-Warsaw School (LWS) – two types of the method: axiomatic deduction (...) method and natural deduction method were developed and practiced. In this paper, both of these methods are briefly discussed with an emphasis on their historical, groundbreaking significance for logic. The axiomatic method by means of rejection (proposed by Jan Łukasiewicz – a co-creator of the WSL), which is the method of the so-called rejection proof (rejection/refutation method) in logical systems and the proving method of generalized natural deduction, which is a hybrid deduction–refutation method of proving theorems, are also outlined in the paper. The author discusses their historical significance. This paper also contains a brief mention of the most significant results which the application of the discussed methods introduced into contemporary scientific research, not only logical one. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

If modus ponens is valid, then you should take up smoking.

I take advantage of two recent results: 1) the recognition of an alternative theoretical organization to the deductive-axiomatic one; it is characterized by a sequence of four logical steps belonging to intuitionist logic; 2) the recognition of the logical content of Cusanus’ philosophical works; also this content pertains to intuitionist logic, which Cusanus anticipated by even identifying some its logical laws. Many Cusanus’ books present the alternative theoretical organization; whose yet he did not apply in a clear way (...) its last two steps, the ad absurdum arguing and the application of the principle of sufficient reason. For this reason in the last books his thinking transcended to a metaphysical level. Hegel’s philosophy of logic shares Cusanus’ philosophical effort for exiting out classical logic. He seems to have assumed Cusanus’ anticipation of the new theoretical organization; all goes as if Hegel wanted to improve Cusanus’ poor method, by introducing a process of additions of two negations which however does not agree with the intuitionist logic. Moreover, Hegel presupposes, like Cusanus in his last years, the free application of the principle of sufficient reason to the entire subject of his philosophy of logic without awareness of the logical constraints to which is subject a correct application of this principle; hence, he introduced a metaphysical arguing which according to modern mathematical logic has no consistent content. Also Hegel’s supposed prolongation of Cusanus’ logical discoveries was an essentially metaphysical view. (shrink)

In proof-theoretic semantics, meaning is based on inference. It may be seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems K, (...) KT , K4, and S4, with □ as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between □ and a natural presentation of ♢. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases. (shrink)

This paper establishes a sound and complete semantics for the impure logic of ground. Fine (Review of Symbolic Logic, 5(1), 1–25, 2012a) sets out a system for the pure logic of ground, one in which the formulas between which ground-theoretic claims hold have no internal logical complexity; and it provides a sound and complete semantics for the system. Fine (2012b) [§§6-8] sets out a system for an impure logic of ground, one that extends the rules of (...) the original pure system with rules for the truth-functional connectives, the first-order quantifiers, and λ-abstraction. However, no semantics has yet been provided for this system. The present paper partly fills this lacuna by providing a sound and complete semantics for a system GG containing the truth-functional operators that is closely related to the truth-functional part of the system of Fine (2012b). (shrink)

For Meinong, familiarly, fictional entities are not created, but rather merely discovered (or picked out) from the inexhaustible realm of Aussersein (beyond being and non-being). The phenomenologist Roman Ingarden, in contrast, offers in his Literary Work of Art of 1931 a constructive ontology of fiction, which views fictional objects as entities which are created by the acts of an author (as laws, for example, are created by acts of parliament). We outline the logic of fiction which is implied by (...) Ingarden’s approach, showing how it distinguishes the properties possessed by fictional objects (for instance of having been created by such and such an author in such and such a work) from characteristics (for instance of smoking a pipe, of living in Baker Street) which are merely associated with such objects. (shrink)

This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but (...) the other does not.). (shrink)