This paper argues that Lemmon-style proof systems (those that consist of only introduction and elimination inference rules) have several pedagogical benefits over Copi-style systems (those that make use of inference rules and equivalence rules). It is argued that Lemmon-style systems are easier to learn as they do not require memorizing as many rules, they do not require learning the subtle distinction between a rule of inference and a rule of replacement, and deriving material conditionals is more straightforward. Finally, it (...) is argued that the need for learning provisional assumptions in Lemmon-style rules is not a significant enough reason for choosing the Copi-style system. (shrink)

This paper argues that Lemmon-style proof systems (those that consist of only introduction and elimination inference rules) have several pedagogical benefits over Copi-style systems (those that make use of inference rules and equivalence rules). It is argued that Lemmon-style systems are easier to learn as they do not require memorizing as many rules, they do not require learning the subtle distinction between a rule of inference and a rule of replacement, and deriving material conditionals is more straightforward. Finally, it (...) is argued that the need for learning provisional assumptions in Lemmon-style rules is not a significant enough reason for choosing the Copi-style system. (shrink)

Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: the (...) parallel postulate. -/- Euclid’s axioms are general principles of magnitude: they concern geometric magnitudes and magnitudes of other kinds as well even numbers. The first is often translated “Things that equal the same thing equal one another”. -/- There are other differences that are or might become important. -/- Aristotle [fl. 350 BCE] meticulously separated his basic principles [archai, singular archê] according to subject matter: geometrical, arithmetic, astronomical, etc. However, he made no distinction that can be assimilated to Euclid’s postulate/axiom distinction. -/- Today we divide basic principles into non-logical [topic-specific] and logical [topic-neutral] but this too is not the same as Euclid’s. In this regard it is important to be cognizant of the difference between equality and identity—a distinction often crudely ignored by modern logicians. Tarski is a rare exception. The four angles of a rectangle are equal to—not identical to—one another; the size of one angle of a rectangle is identical to the size of any other of its angles. No two angles are identical to each other. -/- The sentence ‘Things that equal the same thing equal one another’ contains no occurrence of the word ‘magnitude’. This paper considers the problem of formalizing the proposition Euclid intended as a principle of magnitudes while being faithful to the logical form and to its information content. (shrink)

The use-mention distinction is elaborated into a four-way distinction between use, formal mention, material mention and pragmatic mention. The notion of pragmatic mention is motivated through the problem of monsters in Kaplanian indexical semantics. It is then formalized and applied in an account of schemata in formalized languages.

In lieu of an abstract, here is a brief excerpt of the content:Four-Dimensionalism and Identity Across Time: Henry of Ghent vs. BonaventureRichard CrossModern accounts of the identity of an object across time tend to fall roughly into two basic types.Let us say that something persists ıff, somehow or other, it exists at various times; this is the neutral word. Something perdures iff it persists by having different temporal parts, or stages, at different times, though no one part of it is (...) wholly present at more than one time; whereas it endures iff it persists by being wholly present at more than one time.1On the first of these analyses, but not the second, a persistent object includes temporal parts, and persistent material substances are thus on this analysis four-dimensional objects. On the first analysis, but not on the second, time-indices are explicable in terms of temporal parts. I shall take this as the basic difference between the two views.2Both views allow us to talk of temporal order and temporal direction. I [End Page 393] shall follow the medievals and talk about succession to capture both of these claims: “The notion of succession formally consists in the notion of ‘before’ and ‘after,’”3 and I take it that talk of “before” and “after” entails both order and direction.4 Medieval accounts of identity across time are, however, in some ways more obscure than the two modern ones just described. The medievals tend to associate all temporal succession with temporal extension: an object x has temporal succession if and only if x is temporally extended (and thus includes temporal parts).5 The medievals also (correctly, I believe) tend to suppose that substances—unlike (say) processes—do not have temporal parts.6 Thus, by the end of the thirteenth century the schoolmen commonly [End Page 394] distinguish permanent objects from successive objects. Permanent objects do not, and successive objects do, have temporal parts.7 Successive objects are processes; the class of permanent objects was generally held to include not only God, but also angels, material substances, and static accidents (i.e., accidents which do not entail any sort of process).8Given these claims, there is a problem to be faced in giving an account of the identity of, say, a material substance across time. But it is not the problem we would face. Our problem, post-Hume, is to explain the relevant (explanatory) continuity requirements for identity across time. The medievals’ problem is rather different. They do not need to specify general continuity requirements, because for them there is a very real sense in which substances—and indeed all permanent objects—lack temporal extension and, therefore, any sort of temporal succession at all. The problem for the medievals is thus to explain how substances can persist at all, rather than exist merely fleetingly.9In what follows, I will examine two thirteenth-century solutions to this problem. The first is a radical one: simply to deny the standard claim that substances lack temporal parts. This view will thus bear some resemblance to what we would label four-dimensionalism. The second solution I will examine represents one of the more successful attempts to defend the standard thirteenth-century line that substances lack temporal parts. This solution goes some way towards allowing succession (and time-indexing) without appealing to temporal parts.To understand the debate, we need to keep in mind that the medievals—following Aristotle—talk of the temporality of an object in terms of its being [End Page 395] measured by time. Confusingly, they might speak of a substance’s being measured in one sort of way, and its accidental properties’ being measured in another. Thus, by the end of the thirteenth century it was often claimed that the duration of a substance is measured not by time but by the aevum—the durational measure of objects lacking temporal parts—while some of a substance’s accidental properties could be measured by time. (I will explain in detail below how time and the aevum were understood.) On this view, the temporality of an object’s properties is not sufficient cause for positing the temporality of the object. There are acceptable and unacceptable ways of understanding... (shrink)

Recent research on corporate social responsibility (CSR) suggests the need for further exploration into the relationship between small and medium-sized enterprises (SMEs) and CSR. SMEs rarely use the language of CSR to describe their activities, but informal CSR strategies play a large part in them. The goal of this article is to investigate whether differences exist between the formal and informal CSR strategies through which firms manage relations with and the claims of their stakeholders. In this context, formal (...) CSR strategies seem to characterize large firms while informal CSR strategies prevail among micro, small, and medium-sized enterprises. We use a sample of 3,626 Italian firms to investigate our research questions. Based on a multistakeholder framework, the analysis provides evidence that small businesses* use of CSR, involving strategies with an important impact on the bottom line, reflects an attempt to secure their license to operate in the communities; while large firms rarely make attempts to integrate their CSR strategies into explicit management systems. (shrink)

Axel Honneth se pregunta si el concepto del reconocimiento puede hacerse cargo de la función que Jürgen Habermas había atribuido al concepto de la comunicación. Con ello se coloca en posición crítica frente a la tradición de pensamiento en la que él mismo se inscribe, la teoría crítica. Cuestiona ante todo el carácter abstracto o formal de la teoría moral que se da en la Ética del Discurso, que remite finalmente a Habermas a Kant. Honneth, por su lado, se (...) apoya en el joven y casi materialista Hegel de Jena y en el behaviorista G. H. Mead, para proponer una teoría de la sociedad, no ajena a lo empírico, que contenga sustancia normativa , equidistante del formalismo de la ética comunicativa y de la materialidad del comunitarismo, superando así las dos tendencias, la universalista y la relativista, con el fin de mediarlas.Axel Honneth asks himself if the concept of recognition can assume the function that Jürgen Habermas had attributed to the concept of communication. Thus he places himself in a critical position regarding the thinking tradition he belonged to-the critic theory. He questions the abstract or formal character of the moral theory of the Ethics of Discourse, which ultimately leads to Habermas and Kant. Honneth, on his side, seeks support in the young and almost materialist Hegel of Jena and in the behaviorist G. H. Mead to propose a theory of society, not altogether unempirical, somehow normative , equidistant from the formalism of communicative ethics and from the materiality of "communitarism", and going beyond both universalism and relativism. (shrink)

_ Source: _Volume 56, Issue 3-4, pp 241 - 271 William of Ockham and John Buridan provide different accounts of the distinction between formal and material consequences. Some consequences – in particular, enthymemes – that Ockham would classify as formal would be classified as material by Buridan. This paper explains this taxonomical discrepancy. It identifies the root of the discrepancy not in a difference between Ockham’s and Buridan’s notions of propositional hylomorphism but rather in Ockham’s endorsement (...) of relational characterizations of consequences. (shrink)

John Norton’s argument that all formal theories of induction fail raises substantive questions about the philosophical analysis of scientific reasoning. What are the criteria of adequacy for philosophical theories of induction, explanation, or theory structure? Is more than one adequate theory possible? Using a generalized version of Norton’s argument, I demonstrate that the competition between formal and material theories in philosophy of science results from adhering to different criteria of adequacy. This situation encourages an interpretation of “ (...) class='Hi'>formal” and “material” as indicators of divergent criteria that accompany different philosophical methodologies. I characterize another criterion of adequacy associated with material theories, the avoidance of imported problems, and conclude that one way to negotiate between conflicting criteria is to adopt a pluralist stance toward philosophical theories of scientific reasoning. (shrink)

Recent research on corporate social responsibility (CSR) is suggesting the need for filling the knowledge gap in the relationship between small and mediumsized enterprises (SMEs) and CSR. SMEs rarely use the language of CSR to describe what they are doing, but informal CSR strategies deeply characterize their businesses. The goal of this paper is to investigate whether a distinction exists between formal and informal CSR strategies, whereas formal CSR strategies should be a prerogative by large firms and informal (...) CSR strategies should be a condition of micro, small, and medium-sized enterprises. A sample of 3,626 Italian firms is used to investigate the research questions. Based on a multi-stakeholder framework, the analysis provides evidence that small businesses reveal their aptitude towards CSR through strategies with an important impact on the bottom line as an attempt to strengthen their license to operate in the communities; large firms are far away from integrating their CSR strategies with explicit management systems. (shrink)

From Aristotle we can learn how our understanding of human action may profit from a certain way of reading what he has to say about the inherent teleology of cognition. Much as cognition, as such, aims at judging correctly on the basis of suitable reasons , action, as such, aims at doing the right thing for the right reasons . Moreover, one cannot determine whether “the right thing” is being done in a given situation without first determining whether appropriate patterns (...) of motivation would have prompted it in that situation. (shrink)

From Aristotle we can learn how our understanding of human action may profit from a certain way of reading what he has to say about the inherent teleology of cognition. Much as cognition, as such, aims at judging correctly on the basis of suitable reasons, action, as such, aims at doing the right thing for the right reasons. Moreover, one cannot determine whether “the right thing” is being done in a given situation without first determining whether appropriate patterns of motivation (...) would have prompted it in that situation. (shrink)

In the Summer 2017 NCBQ, Joshua Evans strongly criticized arguments made by Charles Camosy about the possibility of a prenatal child being a material mortal threat to her mother. Here Camosy demonstrates that the formal/material debate remains open for non-dissenting Catholic moral theologians. He also shows that his reference to just-war theory is used to discuss innocence; it is not evidence of a particular methodology. Despite Evans’s claim to the contrary, Camosy notes multiple examples where he affirms (...) the uniqueness of pregnancy and the special duty of parents to children. He argues for full deference to the magisterium in matters where doctrine has been defined and urges solid theological grounding for teachings on abortion when the mother’s life is at risk, especially given the profound personal and political issues at stake. (shrink)

In his seminal work Moral Notions , Julius Kovesi presents a novel account of concept formation. At the heart of this account is a distinction between what he terms the material element and the formal element of concepts. This paper elucidates his distinction in detail and contrasts it with other distinctions such as form-matter, universal-particular, genus-difference, necessary-sufficient, and open texture-closed texture. We situate Kovesi’s distinction within his general philosophical method, outlining his views on concept formation in general and (...) explain how his theory of concept formation is applied in moral philosophy. (shrink)

Based on Aristotle's analysis of the form and matter found in human thought, this book examines the three steps the mind takes in arriving at the truth: defining, judging, and reasoning. The author further analyzes the type of material demanded for scientific or demonstrative knowledge: universal, necessary, and proper propositions and applies this examination to modern science.

I defend a conception of Logic as normative for the sort of activities in which inferences super-vene, namely, reasoning and arguing. Toulmin’s criticism of formal logic will be our framework to shape the idea that in order to make sense of Logic as normative, we should con-ceive it as a discipline devoted to the layout of arguments, understood as the representations of the semantic, truth relevant, properties of the inferences that we make in arguing and reason-ing.

Biological individuals are usually defined by evolutionists through a reference to natural selection. This article looks for a concept of individuality that would hold at the same time for organisms and for communities or ecosystems, the latter being unaffected by natural selection. In the wake of Simon’s notion of “quasi-independence,” I elaborate a concept of “weak individuality” defined by probabilistic connections between sub-entities, read off our knowledge of their interactions. This formal scheme of connections allows one to infer what (...) are the individuals in the domain addressed by the theory of the interactions. The article argues that if ecosystems do not have strong individuality, they still possess a weak individuality, ecological theories providing the values of the variables in the formula for individuality. (shrink)

According to Alfred Tarski’s classical definition, logical consequence is necessary and formal. This paper focuses on the question: In what sense (if any) is material consequence a logical relation? For Tarski, material consequence has no modal force. Treating all terms (of a language with a fixed domain) as logical, he reduces logical consequence to material consequence. Thus, Tarskian material consequence seems to be a logical oxymoron designed to emphasize the importance of the distinction between logical (...) and extra-logical terms for the definition of logical consequence. Historically, however, there have been different approaches to material consequences. This paper attempts to provide an investigation into the parallels between Tarski’s dichotomy of formal and material consequence and the modern. (shrink)

Este artigo busca mostrar, por meio de uma análise da refutação kantiana do idealismo empírico, que Kant é ainda assim partidário de certo solo mentalista inaugurado por Descartes. Ao mesmo tempo, ele recusa as implicações solipsistas de qualquer idealismo material, seja o de Descartes, seja o de Berkeley.

Some rules seem more important than others. The moral rule to keep promises seems more important than the aesthetic rule not to wear brown with black or the pool rule not to scratch on the eight ball. A worrying number of metaethicists are increasingly tempted to explain this difference by appealing to something they call “authoritative normativity” – it’s because moral rules are “authoritatively normatively” that they are especially important. The authors of this chapter argue for three claims concerning “authoritative (...) normativity”: (1) that motivation for it originates in a parochial conception of “normative flavours”; (2) that arguments against alternative ways of explaining e.g., morality’s importance are overblown; and (3) that there are strong reasons against theorizing in terms of “authoritative normativity”. The overarching aim is not to show that “authoritative normativity” is incoherent or entirely unmotivated. Rather, it is to discuss some of “authoritative normativity’s” deeper commitments to correct the impression that is it largely benign or that it is entailed by familiar and popular “metanormative” positions. Authoritative normativity, it seems to us, is a solution in search of a problem. (shrink)

The wider topic to which the content of this paper belongs is that of the relationship between formal logic and real argumentation. Of particular potential interest in this connection are held to be substantive arguments constructed by philosophers reputed equally as authorities in logical theory. A number of characteristics are tentatively indicated by the author as likely to be encountered in such arguments. The discussion centers afterwards, by way of specification, on a remarkable piece of argument quoted in Cicero’s (...) dialog On Divination and ascribed to Stoic thinkers. The Stoics’ formal theory of inference is summarily referred to in this context, with special emphasis on their basic deductive schemata (‘indemonstrables’), some of them recognizable as links in the overall structure of the quoted argument. The main lines of Cicero’s criticism of the Stoic argument are next commented upon, with emphasis on his implied view as to the requirements of a good argument. Towards the end of the paper, a few considerations are added on the changes in the prevailing style of argumentation conspicuous in the three famous Roman Stoics. (shrink)

Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.

The problem of concept representation is relevant for many sub-fields of cognitive research, including psychology and philosophy, as well as artificial intelligence. In particular, in recent years it has received a great deal of attention within the field of knowledge representation, due to its relevance for both knowledge engineering as well as ontology-based technologies. However, the notion of a concept itself turns out to be highly disputed and problematic. In our opinion, one of the causes of this state of affairs (...) is that the notion of a concept is, to some extent, heterogeneous, and encompasses different cognitive phenomena. This results in a strain between conflicting requirements, such as compositionality, on the one hand and the need to represent prototypical information on the other. In some ways artificial intelligence research shows traces of this situation. In this paper, we propose an analysis of this current state of affairs. Since it is our opinion that a mature methodology with which to approach knowledge representation and knowledge engineering should also take advantage of the empirical results of cognitive psychology concerning human abilities, we outline some proposals for concept representation in formal ontologies, which take into account suggestions from psychological research. Our basic assumption is that knowledge representation systems whose design takes into account evidence from experimental psychology may therefore give better results in many applications. (shrink)

Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the (...) proportion of papers using probabilistic methods was approximately three times higher in the late 2010s than it was in the late 2000s. Further analyses explored this change by looking more closely at specific methods, specific levels of technical engagement, and specific subdisciplines within philosophy. These analyses indicate that the increasing proportion of papers using probabilistic methods was pervasive, not confined to particular probabilistic methods, levels of sophistication, or subdisciplines. (shrink)

In an influential article, Gerd Grasshoff has argued for the identification of the objects in Wittgenstein's Tractatus with the ultimate constituents of reality in Heinrich Hertz's Principles of Mechanics. Grasshoff's interpretation is based on two interrelated claims: The specific determination of the objects in the world and the relation among them is the primary theme in Wittgenstein's early philosophy, because it is the primary theme for Hertz. Wittgenstein did not assume the existence of simple objects on purely logical grounds without (...) having specific examples of simple objects in mind, because Hertz did not do this. (shrink)

There are two main ways, philosophically, of characterizing the business of ontology. On one account, made popular by Quine, ontology is concerned with the material question of what there is. On the other, which made its way into our times through Brentano and his pupils, ontology is concerned with the task of laying bare the formal structure of all there is, whatever it is. My question, here, is whether one can pursue one sort of theory without also engaging (...) in the other—whether, or to what extent, the tasks of material ontology presuppose the backing of some formal-ontological theory, and whether or to what extent formal ontology can be, in the material sense of the term, ontologically neutral. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

Recently mereological hylomorphism, the theory in which form and matter are considered to be proper parts of objects, has become very important among contemporary metaphysicians. The present work aims to analyse and dismantle Bennett’s criticism regarding the existence of formal proper parts. To do this, I will start by presenting Koslicki’s mereological hylomorphism. Next, I will focus on Bennett’s critique which seeks to deny the existence of formal proper parts. Finally, I will analyse critically the Bennett’s criticism focusing (...) on the scenario of lump of clay and statue. I will show Bennett’s proposal is not explanatorily better than Koslicki’s hylomorphism because she needs to accept a counter-intuitive thesis. Therefore, we should prefer Koslicki’s mereological hylomorphism. (shrink)