This paper is an examination of the concept of recognition and its connection with identity and respect. This is related to the question of how women are or are not adequately recognised or respected for their achievements in sport and whether eliminating sex segregation in sport is a solution. This will require an analysis of the concept of excellence in sport, as well as the relationship between fairness and inclusion in an activity that is fundamentally about bodily movement. I argue (...) that attempts to address the problem of women’s recognition in sport need to do so in ways that neither eliminate sport as a fairness regulated system for developing individual excellence in bodily movement nor that prevent women’s achievement of sporting excellence, with the regard that belongs to them. Doing this requires us to decide whether sport is about champions or about individual excellence. (shrink)

This chapter covers contemporary work on disagreement, detailing both the conceptual and normative issues in play in the debates in mainstream analytic epistemology, and how these relate to religious diversity and disagreement. §1 examines several sorts of disagreement, and considers several epistemological issues: in particular, what range of attitudes a body of evidence can support, how to understand higher-order evidence, and who counts as an epistemic “peer”. §2 considers how these questions surface when considering disagreements over religion, including debates over (...) the nature of evidence and truth in religion, epistemic humility, concerns about irrelevant influences and about divine hiddenness, and arguments over exclusivism, inclusivism, and pluralism. Finally, §3 summarizes the contributors’ essays in this volume. (shrink)

Newton published his deduction of universal gravity in Principia (first ed., 1687). To establish the universality (the particle-to-particle nature) of gravity, Newton must establish the additivity of mass. I call ‘additivity’ the property a body's quantity of matter has just in case, if gravitational force is proportional to that quantity, the force can be taken to be the sum of forces proportional to each particle's quantity of matter. Newton's argument for additivity is obscure. I analyze and assess manuscript versions of (...) Newton's initial argument within his initial deduction, dating from early 1685. Newton's strategy depends on distinguishing two quantities of matter, which I call ‘active’ and ‘passive’, by how they are measured. These measurement procedures frame conditions on the additivity of each quantity so measured. While Newton has direct evidence for the additivity of passive quantity of matter, he does not for that of the active quantity. Instead, he tries to infer the latter from the former via conceptual analyses of the third law of motion grounded largely on analogies to magnetic attractions. The conditions needed to establish passive additivity frustrate Newton's attempted inference to active additivity. (shrink)

In Republic 8–9, Socrates describes four main kinds of vicious people, all of whose souls are “ruled” by an element other than reason, and in some of whom reason is said to be “enslaved.” What role does reason play in such souls? In this paper, I argue, based on Republic 8–9 and related passages, and in contrast to some common alternative views, that for Plato the “enslavement” of reason consists in this: instead of determining for itself what is good, reason (...) is forced to desire and pursue as good a goal determined by the soul’s ruler. (shrink)

This essay responds to four critical essays by Rosemary Kellison, Ebrahim Moosa, Joseph Winters, and Martin Kavka on the author’s recent book, Healthy Conflict in Contemporary American Society: From Enemy to Adversary (Cambridge, 2018). Parts I and II work in tandem to further develop my accounts of strategic empathy and agonistic political friendship. I defend against criticisms that my argument for moral imagination obligates oppressed people to empathize with their oppressors. I argue, further, that healthy conflict can be motivated by (...) a kind of “secular” love. This enables my position to immanently criticize and mediate the claims that one must either love (agapically) one’s opponent in order to engage them in “healthy conflict,” on one hand, or that one must vanquish, exclude, or “cancel” one’s opponent, on the other. In Part III, I demonstrate how my account mediates the challenge of an alleged standing opposition between moral imagination and socio-theoretical critique. I defend a methodologically pragmatist account of immanent prophetic criticism, resistance, and conflict transformation. Finally, I respond to one critic’s vindication of a strong enemy/adversary opposition that takes up the case of white supremacist violence in the U.S. I argue that the time horizon for healthy conflict must be simultaneously immediate and also long-term, provided that such engagements remain socio-critically self-reflexive and seek to cultivate transformational responses. (shrink)

The paper discusses the epistemological basis for how you know what you are doing intentionally (and why). In particular, it challenges and ulimately rejects the claim made by Sarah K. Paul that such knowledge has an inferential basis.

Commentary on Walsh, E. 2020. Cognitive transformation, dementia, and the moral weight of advance directives. The American Journal of Bioethics. 20(8): 54–64.

Two studies demonstrate that a dispositional proneness to disgust (“disgust sensitivity”) is associated with intuitive disapproval of gay people. Study 1 was based on previous research showing that people are more likely to describe a behavior as intentional when they see it as morally wrong (see Knobe, 2006, for a review). As predicted, the more disgust sensitive participants were, the more likely they were to describe an agent whose behavior had the side effect of causing gay men to kiss in (...) public as having intentionally encouraged gay men to kiss publicly— even though most participants did not explicitly think it wrong to encourage gay men to kiss in public. No such effect occurred when subjects were asked about heterosexual kissing. Study 2 used the Implicit Association Test (IAT; Nosek, Banaji, & Greenwald, 2006) as a dependent measure. The more disgust sensitive participants were, the more they showed.. (shrink)

Abstract: Retama raetam (RR) is a traditional medicinal plant belongs to fabaceae family which grows in North Africa and East Mediterranean region. Locally, RR is used in several diseases including diabetes mellitus and hypertension. Thus, this study aims to investigate certain behavioral and central effects of methanolic extract of RR seeds in experimental animals (male Albino adult mice of 20 – 35 gm). Three exploratory behavioral models are used in this study, open field, elevated plus maze and light-dark box models, (...) in addition, picrotoxin induced seizure model in mice. In elevated plus-maze test of anxiety, a dose of 25 mg/kg of RR induced a significant increase in number of open arms entries and time spent on open arms of the maze compared to the control. In light-dark model, time spent on light area and number of light-dark transitions are significantly increased after treatment with 25 mg/kg RR extract of seeds. Open field model also revealed a significant increase in general motor activity of the mouse after 25 mg/kg of RR. On the other hand, a dose of 50 mg/kg of RR significantly induced a profound central and peripheral analgesic responses. In summary, this study concludes that RR seeds have a profound anxiolytic-like effect and analgesic response with delay in latency time of seizure induced by picrotoxin in mice. (shrink)

I argue that Hubert Dreyfus’ work on embodied coping, the intentional arc, solicitations and the background as well as his anti-representationalism rest on introspection. I denote with ‘introspection’ the methodological malpractice of formulating ontological statements about the conditions of possibility of phenomena merely based on descriptions. In order to illustrate the insufficiencies of Dreyfus’ methodological strategy in particular and introspection in general, I show that Heidegger, to whom Dreyfus constantly refers as the foundation of his own work, derives ontological statements (...) about the conditions of possibility of phenomena not merely from descriptions, but also from analyses. I further show that deriving ontological statements directly from descriptions entails implausible results. I do so by discussing representative cases. Based on these general methodological considerations, I show that Dreyfus’ work on action, skill and understanding is introspective. First, I demonstrate that Dreyfus’ influential claim that rules and representations do not govern skillful actions is the result of introspection, because it is merely founded on the absence of rules and representations in representative descriptions of skillful actions. Second, I show that Dreyfus’ work on embodied coping, the intentional arc, solicitations and the background is also based on introspection. These ontological structures are merely reifications of descriptions and are not further substantiated by analyses. (shrink)

In this encyclopedia entry I sketch the way contemporary theorists understand moral responsibility -- its varieties, its requirements, and its puzzles.

This paper is a critical discussion of John Dupré's recent defence of promiscuous realism in Part 1 of his The Disorder of Things: Metaphysical Foundations of the Disunity of Science. It also discusses some more general issues in the philosophy of biology and science. Dupré's chief strategy of argumentation appeals to debates within the philosophy of biology, all of which concern the nature of species. While the strategy is well motivated, I argue that Dupré's challenge to essentialist and unificationist views (...) about natural kinds is not successful. One conclusion is that an integrative conception of species is a real alternative to Dupré's pluralism. (shrink)

The purpose of this book is to further an understanding of religion -- not of the kind that might come from psychological or sociological enquiry -- but an understanding from the inside, so to speak, of the subject-matter of such explanatory enquiries. An understanding of the kind possessed by someone who, firmly believing in a religion, has thought about the nature of religion. The book aims to increase this kind of understanding where it already exists, and in its absence, at (...) bringing about some degree of it without presupposing in a reader any religious belief at all. (shrink)

The author examines the problem of motivation about future generations. He argues that though many philosophers think that direct motivations are problematic for future generations only, they are not unproblematic for the current generations too, and that the motivation problem can be solved if we consider the idea of “leaving the earth no worse.” He also shows why such an idea should be promoted and can motivate us to work in the best interests of current and future generations. The author (...) also contends that prioritizing the idea of “leaving the earth no worse” is not exclusively anthropocentric. (shrink)

The purpose of this book is to piece together in some detail the philosophy of Common Sense from its fragmentary state in the writings of Thomas Reid and the other members of his school, to consider it in relation to David Hume, and to try and show the significance of its account of the nature and authority of common sense for present-day discussion.

A suggestion famously made by Peter Winch and carried through to present discussions holds that what constitutes the social as a kind consists of something shared – rules or practices commonly learned, internalized, or otherwise acquired by all members belonging to a society. This essays argues against the explanatory efficacy of appeals to this shared something as constitutive of a social kind by examining a violation of social norms or rules, viz., mistakes. I argue that an asymmetric relation exists between (...) the notion of mistakes and that of the social. In particular, mistakes do not presuppose a concept of the social, but the concept of the social requires prior specification of a category of mistakes. But no such prior specification proves possible. The very notion of a mistake is so inchoate that it makes it impossible to provide the kind of regimentation required for a rule-governed domain. Thus, there may be recognized mistakes even in the absence of a unified system or common knowledge of norms.Later writers attempt to avoid Winch's over-strong assumption that something shared and internal constitutes the social but cannot. Extending recent work by Stephen Turner, I argue that ``the social'' is not a domain that is susceptible to lawlike treatment, but rather a heterogeneous, motley collection. For absent the assumption of a shared something, no social object exists to be explained. So, I conclude, we have at present no clear way of marking out the social as a coherent or unified domain of inquiry. (shrink)

This paper subjects Dan Brown’s most recent novel Origin to a philosophical reading. Origin is regarded as a literary window into contemporary technoscience, inviting us to explore its transformative momentum and disruptive impact, focusing on the cultural significance of artificial intelligence and computer science: on the way in which established world-views are challenged by the incessant wave of scientific discoveries made possible by super-computation. While initially focusing on the tension between science and religion, the novel’s attention gradually shifts to the (...) increased dependence of human beings on smart technologies and artificial intelligence. Origin’s message, I will argue, reverberates with Oswald Spengler’s The Decline of the West, which aims to outline a morphology of world civilizations. Although the novel starts with a series of oppositions, most notably between religion and science, the eventual tendency is towards convergence, synthesis and sublation, exemplified by Sagrada Família as a monumental symptom of this transition. Three instances of convergence will be highlighted, namely the convergence between science and religion, between humanity and technology and between the natural sciences and the humanities. (shrink)

There appears to be a tension between two commitments in liberalism. The first is that citizens, as rational agents possessing dignity, are owed a justification for principles of justice. The second is that members of society who do not meet the requirements of rational agency are owed justice. These notions conflict because the first commitment is often expressed through the device of the social contract, which seems to confine the scope of justice to rational agents. So, contractarianism seems to ignore (...) the justice claims of the severely cognitively impaired. To solve this problem, Martha Nussbaum proposes the capabilities approach. The justifiability condition, on this approach, is met by the idea of overlapping consensus. This essay argues that overlapping consensus cannot meet liberalism’s justifiability condition, nor is it more inclusive of the cognitively impaired. Therefore, we have reason to retain the contract device and look for another way to ensure that liberalism respects the justice claims of all. (shrink)

A heuristic is a rule of thumb. In psychology, heuristics are relatively simple rules for making judgments. A fast heuristic is easy to use and allows one to make judgments quickly. A frugal heuristic relies on a small fraction of the available evidence in making judgments. Typically, fast and frugal heuristics (FFHs) have, or are claimed to have, a further property: They are very reliable, yielding judgments that are about as accurate in the long run as ideal non-fast, non-frugal rules. (...) This paper introduces some well-known examples of FFHs, raises some objections to the FFH program, and looks at the implications of those parts of the FFH program about which we can have some reasonable degree of confidence. (shrink)

After a brief introduction and review of recent literature on microaggressions, a theoretical typology of three sources of social injustice (oppression, dehumanization, and exploitation) contributes to the theorization of the sources of microaggressions. A selected compendium of words and affective phrases generated in classroom exercises illustrates the nature of the experience of the moment of microaggression. Future research on microaggressions as well as evaluation of practice should examine the experience of microaggression, including being subjected to microaggression, initiating such acts, and (...) observing such acts. (shrink)

This essay presents the nature of aesthetic judgment, the significance of aesthetic judgment and finally, the relevance of art to understanding aesthetic judgment.

David Lewis' objection to a generic theory of modality which he calls ‘magical ersatzism’ is that its linchpin, a relation he calls ‘selection’, must be either an internal or an external relation, and that this is unintelligible either way. But the problem he points out with classifying selection as internal is really just an instance of the general problem of how we manage to grasp underdetermined predicates, is not peculiar to magical ersatzism, and is amenable to some familiar solutions. He (...) provides no compelling grounds for thinking that classifying selection as external is unintelligible, and his argument has a false presupposition. I conclude that magical ersatzism is still a viable option in the metaphysics of modality. (shrink)

A reading of Feyerabend in Against Method, and a comparison of C.S. Peirce.

Abstract— Unmanned Ground Vehicle (UGV) is a mechanical device that moves on the sky and serves as a means of carrying, transporting something, or mapping the location and controlled remotely. UGV is widely used in a variety of terrain difficult to reach or dangerous for human safety, eg for the location of a natural disaster, radiation, or to defuse the bomb in the military. This research was designed and manufactured human machine interface for remote control system and displayed the UGV (...) movement according to target poin that have been determined. UGV movement data obtained from GPS sensor and encoder. Received data would be showed on computer used visual studio. Measurement data was sent wirelessly from the microcontroller to the computer using the YS-1020UA module. The results showed that the movement of UGV can be displayed on the interface on the laptop. Received Datawas displayed in the form of graphs and data in tables form. UGV can be remotely controlled to move from one target to another, moreover it can also be controlled manually or automatically which can be set throgh the interface. -/- . (shrink)

An eternal society with the abilities of ordinary humans in each year of its existence would have had the ability to actualize a logical contradiction. This fact casts doubt on the metaphysical possibility of an infinite past. In addition to using this paradox in an argument against an infinite past, one can also use the paradox mutatis mutandis as a decisive argument against the sempiternality of God.

A computational theory is developed that explains how line drawings of polyhedral objects can be interpreted rapidly and in parallel at early levels of human vision. The key idea is that a time-limited process can correctly recover much of the three-dimensional structure of these objects when split into concurrent streams, each concerned with a single aspect of scene structure.

Beauty is evil, a surreptitious diversion of earthly delights planted by the devil, according to the third century theologian-philosopher Tertullian. Beauty is a manifestation of the divine on earth, according to another third century philosopher, Plotinus. Could these two really be talking about the same thing? That beauty evokes an experience of pleasure is probably the only point on which all participants in the continuing debate on beauty agree. But what kinds of pleasure one considers relevant to an experience of (...) beauty, is the crux of the problem of beauty. In ancient, medieval and eighteenth century philosophy, the problem of beauty was framed by the larger concern of what constituted a good life. The question regarding the nature of beauty was answered with a view to its role in achieving the good life for those who cultivated its apprehension. In the twentieth century, philosophers framed the problem of beauty as a problem for conceptual analysis. The questions asked were: Is beauty subjective or objective? Are there properties in the object that count towards beauty in all cases; that are sufficient or necessary for an object to be judged beautiful? What kind of pleasure is the pleasure we experience of beauty? I will examine how these questions can be seen to have been answered by earlier philosophical traditions and then I will use these questions as a guide to developing an explanatory theory of beauty based on contemporary theories of perception. (shrink)

We present a rigorous way to evaluate the visual perception of correlation in scatterplots, based on classical psychophysical methods originally developed for simple properties such as brightness. Although scatterplots are graphically complex, the quantity they convey is relatively simple. As such, it may be possible to assess the perception of correlation in a similar way. Scatterplots were each of 5.0 extent, containing 100 points with a bivariate normal distribution. Means were 0.5 of the range of the points, and standard deviations (...) 0.2 of this range. Precision was determined via an adaptive algorithm to find the just noticeable differences (jnds) in correlation, i.e., the difference between two side-by-side scatterplots that could be discriminated 75% of the time. Accuracy was measured by direct estimation, using reference scatterplots with fixed upper and lower values, with a test scatterplot adjusted so that its correlation appeared to be halfway between these. This process was recursively applied to yield several further estimates. Results of the discrimination tests show jnd(r) = k (1/b – r), where r is the Pearson correlation, and parameters 0 < k, b < 1. Integration yields a subjective estimate of correlation g(r) = ln(1 – br) / ln(1– b). The values of b found via discrimination closely match those found via direct estimation. As such, it appears that the perception of correlation in a scatterplot is completely described by two related performance curves, specified by two easily-measured parameters. (shrink)

The main objective of this project is to provide acoustic assistance to the blind people and also deal with the problems faced by them to walk like the normal human beings. Thus the project aims to develop a device that would serve as a guiding assistance to them. The paper focuses on designing a device for visual impaired (or blind) people that would help them to travel independently and also with more ease. One of the biggest problem that the visual (...) impaired ones face is while travelling because when they walk in the indoors and outdoors they are not well aware of information about their location and orientation with respect to traffic and obstacles on their way unlike the normal beings. The technology proposed in the paper serves as a solution for visual impaired people. The project consists of smart shoe and smart cane (stick) that alerts visually impaired people over obstacles coming between their ways and could help them in walking with less collision. The main objective of this paper is to address a reliable encompassing of a call and a shoe that could communicate with the user through voice alert and pre-coded messages. (shrink)

In this paper, I argue the importance of competition and cooperation cannot be denied as they both are instrumental in making any business transaction. Because two parties always set for themselves different priorities to a business transaction, business has been thought of in terms of competition. But cooperative action is also important, because in the case of cooperative activities the overall total is greater (though the outcomes differ) if we do cooperate than if we do not. Hence humans form cooperative (...) groups to compete for scarce resources. Those business firms, where employees take specialized, interdependent jobs and work together to compete in the free market, produce higher quality products and show greater work efficiency. Hence friendly cooperation is needed to compete more efficiently against other individuals or groups. It is for this reason people should value more in belonging to a group, practicing teamwork, helping others, etc. They should put more value on cooperation than competition though both competition and cooperation are natural to man. (shrink)

Abstract: The study aimed to identify the technological games and their relation to the level of student achievement. The data and information were collected through a questionnaire designed specifically for this purpose. The study population consisted of all teachers and teachers of the seventh grade stage. The sample consisted of (30) In the Gaza City, 30 questionnaires were retrieved at a 100% recovery rate and analyzed using the statistical analysis program. The researcher used the analytical descriptive approach to achieve the (...) research objectives. The results indicated that the responses of the basic elementary school teachers in Gaza city towards technological games The percentage of response to the total score was very high in terms of the percentage (76.67%). There were statistically significant differences at the α = 0.05 level between the responses of the tests on the impact of technological games on scholastic achievement. (shrink)

People can laugh at almost anything. What’s the deal with that? What makes something funny? -/- This essay reviews some theories of what it is for something to be funny. Each theory offers insights into this question, but no single approach provides a comprehensive answer.

In his classic essay, "The Dilemma of Determinism", William James argues that the truth of determinism would make regret irrational. Given the central role of regret in our moral lives, James concludes that determinism is false. In this paper I explore the attitude of regret and show that James's argument is mistaken. Not only can we rationally regret events that were determined to occur, but we can also rationally regret events that had to occur.

Philosophers constantly see the method of science before their eyes, and are irresistibly tempted to ask and answer questions in the way science does. This tendency is the real source of metaphysics and leads the philosopher into complete darkness.

A knowledge argument is offered that presents unique difficulties for Christians who wish to assert that God is essentially omniscient. The difficulties arise from the doctrine of the incarnation. Assuming that God the Son did not necessarily have to become incarnate, then God cannot necessarily have knowledge de se of the content of a non-divine mind. If this is right, then God’s epistemic powers are not fixed across possible worlds and God is not essentially omniscient. Some options for Christian theists (...) are discussed, including rejecting traditional theism in favour of some version of pantheism or panentheism. (shrink)

A major criticism of David Lewis’ counterfactual theory of causation is that it allows too many things to count as causes, especially since Lewis allows, in addition to events, absences to be causes as well. Peter Menzies has advanced this concern under the title “the problem of profligate causation.” In this paper, I argue that the problem of profligate causation provides resources for exposing a tension between Lewis’ acceptance of absence causation and his modal realism. The result is a different (...) problem of profligate causation—one that attacks the internal consistency of Lewisian metaphysics rather than employing common sense judgments or intuitions that conflict with Lewis’ extensive list of causes. (shrink)

It is tough to relate visual perception or other achievements to physiological processing in the central nervous system. The diagrammatic, algebraic, and verbal pictures of how sights seem to Lehar do not advance understanding of how we manage to see what is in the world. There are well-known conceptual reasons why no such purely introspective approach can be productive.

A comparison of the ways in which Hegel and Heidegger critique modernity.

The capacity of visual attention/STM can be determined by change-detection experiments. Detecting the presence of change leads to an estimate of 4 items, while detecting the absence of change leads to an estimate of 1 item. Thus, there are two magical numbers in vision: 4 and 1. The underlying limits, however, are not necessarily those of central STM.

In a landmark legal case in 1996, eugenics survivor Leilani Muir successfully sued the province of Alberta for wrongful confinement and sterilization. The legal finding implied that Ms. Muir should never have been institutionalized at the Provincial Training School of Alberta as a “moron” and sterilized under the Sexual Sterilization Act of Alberta. The trial itself revealed many unsettling features of the province’s practice of eugenics, raising questions about how a seemingly large number of people, like Ms. Muir, who were (...) not mentally defective, could have been wrongfully confined at an institution for the feeble-minded, and subsequently sterilized on eugenic grounds. Employing a three-agent model of wrongful accusation and conceiving of eugenics as wrongful more generally may help in understanding the operation of eugenic practices, such as institutionalization and sterilization, both in Western Canada and elsewhere. Eugenic practice involves a form of wrongful accusation that marks a significant departure from eugenic ideology. (shrink)

An introduction is given to the geometry and harmonics of the Golden Apex in the Great Pyramid, with the metaphysical and mathematical determination of the fine-structure constant of electromagnetic interactions. Newton's gravitational constant is also presented in harmonic form and other fundamental physical constants are then found related to the quintessential geometry of the Golden Apex in the Great Pyramid.

This paper weaves together a number of separate strands each relating to an aspect of Wittgenstein’s Philosophical Investigations. The first strand introduces his radical and incoherent idea of a private object. Wittgenstein in § 258 and related passages is not investigating a perfectly ordinary notion of first person privacy; but his critics have treated his question, whether a private language is possible, solely in terms of their quite separate question of how our ordinary sensation terms can be understood, in a (...) philosophical context, to acquire meaning. Yet it is no part of his intention to demonstrate logically that ordinary sensations are not intrinsically meaningful. This is a tempting yet misleading picture, the picture also expressed through the idea of Augustine’s child who is conceptually articulateprior to learning how to talk. This picture lies behind the born Crusoe, an idea at the centre of the dichotomy between language as essentially shared and essentially shareable, a dichotomy considered here to result from a misconception of two quite separate but related aspects of Wittgenstein’s treatment offollowing a rule. The notion of a misleading picture, in both its pre-theoretical and philosophical aspects, also plays a crucial role in a treatment of Saul Kripke’s well-known “Postscript: Wittgenstein and Other Minds.”. (shrink)

In the last twenty eight years DreamBoat Children’s theatre has gained prominence in South-South Nigeria. Its operations have become more professional and have received more attention within the school system. But this was not so in the beginning. The study set out to find out what factors led to this development. Qualitative method was used to gather data from children, teachers and practitioners as well as observation of many DreamBoat’s children’s theatre productions across two states of Cross River and Akwa (...) Ibom. Data was gathered from over 500 children and two hundred teachers in four towns. The principal question the study sought to answer was: How can the DreamBoat children’s theatre performances help the child perceive patterns, relations feelings and produce an inner meaning? Or how do children experience theatre aesthetically? The research findings revealed that the type of stories enacted were the principal framework of transmitting meanings to young persons, the play is the heart of production and another aesthetics medium is the style of production. This is the icing on the cake it adds colours, sparkle and glamour. Conclusively as Children’s theatre producers work to stir the souls of young people by bringing them universal themes, feeding their imagination and giving beauty and fantasy enshrined in theatre which embodies all arts, then and only then will valuable contributions be made to the growth of creative individuals who will hold the baton for generations yet unborn. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)