Suppose one has a system, the infinite set of positive integers, P, and one wants to study the characteristics of a subset (or subsystem) of that system, the infinite subset of odd positives, O, relative to the overall system. In mathematics, this is done by pairing off each odd with a positive, using a function such as O=2P+1. This puts the odds in a one-to-one correspondence with the positives, thereby, showing that the subset of odds and the original set of (...) positives are the same size, or have the same cardinality. This counter-intuitive result ignores the “natural” relationship of one odd for every two positives in the sequence of positive integers, which would suggest that O is one-half the size of P. However, in the set of axioms that constitute mathematics, it is considered valid. Fair enough. In the physical universe (i.e., the starting system), though, relationships between entities matter. In biochemistry, if you start with an organism, say a rat, and you want to study its heart, you can do this by removing some heart cells and studying them in isolation in a cell culture system. But, the results often differ compared to what occurs in the intact animal because studying the isolated cultured cells ignores the relationships in the intact body between the cells, the rest of the heart tissue and the rest of the rat. In chemistry, if a copper atom were studied in isolation, it would never be known that copper atoms in bulk can conduct electricity because the atoms share their electrons. In physics, the relationships between inertial reference frames in relativity, and observer and observed in quantum physics can't be ignored. Relationships matter in the physical world, but the mathematics of infinite sets is still used to describe it. Does this matter? It seems to, at least in physics. Infinities cause numerous problems in theoretical physics such as non-renormalizability and problems in unifying quantum mehanics and general relativity . This suggests that the pairing off method and the mathematics of infinite sets based on it are analogous to a cell culture system or studying a copper atom in isolation if they are used in studying the physical universe because they ignore the inherent relationships between entities. In the real, physical world, the natural, inherent, relationships between entities can't be ignored. Said another way, the set of axioms that constitute abstract mathematics may be similar but not identical to the set of physical axioms by which the real, physical universe runs. This suggests that the results from abstract mathematics about infinities may not apply to or should be modified for use in physics. (shrink)

The link between the high-order metaphysics and abstractions, on the one hand, and choice in the foundation of set theory, on the other hand, can distinguish unambiguously the “good” principles of abstraction from the “bad” ones and thus resolve the “bad company problem” as to set theory. Thus it implies correspondingly a more precise definition of the relation between the axiom of choice and “all company” of axioms in set theory concerning directly or indirectly abstraction: the principle of abstraction, axiom (...) of comprehension, axiom scheme of specification, axiom scheme of separation, subset axiom scheme, axiom scheme of replacement, axiom of unrestricted comprehension, axiom of extensionality, etc. (shrink)

In recent years, language has been shown to play a number of important cognitive roles over and above the communication of thoughts. One hypothesis gaining support is that language facilitates thought about abstract categories, such as democracy or prediction. To test this proposal, a novel set of semantic memory task trials, designed for assessing abstract thought non-linguistically, were normed for levels of abstractness. The trials were rated as more or less abstract to the degree that answering them required the participant (...) to abstract away from both perceptual features and common setting associations corresponding to the target image. The normed materials were then used with a population of people with aphasia to assess the relationship of abstract thought to language. While the language-impaired group with aphasia showed lower overall accuracy and longer response times than controls in general, of special note is that their response times were significantly longer as a function of a trial’s degree of abstractness. Further, the aphasia group’s response times in reporting their degree of confidence (a separate, metacognitive measure) were negatively correlated with their language production abilities, with lower language scores predicting longer metacognitive response times. These results provide some support for the hypothesis that language is an important aid to abstract thought and to metacognition about abstract thought. (shrink)

Neo-Fregeans such as Bob Hale and Crispin Wright seek a foundation of mathematics based on abstraction principles. These are sentences involving a relation called the abstraction relation. It is usually assumed that abstraction relations must be equivalence relations, so reflexive, symmetric and transitive. In this article I argue that abstraction relations need not be reflexive. I furthermore give an application of non-reflexive abstraction relations to restricted abstraction principles.

Some philosophers have recently suggested that the reason mathematics is useful in science is that it expands our expressive capacities. Of these philosophers, only Stephen Yablo has put forward a detailed account of how mathematics brings this advantage. In this article, I set out Yablo’s view and argue that it is implausible. Then, I introduce a simpler account and show it is a serious rival to Yablo’s. 1 Introduction2 Yablo’s Expressionism3 Psychological Objections to Yablo’s Expressionism4 Introducing Belief Expressionism5 Objections and (...) Replies5.1 Yablo’s likely response5.2 Charity6 Conclusion. (shrink)

I reconcile the spatiotemporal location of repeatable artworks and impure sets with the non-location of natural numbers despite all three being varieties of abstract objects. This is possible because, while the identity conditions for all three can be given by abstraction principles, in the former two cases spatiotemporal location is a congruence for the equivalence relation featuring in the relevant principle, whereas in the latter it is not. I then generalize this to other ‘physical’ properties like shape, mass, and causal (...) powers. (shrink)

It is illegitimate to read any ontology about "race" off of biological theory or data. Indeed, the technical meaning of "genetic variation" is fluid, and there is no single theoretical agreed-upon criterion for defining and distinguishing populations (or groups or clusters) given a particular set of genetic variation data. Thus, by analyzing three formal senses of "genetic variation"—diversity, differentiation, and heterozygosity—we argue that the use of biological theory for making epistemic claims about "race" can only seem plausible when it relies (...) on the user’s own assumptions about race; the move from biological measures to claims about “race” inevitably amounts to a pernicious reification. We also excavate assumptions in the history of the technical discourse over the concept of "race" (e.g., Livingstone's and Dobzhansky's 1962 exchange, Edwards' 2003 response to Lewontin 1972, as well as contemporary discussions of cladistic "race", and "races" as clusters). We show that claims about the existence (or non-existence) of "race" are underdetermined by biological facts, methods, and theories. Biological theory does not force the concept of "race" upon us; our social discourse, social ontology, and social expectations do. We become prisoners of our abstractions at our own hands, and at our own expense. (shrink)

An important lesson that philosophy can learn from the Turing Test and computer science more generally concerns the careful use of the method of Levels of Abstraction (LoA). In this paper, the method is first briefly summarised. The constituents of the method are “observables”, collected together and moderated by predicates restraining their “behaviour”. The resulting collection of sets of observables is called a “gradient of abstractions” and it formalises the minimum consistency conditions that the chosen abstractions must satisfy. Two useful (...) kinds of gradient of abstraction – disjoint and nested – are identified. It is then argued that in any discrete (as distinct from analogue) domain of discourse, a complex phenomenon may be explicated in terms of simple approximations organised together in a gradient of abstractions. Thus, the method replaces, for discrete disciplines, the differential and integral calculus, which form the basis for understanding the complex analogue phenomena of science and engineering. The result formalises an approach that is rather common in computer science but has hitherto found little application in philosophy. So the philosophical value of the method is demonstrated by showing how making the LoA of discourse explicit can be fruitful for phenomenological and conceptual analysis. To this end, the method is applied to the Turing Test, the concept of agenthood, the definition of emergence, the notion of artificial life, quantum observation and decidable observation. It is hoped that this treatment will promote the use of the method in certain areas of the humanities and especially in philosophy. (shrink)

Scientists use models to know the world. It i susually assumed that mathematicians doing pure mathematics do not. Mathematicians doing pure mathematics prove theorems about mathematical entities like sets, numbers, geometric figures, spaces, etc., they compute various functions and solve equations. In this paper, I want to exhibit models build by mathematicians to study the fundamental components of spaces and, more generally, of mathematical forms. I focus on one area of mathematics where models occupy a central role, namely homotopy theory. (...) I argue that mathematicians introduce genuine models and I offer a rough classification of these models. (shrink)

ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. In (...) the following, I consider constructive set theories, which use intuitionistic rather than classical logic, and argue that they manifest a distinctive interdependence or an entanglement between sets and logic. In fact, Martin-Löf type theory identifies fundamental logical and set-theoretic notions. Remarkably, one of the motivations for this identification is the thought that classical quantification over infinite domains is problematic, while intuitionistic quantification is not. The approach to quantification adopted in Martin-Löf’s type theory is subtly interconnected with its predicativity. I conclude by recalling key aspects of an approach to predicativity inspired by Poincaré, which focuses on the issue of correct quantification over infinite domains and relate it back to Martin-Löf type theory. (shrink)

Abstract: Theories of rough sets and fuzzy sets are related and complementary methodologies to handle uncertainty of vagueness and coarseness, respectively. They are generalizations of classical set theory for modeling vagueness and uncertainty. A fundamental question concerning both theories is their connections and differences. There have been many studies on this topic. Topology is a branch of mathematics, whose ideas exist not only in almost all branches of mathematics but also in many real life applications. The topological structure on an (...) abstract set is used as the base, which used to extract knowledge from data. In this paper: topological structure is used to study the relation between rough sets and fuzzy sets. Membership function is used to convert from rough set to fuzzy set and vice versa. This conversion will achieve the advantages of two theories. Some examples and theories are introduced to indicate the importance of using general binary relations in the construction of rough set concepts, and indicate the relation between rough sets and fuzzy sets according to the topological spaces. (shrink)

Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic programs. During the computation of an answer set, systems are faced with choice points where they have to select a literal and assign it a truth value. Generally, systems utilize some heuristics to choose new literals at the choice points. The heuristic used is one of the key factors for the performance of (...) the system. A new heuristic for answer set programming has been developed. This heuristic is inspired by hierarchical planning. The notion of criticality, which was introduced for generating abstraction hierarchies in hierarchical planning, is used in this heuristic. The resulting system (CSMODELS) uses this new heuristic in a static way. CSMODELS is based on the system SMODELS. The experimental results show that this new heuristic is promising for answer set programming. A comparison of search times with SMODELS demonstrate CSMODELS’ usefulness. (shrink)

In Book I, Part I, Section VII of the Treatise, Hume sets out to settle, once and for all, the early modern controversy over abstract ideas. In order to do so, he tries to accomplish two tasks: (1) he attempts to defend an exemplar-based theory of general language and thought, and (2) he sets out to refute the rival abstraction-based account. This paper examines the successes and failures of these two projects. I argue that Hume manages to articulate a plausible (...) theory of general ideas; indeed, a version of his account has defenders in contemporary cognitive science. But Hume fails to refute the abstraction-based account, and as a result, the early modern controversy ends in a stalemate, with both sides able to explain how we manage to speak and think in general terms. Although Hume fails to settle the controversy, he nevertheless advances it to a point from which we have yet to progress: the contemporary debate over abstract ideas in cognitive science has stalled on precisely this point. (shrink)

Abstract: Nanka is in Orumba North Local Government Area in Anambra State of Nigeria. This work centred on the function of Nwadunu in Nanka administrative set up. This work is meant to make people understand administrative set up in Nanka clearer. Thus removing doubts that often arise as regards to the function of Nwadunu institution in Nanka. The work is also meant to draw the attention of researchers and educationist to the existence of this unique institution in Nanka. The researcher’s (...) paper being a stepping stone from where other researchers can take off. In carrying out this research, the researcher prepared questionnaires for oral interviews which the researcher administered on Nwadunu himself, the clan head of Umudunu quarter, Nanka and some selected elders from the seven villages that make up Nanka. From analysis of the responses, the researcher was able to arrive at conclusion of what Nwadunu’s position in administration set up in Nanka is. (shrink)

Plato’s philosophy is important to Badiou for a number of reasons, chief among which is that Badiou considered Plato to have recognised that mathematics provides the only sound or adequate basis for ontology. The mathematical basis of ontology is central to Badiou’s philosophy, and his engagement with Plato is instrumental in determining how he positions his philosophy in relation to those approaches to the philosophy of mathematics that endorse an orthodox Platonic realism, i.e. the independent existence of a realm of (...) mathematical objects. The Platonism that Badiou makes claim to bears little resemblance to this orthodoxy. Like Plato, Badiou insists on the primacy of the eternal and immu- table abstraction of the mathematico-ontological Idea; however, Badiou’s reconstructed Platonism champions the mathematics of post-Cantorian set theory, which itself af rms the irreducible multiplicity of being. Badiou in this way recon gures the Platonic notion of the relation between the one and the multiple in terms of the multiple-without-one as represented in the axiom of the void or empty set. Rather than engage with the Plato that is gured in the ontological realism of the orthodox Platonic approach to the philosophy of mathematics, Badiou is intent on characterising the Plato that responds to the demands of a post-Cantorian set theory, and he considers Plato’s philosophy to provide a response to such a challenge. In effect, Badiou reorients mathematical Platonism from an epistemological to an ontological problematic, a move that relies on the plausibility of rejecting the empiricist ontology underlying orthodox mathematical Platonism. To draw a connec- tion between these two approaches to Platonism and to determine what sets them radically apart, this paper focuses on the use that they each make of model theory to further their respective arguments. (shrink)

What is so special and mysterious about the Continuum, this ancient, always topical, and alongside the concept of integers, most intuitively transparent and omnipresent conceptual and formal medium for mathematical constructions and the battle field of mathematical inquiries ? And why it resists the century long siege by best mathematical minds of all times committed to penetrate once and for all its set-theoretical enigma ? -/- The double-edged purpose of the present study is to save from the transfinite deadlock of (...) higher set theory the jewel of mathematical Continuum -- this genuine, even if mostly forgotten today raison d'etre of all set-theoretical enterprises to Infinity and beyond, from Georg Cantor to W. Hugh Woodin to Buzz Lightyear, by simultaneously exhibiting the limits and pitfalls of all old and new reductionist foundational approaches to mathematical truth: be it Cantor's or post-Cantorian Idealism, Brouwer's or post-Brouwerian Constructivism, Hilbert's or post-Hilbertian Formalism, Goedel's or post-Goedelian Platonism. -/- In the spirit of Zeno's paradoxes, but with the enormous historical advantage of hindsight, we claim that Cantor's set-theoretical methodology, powerful and reach in proof-theoretic and similar applications as it might be, is inherently limited by its epistemological framework of transfinite local causality, and neither can be held accountable for the properties of the Continuum already acquired through geometrical, analytical, and arithmetical studies, nor can it be used for an adequate, conceptually sensible, operationally workable, and axiomatically sustainable re-creation of the Continuum. -/- From a strictly mathematical point of view, this intrinsic limitation of the constative and explicative power of higher set theory finds its explanation in the identified in this study ultimate phenomenological obstacle to Cantor's transfinite construction, similar to topological obstacles in homotopy theory and theoretical physics: the entanglement capacity of the mathematical Continuum. (shrink)

Renaissance philosopher, mathematician, and theologian Nicholas of Cusa (1401-1464) said that there is no proportion between the finite mind and the infinite. He is fond of saying reason cannot fully comprehend the infinite. That our best hope for attaining a vision and understanding of infinite things is by mathematics and by the use of contemplating symbols, which help us grasp "the absolute infinite". By the late 19th century, there is a decisive intervention in mathematics and its philosophy: the philosophical mathematician (...) Georg Cantor (1845-1918) says that between the realm of the finite and the absolute infinite, there is an intermediate realm partaking in properties in a certain sense of both the finite and the infinite: the transfinite realm. Like the finite, the transfinite realm is a realm of mathematical objects, numbers, and knowledge. Like the absolute infinite, the transfinite is a form of infinity insofar as transfinite sets and numbers transcend any finite number. Echoing Cusanus and neo-Platonism, Cantor says that the transfinite sequence of all ordinals is a symbol of the absolutely infinite, that is, God. This paper considers how the doctrine of symbolism and the philosophers' different commitments to the laws of logic, especially the Law of Non-Contradiction (LNC), enables these thinkers to articulate a transcendental apophatic approach to divinity. (shrink)

-/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a (...) correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture was later proved independently by the authors and by Newton da Costa. -/- The expression (vy:F) is called a variable bound term (vbt). In case F has only y free, (vy:F) has the syntactic propreties of an individual constant; and under a suitable interpretation of the language vy:F) denotes an individual. By a semantic analysis of vbtos we mean a proposal for amending the standard notions of (1) "an interpretation o f a first -order language" and (2) " the denotation of a term under an interpretation and an assignment", such that (1') an interpretation o f a first -order language associates a set-theoretic structure with each vbto and (2') under any interpretation and assignment each vb t denotes an individual. (shrink)

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...) Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...) the abstract with the concrete, the physical with the non-physical, and the possible with the impossible, just to name a few. -/- Proposed by David Lewis (1991) alongside his defence of classical mereology (the major theory of parthood which permits such transcategorial composites through its principle of unrestricted composition) it is my contention that mixed fusions are an under-examined consequence of indiscriminate mereological fusion which harbour a multitude of complications. In my attempt to discern their substantive character, throughout this thesis I make a case study of mixed fusions and uncover several problematic consequences which I think follow from their most plausible assessment. -/- These include: (1) that mixed fusions’ probable membership relations may lead to dubious foundational loops in the mereological Universe, or (2) otherwise that mixed fusions oblige an implausible ontological priority of the mereological Universe as a whole; (3) that mixed fusions contradict the reductive account of set theory they are proposed within, by plausibly being seen to have the same members as their class parts, and (4) that mixed fusions therefore confound a mereological thesis of Composition as Identity, which some (including Lewis) use to support classical mereology – a consequence which is potentially self-defeating; (5) that mixed fusions as sums of abstract and concrete entities both subvert Lewis’s (1986) system of modal realism, while (6) also undermining less expansive theories of possible worlds; and finally, (7) that even where some of the foregoing is resisted, it remains implausible that mixed fusions are ontologically innocent, because their supposed distinction from their parts in this case ensures that they need to be counted as additional entities in one’s ontology. -/- To be clear, I do not advance a theory of mereological hybrid nihilism in the sense of denying all cases of transcategorial composition. (I only cover a few select instances of mereological hybridism via mixed fusions after all.) Rather, I deny that mereological hybridism is plausible in full generality, by demonstrating that any cases of it are at least limited by the constraints that I identify. This in turn vindicates a call for a restriction on parthood theories and composition principles which allow certain types of categorially mixed entities – including restricting classical mereology with its principle of unrestricted composition. -/- Although theories of parthood like the standard classical mereology are not ordinarily developed for the sake of mereological hybrids like mixed fusions, these and other transcategorial composites are still among the logical consequences of such parthood systems operating with sufficient generality. The significance of my thesis, then, comes from showcasing how some of these kinds of entities do not conform to the systems in which they are included as required, and hence I argue for the rejection of unrestricted mereological hybridism as well as any mereological principles which support it. (shrink)

Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity $X$, there may be an object $\varepsilon X$, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities. This paper considers two interpretations of second-order logic—as being either extensional or intensional—and whether either is (...) more appropriate for this approach to the foundations of set theory. Although there seems to be a case for the extensional interpretation resulting from modal considerations, I show how there is no obstacle to starting with an intensional second-order logic. I do so by showing how the $\varepsilon$ operator can have the effect of “extensionalizing” intensional second-order entities. (shrink)

Abstract: Tomatoes are part of the major crops in food security. Tomatoes are plants grown in temperate and hot regions of South American origin from Peru, and then spread to most countries of the world. Tomatoes contain a lot of vitamin C and mineral salts, and are recommended for people with constipation, diabetes and patients with heart and body diseases. Studies and scientific studies have proven the importance of eating tomato juice in reducing the activity of platelets in diabetics, which (...) helps in protecting them from developing deadly blood clots. A tomato classification approach is presented with a data set containing approximately 5,266 images with 7 species belonging to tomatoes. The Neural Network Algorithms (CNN), a deep learning technique applied widely in image recognition, is used for this task. (shrink)

Abstract: Potatoes are edible tubers, available worldwide and all year long. They are relatively cheap to grow, rich in nutrients, and they can make a delicious treat. The humble potato has fallen in popularity in recent years, due to the interest in low-carb foods. However, the fiber, vitamins, minerals, and phytochemicals it provides can help ward off disease and benefit human health. They are an important staple food in many countries around the world. There are an estimated 200 varieties of (...) potatoes, which can be classified into a number of categories based on the cooked texture and ingredient functionality. Using a public dataset of 2400 images of potatoes, we trained a deep convolutional neural network to identify 4 types (Red, Red Washed, Sweet, and White).The trained model achieved an accuracy of 99.5% of test set, demonstrating the feasibility of this approach. (shrink)

Abstract. Intelligent Tutoring System Builder (ITSB) is an authoring tool designed and developed to aid teachers in constructing intelligent tutoring systems in a multidisciplinary fields. The teacher is needed to create a set of pedagogical fundamentals, which, in line, are inured to automatically build up a broad tutor framework and construct an intelligent tutoring system. In this paper an explanation of the theory and the architecture of the tool is outlined. A presentation of several system components, the requirements of the (...) different components, integration of these components in ITSB tool are shown. Furthermore, implanting of requirements, cognitive principle, and common design fundamentals in the tool to ease the use of teachers. A variety of design matters, an example of building an intelligent tutoring system for teaching Java language using ITSB tool and an evaluation are presented. (shrink)

Artificial agents (AAs), particularly but not only those in Cyberspace, extend the class of entities that can be involved in moral situations. For they can be conceived of as moral patients (as entities that can be acted upon for good or evil) and also as moral agents (as entities that can perform actions, again for good or evil). In this paper, we clarify the concept of agent and go on to separate the concerns of morality and responsibility of agents (most (...) interestingly for us, of AAs). We conclude that there is substantial and important scope, particularly in Computer Ethics, for the concept of moral agent not necessarily exhibiting free will, mental states or responsibility. This complements the more traditional approach, common at least since Montaigne and Descartes, which considers whether or not (artificial) agents have mental states, feelings, emotions and so on. By focussing directly on mind-less morality we are able to avoid that question and also many of the concerns of Artificial Intelligence. A vital component in our approach is the Method of Abstraction for analysing the level of abstraction (LoA) at which an agent is considered to act. The LoA is determined by the way in which one chooses to describe, analyse and discuss a system and its context. The Method of Abstraction is explained in terms of an interface or set of features or observables at a given LoA. Agenthood, and in particular moral agenthood, depends on a LoA. Our guidelines for agenthood are: interactivity (response to stimulus by change of state), autonomy (ability to change state without stimulus) and adaptability (ability to change the transition rules by which state is changed) at a given LoA. Morality may be thought of as a threshold defined on the observables in the interface determining the LoA under consideration. An agent is morally good if its actions all respect that threshold; and it is morally evil if some action violates it. That view is particularly informative when the agent constitutes a software or digital system, and the observables are numerical. Finally we review the consequences for Computer Ethics of our approach. In conclusion, this approach facilitates the discussion of the morality of agents not only in Cyberspace but also in the biosphere, where animals can be considered moral agents without their having to display free will, emotions or mental states, and in social contexts, where systems like organizations can play the role of moral agents. The primary cost of this facility is the extension of the class of agents and moral agents to embrace AAs. (shrink)

In this article I offer an explicating interpretation of the procedure of content recarving as described by Frege in §64 of the Foundations of Arithmetic. I argue that the procedure of content recarving may be interpreted as an operation that while restricting the subject matter of a sentence, performs a generalization on what the sentence says about its subject matter. The characterization of the recarving operation is given in the setting of Yablo’s theory of subject matter and it is based (...) on the relation of determination between properties. The main advantage of the proposal is its generality, for it is applicable not just to the case of abstraction principles. (shrink)

Opinionated state of the art paper on mathematical explanation. After a general introduction to the subject, the paper is divided into two parts. The first part is dedicated to intra-mathematical explanation and the second is dedicated to extra-mathematical explanation. Each of these parts begins to present a set of diverse problems regarding each type of explanation and, afterwards, it analyses relevant models of the literature. Regarding the intra-mathematical explanation, the models of deformable proofs, mathematical saliences and the demonstrative structure of (...) mathematical induction are addressed. Regarding the extra-mathematical explanation, modal, abstract and deductive models are addressed. (shrink)

ABSTRACT:Many companies engage in dialogue with nongovernmental organizations about societal issues. The question is what a regulative ideal for such dialogues should be. In the literature on corporate social responsibility, the Habermasian notion of communicative action is often presented as a regulative ideal for stakeholder dialogue, implying that actors should aim at consensus and set strategic considerations aside. In this article, we argue that in many cases, communicative action is not a suitable regulative ideal for dialogue between companies and NGOs. (...) We contend that there is often an adversarial element in the relation between companies and NGOs, and that an orientation towards consensus can be in tension with this adversarial relation. We develop an alternative approach to stakeholder dialogue called ‘agonistic deliberation.’ In this approach, conflict and strategic considerations play a legitimate and, up to a certain point, desirable role. (shrink)

Abstract. Richard Feldman’s Uniqueness Thesis holds that “a body of evidence justifies at most one proposition out of a competing set of proposi- tions”. The opposing position, permissivism, allows distinct rational agents to adopt differing attitudes towards a proposition given the same body of evidence. We assess various motivations that have been offered for Uniqueness, including: concerns about achieving consensus, a strong form of evidentialism, worries about epistemically arbitrary influences on belief, a focus on truth-conduciveness, and consequences for peer disagreement. (...) We argue that each of these motivations either misunderstands the commitments of permissivism or is question-begging. Better understanding permissivism makes it a much more plausible position. (shrink)

This paper reconstructs the relationship between the now, motion, and number in Aristotle to clarify the nature of the now, and, thereby, the relationship between motion and time. Although it is clear that for Aristotle motion, and, more generally, change, are prior to time, the nature of this priority is not clear. But if time is the number of motion, then the priority of motion can be grasped by examining his theory of number. This paper aims to show that, just (...) as numbers are generated by the soul, time is not presupposed by motion, but emerges through the soul’s articulation of motion. Time is co-constituted by the soul and motion. The now is the key to understanding both the contribution of motion and soul to the being of time. The now is part of the soul’s articulation of motion, and sets the stage for an act that distinguishes a unit from its underlying motion. The now, then, sets up an abstraction by which the soul generates the temporal number from motion. Reconstructing this account of abstraction allows us to formulate more strongly Aristotle’s claim to the ontological dependence of time on motion. The paper then gives a systematic overview of the relationships between the now and number in order to address the question of whether the now might be extended. It closes with an examination of the possibility that motion depends on time, and how universal time is possible. (shrink)

ABSTRACT: This paper serves two purposes: (i) it can be used by students as an introduction to chapters 1-5 of book iii of the NE; (ii) it suggests an answer to the unresolved question what overall objective this section of the NE has. The paper focuses primarily on Aristotle’s theory of what makes us responsible for our actions and character. After some preliminary observations about praise, blame and responsibility (Section 2), it sets out in detail how all the key notions (...) of NE iii 1-5 are interrelated (Sections 3-9). The setting-out of these interconnections makes it then possible to provide a comprehensive interpretation of the purpose of the passage. Its primary purpose is to explain how agents are responsible for their actions not just insofar as they are actions of this kind or that, but also insofar as they are noble or base: agents are responsible for their actions qua noble or base, because, typically via choice, their character dispositions are a causal factor of those actions (Section 10). The paper illustrates the different ways in which agents can be causes of their actions by means of Aristotle’s four basic types of agents (Section 11). A secondary purpose of NE iii 1-5 is to explain how agents can be held responsible for consequences of their actions (Section 12), in particular for their character dispositions insofar as these are noble or base, i.e. virtues or vices (Section 13). These two goals are not the only ones Aristotle pursues in the passage. But they are the ones Aristotle himself indicates in its first sentence and summarizes in its last paragraph; and the ones that give the passage a systematic unity. The paper also briefly consider the issues of freedom-to-do-otherwise, free choice and free-will in the contexts in which they occur (i.e. in the final paragraphs of Sections 6, 7, 12, 13). (shrink)

ABSTRACT In this article, I indicate how the naturalized and individualized conception of disability that prevails in philosophy informs the indifference of philosophers to the predictable COVID-19 tragedy that has unfolded in nursing homes, supported living centers, psychiatric institutions, and other institutions in which elders and younger disabled people are placed. I maintain that, insofar as feminist and other discourses represent these institutions as sites of care and love, they enact structural gaslighting. I argue, therefore, that philosophers must engage in (...) conceptual engineering with respect to how disability and these institutions are understood and represented. To substantiate my argument, I trace the sequence of catastrophic events that have occurred in nursing homes in Canada and in the Canadian province of Ontario in particular during the pandemic, tying these events to other past and current eugenic practices produced in the Canadian context. The crux of the article is that the COVID-19 pandemic has thrown into vivid relief the carceral character of nursing homes and other congregate settings in which elders and younger disabled people are confined. -/- KEYWORDS carceral, conceptual engineering, nursing home-industrial-complex, philosophy of disability, structural gaslighting. (shrink)

Abstract: Fruits are a rich source of energy, minerals and vitamins. They also contain fiber. There are many fruits types such as: Apple and pears, Citrus, Stone fruit, Tropical and exotic, Berries, Melons, Tomatoes and avocado. Classification of fruits can be used in many applications, whether industrial or in agriculture or services, for example, it can help the cashier in the hyper mall to determine the price and type of fruit and also may help some people to determining whether a (...) certain type of fruit meets their nutritional requirement. In this paper, machine learning based approach is presented for classifying and identifying 10 different fruit with a dataset that contains 6847 images use 4793 images for training, 1027 images for validation and 1027 images for testing. A deep learning technique that extensively applied to image recognition was used. We used 70% from image for training and 15% from image for validation 15% for testing. Our trained model achieved an accuracy of 100% on a held-out test set, demonstrating the feasibility of this approach. (shrink)

Abstract Do the central aims of epistemology, like those of moral philosophy, require that we designate some important place for those concepts located between the thin-normative and the non-normative? Put another way, does epistemology need "thick" evaluative concepts and with what do they contrast? There are inveterate traditions in analytic epistemology which, having legitimized a certain way of viewing the nature and scope of epistemology's subject matter, give this question a negative verdict; further, they have carried with them a tacit (...) commitment to what we argue to be an epistemic analogue of the reductionistic centralist thesis which Bernard Williams, in our view, successfully repudiates in ethics. In this essay, we challenge the epistemic analogue of the traditional but mistaken thesis. In offering an alternative to it which provides a comfortable home for the epistemic normativity which attends thick evaluative concepts, we align ourselves with what has been recently called the Value Turn in epistemology. From this perspective, we defend that, contrary to tradition, as influenced by centralist assumptions, epistemology does need thick evaluative concepts. Further, the sort of theories that will be able to give thick evaluative concepts an irreducible role in both belief and agent evaluation are adequately social epistemologies. What loosely refer to as second-wave of virtue epistemology is the widespread interest to provide a comfortable home for the role of thick normativity, as it is connected both with epistemic evaluation, and guidance. We recognize that, in breaking from centralism, there is a worry that a resulting anti-centralist theory will be reductionistic in the other direction, making the thick primary. We contend however that second-wave virtue epistemologies take different sources of social and epistemic value into account; they seek the 'right thickness' to ride with conception of epistemology and a field which due in part to virtue theory's resurgence, is today normative, diverse and expansive than was the traditional set of problems from which it emerged. (shrink)

Abstract : Background: Vegetable agriculture is very important to human continued existence and remains a key driver of many economies worldwide, especially in underdeveloped and developing economies. Objectives: There is an increasing demand for food and cash crops, due to the increasing in world population and the challenges enforced by climate modifications, there is an urgent need to increase plant production while reducing costs. Methods: In this paper, Lemon classification approach is presented with a dataset that contains approximately 2,000 images (...) belong to 3 species at a few developing phases. Convolutional Neural Network (CNN) algorithms, a deep learning technique extensively applied to image recognition was used, for this task. The results: found that CNN-driven lemon classification applications when used in farming automation have the latent to enhance crop harvest and improve output and productivity when designed properly. The trained model achieved an accuracy of 99.48% on a held-out test set, demonstrating the feasibility of this approach. (shrink)

ABSTRACT: In antiquity we encounter a distinction of two types of hypothetical syllogisms. One type are the ‘mixed hypothetical syllogisms’. The other type is the one to which the present paper is devoted. These arguments went by the name of ‘wholly hypothetical syllogisms’. They were thought to make up a self-contained system of valid arguments. Their paradigm case consists of two conditionals as premisses, and a third as conclusion. Their presentation, either schematically or by example, varies in different authors. For (...) instance, we find ‘If (it is) A, (it is) B; if (it is) B, (it is) C; therefore, if (it is) A, (it is) C’. The main contentious point about these arguments is what the ancients thought their logical form was. Are A, B, C schematic letters for terms or propositions? Is ‘is’, where it occurs, predicative, existential, or veridical? That is, should ‘A esti’ be translated as ‘it is an A’, ‘A exists’, ‘As exist’ or ‘It is true/the case that A’? If A, B, C are term letters, and ‘is’ is predicative, are the conditionals quantified propositions or do they contain designators? If one cannot answer these questions, one can hardly claim to know what sort of arguments the wholly hypothetical syllogisms were. In fact, all the above-mentioned possibilities have been taken to describe them correctly. In this paper I argue that it would be mistaken to assume that in antiquity there was one prevalent understanding of the logical form of these arguments - even if the ancients thought they were all talking about the same kind of argument. Rather, there was a complex development in their understanding, starting from a term-logical conception and leading to a propositional-logical one. I trace this development from Aristotle to Philoponus and set out the deductive system on which the logic of the wholly hypothetical syllogisms was grounded. (shrink)

ABSTRACT: A systematic reconstruction of Chrysippus’ theory of causes, grounded on the Stoic tenets that causes are bodies, that they are relative, and that all causation can ultimately be traced back to the one ‘active principle’ which pervades all things. I argue that Chrysippus neither developed a finished taxonomy of causes, nor intended to do so, and that he did not have a set of technical terms for mutually exclusive classes of causes. Rather, the various adjectives which he used for (...) causes had the function of describing or explaining particular features of certain causes in particular philosophical contexts. I challenge the sometimes assumed close connection of Chrysippus’ notion of causation with explanation. I show that the standard view that the distinction between proximate and auxiliary causes and perfect and principal causes corresponds to the distinction between internal and external determining factors is not born out by the evidence, and argue that causes of the two types were not thought to co-operate, but rather conceived of as alternatives. (shrink)

Abstract Most discussions of risk are developed in broadly consequentialist terms, focusing on the outcomes of risks as such. This paper will provide an alternative account of risk from a virtue ethical perspective, shifting the focus to the decision to take the risk. Making ethical decisions about risk is, we will argue, not fundamentally about the actual chain of events that the decision sets in process, but about the reasonableness of the decision to take the risk in the first place. (...) A virtue ethical account of risk is needed because the notion of the ‘reasonableness’ of the decision to take the risk is affected by the complexity of the moral status of particular instances of risk-taking and the risk-taker’s responsiveness to these contextual features. The very idea of ‘reasonable risk’ welcomes judgments about the nature of the risk itself, raises questions about complicity, culpability and responsibility, while at its heart, involves a judgement about the justification of risk which unavoidably focuses our attention on the character of the individuals involved in risk making decisions. Keywords: Risk; ethics; morality; responsibility; virtue; choice; reasons . (shrink)

Abstract Charles Darwin, in his discussions with Asa Gray and in his published works, doubted whether God could so arrange it that exactly the desired contingent events would occur to cause particular outcomes by natural selection. In this paper, I argue that even a limited or neo-Leibnizian deity could have chosen a world that satisfied some arbitrary set of goals or functions in its outcomes and thus answer Darwin's conundrum. In more general terms, this supports the consistency of natural selection (...) with providentialism, and makes “theistic evolutionism” a coherent position to hold. (shrink)

Abstract - Evolutionary, ecological and ethical studies are, at the same time, specific scientific disciplines and, from an historical point of view, structurally linked domains of research. In a context of environmental crisis, the need is increasingly emerging for a connecting epistemological framework able to express a common or convergent tendency of thought and practice aimed at building, among other things, an environmental policy management respectful of the planet’s biodiversity and its evolutionary potential. -/- Evolutionary biology, ecology and ethics: at (...) first glance, three different objects of research, three different worldviews and three different scientific communities. In reality, there are both structural and historical links between these disciplines. First, some topics are obviously common across the board. Second, the emerging need for environmental policy management has gradually but radically changed the relationship between these disciplines. Over the last decades in particular, there has emerged a need for an interconnecting meta-paradigm that integrates more strictly evolutionary studies, biodiversity studies and the ethical frameworks that are most appropriate for allowing a lasting co-evolution between natural and social systems. Today such a need is more than a mere luxury, it is an epistemological and practical necessity. -/- In short, the authors of this volume address some of the foundational themes that interconnect evolutionary studies, ecology and ethics. Here they have chosen to analyze a topic using one of these specific disciplines as a kind of epistemological platform with specific links to topics from one or both of the remaining disciplines. Michael Ruse’s chapter, for instance, elucidates some of the structural links between Darwinismand ethics. Ruse analyzes the Evolutionism vs. Creationism debate, emphasizing the risks run by scientists when they ideologize the scientific content of their studies. In the case of the contributions of Jean Gayon and Jean-Marc Drouin, which respectively deal with the disciplines of evolutionary biology and ecology, some central connections have been developed between these two disciplines, while reserving the option to consider in detail their topic in order to discover essential features ormeanings. Gayon analyzes the multilayered meanings of “chance” in evolutionary studies and the methodological implications that accompany such disparatemeanings. Froma similar analytical perspective, Drouin’s contribution focuses on the identification and critical evaluation of the different conceptions of time in ecology. Chance and time, factors of evolution in species and ecological systems, play a very important function in both disciplines, and these chapters help to capture their polysemous structure and development. Bryan Norton’s chapter, on adaptive environmental management, is set within an epistemological context where the Darwinian paradigm, ecological knowledge and ethical frameworks meet to give rise to practical, conservationist policies. In his contribution, Patrick Blandin pleads for the necessity of an eco-evolutionary ethics capable of fully encompassing humanity’s responsibility in the future determination of the biosphere’s evolutionary paths. Our value systems must recognize the predominant place that humanity has taken in the evolutionary history of the planet, and integrate the ethical ramifications of scientific advances in evolutionary and ecological studies. The chapter by J. Baird Callicott introduces us to a metaphorical ecological reversion with direct consequences for our moral conduct. If ecology showed that ecosystems are not organisms, recognizing organisms as a kind of ecosystem could be the basis for a new post-modern ecological ethics that lays the foundation for a better moral integration of humans with the environment. The contributions of Robin Attfield and Tom Regan delve into some of the classical issues in environmental ethics, situating them within a broader ecological and evolutionary context. Attfield’s chapter tackles the confrontation between individualistic and ecologically holistic perspectives, their different approaches to the issue of intrinsic value, and their tangled relation to monism and pluralism. Regan’s contribution ponders the criteria that allow individual beings, human and non-human, to own moral rights, the role of the struggle for existence in the relationship between species, and the logical difficulties involved in attributing intrinsic value to collective entities (species, ecosystems). Catherine Larrère’s chapter discusses the opposition between two environmental and ethical worldviews with very different philosophical centers of gravity: nature and technology. These opposing perspectives have direct consequences not only for the perception of the problems at hand and for what entities are deemed morally significant, but also for the proposed solutions. -/- To set out some foundational events in the history of evolutionary biology, ecology and environmental ethics is a first necessary step towards a clarification of their major epistemological orientations. On the basis of this inevitably nonexhaustive history, it will be possible to better position the work of the different contributors, and to build a meta-paradigm, i.e. a connecting epistemological framework resulting from one common or convergent tendency of thought and practice shared by different disciplines. (shrink)

ABSTRACT: Simon Baron-Cohen has argued that autism and related developmental disorders (sometimes called “autism spectrum conditions” or “autism spectrum disorders”) can be usefully thought of as the condition of possessing an “extreme male brain.” The impetus for regarding autism spectrum disorders (ASD) this way has been the accepted science regarding the etiology of autism, as developed over that past several decades. Three important features of this etiology ground the Extreme Male Brain theory. First, ASD is disproportionately male (approximately 10:1 in (...) the case of Asperger’s Syndrome or high-functioning autism (HFA) and approximately 4:1 in the case of autistic disorder). Second, ASD is not psychogenic but biological in origin, and hence is not the product of sexist conditioning or childrearing practices, although these may affect the development of the disorder. Third, ASD is regarded as a spectrum developmental disorder, unlike other disorders such as Down Syndrome that are diagnosed by a (nearly) binary criterion. Down Syndrome, for example, is diagnosed by the presence in all or most cells within a given individual of an extra copy of Chromosome 21. Autism, on the other hand, is diagnosed by the presence of a set of symptoms that vary in their intensity and in their milder forms seem to conform to purported sex differences in cognitive, emotional, and social functioning. -/- In this paper, I do not challenge accepted science regarding the etiology of autism, and I do not challenge the idea of ASD as a disorder. Nor do I wish to offer an alternative account of what autism is. Instead, I focus on the usefulness of thinking of a disorder as an extreme version of ordinary sex differences. Does it follow from the fact that a disorder is more often found in men that we should think of it as an extreme form of maleness? If not, what other conditions must be met in order to warrant this way of thinking about ASD? What does it mean to say that ASD is a form of “extreme male brain”? Feminists are rightly skeptical of theories that make claims about male and female brains, so how should we respond to the clear evidence that the differences between typical and ASD individuals are not caused by childrearing practices? I explain what I take to be Baron-Cohen’s central argument that autism should be seen as the extreme male brain, and critique that argument. I conclude that there is no good argument that autistic symptoms should be regarded as an extreme form of male mental traits, and that Baron-Cohen’s claim does not help us to understand autism, women, or men. His claim is a speculative thesis that is readily mobilized for sexist practices. As such it requires a higher threshold for evidentiary support and rigorous argumentation—support and argumentation that does not exist. -/- KEYWORDS: autism, brain, gender, neuroscience, feminism, male . (shrink)

Abstract This paper offers an appraisal of Phillip Pettit's approach to the problem how a merely finite set of examples can serve to represent a determinate rule, given that indefinitely many rules can be extrapolated from any such set. I argue that Pettit's so-called ethnocentric theory of rule-following fails to deliver the solution to this problem he sets out to provide. More constructively, I consider what further provisions are needed in order to advance Pettit's general approach to the problem. I (...) conclude that what is needed is an account that, whilst it affirms the view that agents' responses are constitutively involved in the exemplification of rules, does not allow such responses the pride of place they have in Pettit's theory. (shrink)

By setting the focus on issues of dependence and embodiment, feminist work has and continues to radically improve our understanding of Kant’s practical philosophy as one that is not (as it typically has been taken to be) about disembodied abstract rational agents. This paper outlines this positive development in Kant scholarship in recent decades by taking us from Kant’s own comments on women through major developments in Kant scholarship with regard to the related feminist issues. The main aim is to (...) provide an overview of the philosophical resources already available in the literature as well as a sense of where main interpretive and philosophical challenges currently lie. More specifically, I start with a brief summary of the kinds of statements Kant makes about women that give rise to the many interpretive and philosophical puzzles facing anyone who reads his philosophy carefully. I then provide a brief historical overview of many of the pioneering women Kant scholars who made it possible for there to be so many excellent women scholars in the Kant community today and for firmly establishing the condition of woman as a point of inquiry on the philosophical map. The last section is organized in themes to give the reader a sense of the current, related discussions. I provide an overview of the more recent literature regarding Kant on women, embodiment (sexual objectification, sexual activity, sexual violence, abortion), care relations (marriage, dependents, servants), and systemic injustice (poverty, sex work, and oppression). As we will see, these many engagements with Kant’s philosophy not only help us to better understand our inherited women-undermining and problematic dependency-furthering institutions and practices, but also provide ample philosophical resources that can be utilized in our efforts to envision the project of reform such that we can achieve a better future for each and all. (shrink)

Abstract. On the Direct Reference thesis, proper names are what I call ‘genuine terms’, terms whose sole semantic contributions to the propositions expressed by their use are the terms’ semantic referents. But unless qualified, this thesis implies the false consequence that sentences containing names that fail to refer can never express true or false propositions. (Consider ‘The ancient Greeks worshipped Zeus’, for instance.) I suggest that while names are typically and fundamentally used as genuine terms, there is a small class (...) of names, which I call ‘descriptive names’, whose reference is fixed by commonly associated definite descriptions, and I also suggest that there is an idiom of natural language on which such names can be used as abbreviated definite descriptions in a limited set of sentential contexts, including (1) positive and negative existentials, (2) cognitive ascriptions, and (3) uses of names to talk about myth. Uses of empty descriptive names in such contexts can then be either true or false. Relying on Gregory Currie’s theory of truth in fiction, I also propose an idiom on which fictional names can be used as short for a certain type of description in talk about fiction. Along the way, I provide arguments that names are used as short for descriptions in substantive existential statements as well as in both metamythic and metafictive contexts. I also discuss and criticize alternative views of these matters, including the views of David Braun, Saul Kripke, Peter van Inwagen, and others. (shrink)

Abstract The paper explicates a set of criteria the joint satisfaction of which is taken to qualify moral judgements as cognitive. The paper examines evidence that some moral judgements meet these criteria, and relates the resulting conception of moral judgements to ongoing controversies about cognitivism in ethics.

We analyse Peirce's original idea concerning abduction from the perspective of a critical philosophy, the same philosophy in Peirce's background. Peirce's realism is directly related to reason and experience and has ties with the idea of abstraction. We show how the philosophical environment of science abruptly changed, specially for physics, in the last period of the XIX century and the initial period of the XX century, when science was divided in disciplines and set free from the control of philosophy. The (...) phenotype of the physicist changed from abstract into imaginative thinker. Further, abstraction was linked to metaphysics and attacked as such. Elements of phantasy and dogmatism entered the scene in place of abstraction alongside ideas taken from the observable world. We provide evidence that the scientists of the newer kind had problems understanding those of the older school. As a consequence of the problems arisen in conciliating the idea of science grounded in experience and reason with the science actually practised, the former conceptualisation was abandoned. Abduction was then expelled from science. In the late part of the XX century and the early part of our century abduction re-emerged but without its scientific attributes. -/- Influenced by a constructivist, Piagetian, perspective of science, we propose and discuss a small number of conditions that we identify as characteristics of rational abduction: rules for the rational construction of theories. We show how a classical example of belief that satisfies today's most common definition of abduction does not match the standards of scientific retroduction. We further show how the same rules indicate the detachment of Special Relativity from the observable world, a fact actually known to Einstein. Finally, the same rules indicate the initial point in the path to re-conciliate Electromagnetism with the classical view of spatial relations, a matter not possible for the imaginative scientist but not extremely difficult for the abstract scientist. We close arguing that there is an urgent need to develop a critical epistemology, and to give room in science for the abstract scientist. (shrink)

Abstract cantaloupe and honeydew melons are part of the muskmelon family, which originated in the Middle East. When picking either cantaloupe or honeydew melons to eat, you should choose a firm fruit that is heavy for its size, with no obvious signs of bruising. They can be stored at room temperature until you cut them, after which they should be kept in the refrigerator in an airtight container for up to five days. You should always wash and scrub the rind (...) of your melon before you cut it to remove any dirt or bacteria on the outside. In this paper, cantaloupe classification approach is presented with a dataset that contains approximately 1,312 of Cantaloupes and honeydews. Convolutional Neural Network (CNN) algorithms, a deep learning technique extensively applied to image recognition was used, for this task. The results found that CNN-driven classification applications when used in farming automation have the latent to enhance crop harvest and improve output and productivity when designed properly. The trained model achieved an accuracy of 99.74% on a held-out test set, demonstrating the feasibility of this approach. (shrink)

Abstract:While the American pragmatist C. S. Peirce and the twelfth-century Confucian thinker Zhu Xi 朱熹 lived and worked in radically different contexts, there are nevertheless striking parallels in their view of inquiry. Both appeal to the fundamental nature of reality in order to draw conclusions about the way in which inquiry can be a component of the path toward moral perfection. Yet they prominently diverge in their account not only of the fundamental nature of reality, but also of the way (...) in which we have epistemic access to it. These connections between metaphysical fundamentality or structure and epistemology, it is proposed, have the potential to illuminate current debates in metaphysics. Contemporary approaches that appeal either to grounding relations or to joint-carving ideology in characterizing metaphysical structure, it is proposed, implicitly rest on distinct sets of epistemological presuppositions that resemble the respective views of Zhu Xi or Peirce. (shrink)

Abstract A unique aspect of human communication is the utilization of sets of well- delineated entities, the morphology of which is used to encode the letters of the alphabet. In this paper, we focus on Braille as an exemplar of this phenomenon. We take a Braille cell to be a physical artifact of the human environment, into the structure of which is encoded a representation of a letter of the alphabet. The specific issue we address in this paper concerns an (...) examination of how the code that is embedded in the structure of a Braille cell is transferred with fidelity from the environment through the body and into the Braille reader’s brain. We describe four distinct encoding steps that enable this transfer to occur. (shrink)

Abstract: In this paper I argue that luck and fortune are distinct concepts that apply to different sets of events. I do so by suggesting that lucky events are best understood as significant events that are either modally fragile or improbable (depending on whether you accept a modal account or a probability account of luck), whereas fortunate events are best understood as significant events that are outside of our control. I call this the Pure Control Account of Fortune. I show (...) that this account of fortune forces control theorists about luck to be fortune reductionists but allows those who endorse a modal or probability account of luck to be fortune realists. Additionally, I argue that this account of fortune helps us overcome prominent counterexamples and challenges found in the luck literature. (shrink)