For the most part, contemporary logicians discuss previous logicians’ ideas from different civilizations and make comments thereon, thus addressing specialists in logic studies. In many education systems, the science philosophy and logic principles do not play a preliminary role. Today, in many education systems the science of philosophical thinking and logic principles should play a preliminary role for rational inferences. Unfortunately, in education systems there is little formal training about the principles of logic and their extraordinary capacity to sharpen the (...) mind with brain experiments, which leads to the attaining of innovative ideas. This is the case especially in engineering institutions, where the students are fed with various mathematical principles, equations and numerical solution methodologies. Although classically almost everybody states that mathematics is based on logic, logical principles are not thought through systematically in education systems.. In this short paper the main purpose is to mention t the logical principles that should be beneficial to the young generation, regardless of whether the interest is in logical sciences or in basic works to arrive at limitless logical conclusions. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy, Psychiatry, & Psychology 9.1 (2002) 55-59 [Access article in PDF] One Stage Is Not Enough Andrew W. Young and Karel W. de Pauw Keywords: delusions, Cotard delusion, Capgras delusion, cognitive neuropsychiatry. WE WELCOME THE OPPORTUNITY to offer our reflections on Philip Gerrans' interesting paper. Our opinion is that on fundamental issues we agree quite a bit—but there are clear differences when it comes to details.The most basic (...) issue concerns the nature of the enterprise. Like Gerrans, we think that it is possible to create testable accounts of the formation and maintenance of what would otherwise seem bizarre and inexplicable delusions, and that these accounts should be grounded in theoretical models of factors that underpin our everyday perception and reasoning. This general approach certainly forms part of what has been called cognitive neuropsychiatry. However, we disagree with Gerrans in that we see cognitive neuropsychiatry as an attempt to draw on the underlying logic of cognitive neuropsychology, rather than (as Gerrans implies) its current methods. The underlying logic of cognitive neuropsychological approaches has been to try to understand the effects of brain injury in terms of disruption of different components of theoretical models of normal abilities. In this approach, a model of normal performance is tested by its ability to account for the effects of brain injury. Where the model of normal performance also provides a convincing account of brain injury it is retained, and when it fails to account for effects of brain injury, it is revised or abandoned. In cognitive neuropsychiatry, the key theoretical move has been to argue that an adequate model of normal performance should be able to account for any disordered pattern (Ellis and Young 1990). The same logic of seeking to explain disordered performance by reference to models of normal function is then attempted, but for disorders that would usually fall within the province of psychiatry.In our opinion, however, cognitive neuropsychiatry will not simply involve importing the methods of cognitive neuropsychology into the new domain; they will need to be developed and adapted to fit the new agenda (Young 2000).In cognitive neuropsychology, progress has often come from the careful investigation of people with stable, selective deficits of fundamental cognitive functions involved in sensory analysis, memory, and verbal or motor output. In contrast, delusional beliefs can be relatively unstable; often they are only held for a few weeks or even days. When the delusions change, patients may modify or abandon them as suddenly as they seemed to form them, or they may give them up much more slowly and reluctantly. At the very least, this creates difficulties in the timing of investigations and in interpreting the relation of deficits and symptoms, which may be recorded on separate dates. These methodological problems [End Page 55] are exacerbated by the fact that deficits linked to complex abnormal experiences such as delusions may be multifaceted and diffuse, even when the delusions themselves have a specific content or theme. Such complications do not invalidate cognitive neuropsychiatry, but they do mean it will need to develop its own methods for dealing with them and making appropriate inferences.One of the key complexities that has surfaced already involves the idea that delusional beliefs might reflect the interaction of two or more contributory factors. Gerrans discusses a particular variant of this idea, which had been suggested by Young and Leafhead (1996) as an approach to understanding the Cotard delusion: The Cotard delusion represents a depressed person's attempt to account for abnormal perceptual experiences. It follows that the delusion is based on an unfortunate interaction between different contributory factors. One set of factors creates the abnormal perceptual experiences, which are characterised by lack of emotional responses and feelings of emptiness, depersonalisation and derealisation. The other factors result in a misinterpretation of these perceptual changes, in which the patients' depressed moods lead them correctly to attribute the changes to themselves, but to exaggerate their consequences. (Young and Leafhead, 1996, 166) Gerrans describes this as a two-stage account, but argues that a one-stage account based only on abnormal perceptual... (shrink)

The post-classical (or post-Avicennan, post-Rāzian) genre of the “protocols for dialectical inquiry and disputation” (ādāb al-baḥth wa-l-munāẓara) has its more proximate origins in the famed Risāla of Shams al-Dīn al-Samarqandī (d. 722/1322). The greater part of his conceptions and methodology, however, consists in a streamlining and universalizing of the more strictly juristic dialectic (jadal / khilāf) of his teacher Burhān al-Dīn al-Nasafī (d. 687/1288); and this in turn draws on the highly logicized dialectic of Rukn al-Dīn al-ʿAmīdī (d. 615/1218) and (...) his teacher Raḍī al-Dīn al-Nīsābūrī (d. 617/1220). At the heart of methods in this lineage, and carried forward by al-Samarqandī into the universal ādāb al-baḥth, are three truth-preserving logical relationships critical to the truth-seeking enterprise of dialectic: entailment (talāzum / mulāzama), mutual negation or exclusion (tanāfin / munāfā), and causal concomitance (dawarān). The practical elaboration of these relations reveals a logic in action—a premodern dialogical logic for living disputation praxis. In fact, so critical were these to the dialectical enterprise that al-Samarqandī devoted a specialized treatise entirely to summarizing their defining features and rules, aptly naming it the ʿAyn al-Naẓar, or “Wellspring of Rational Investigation.” In this article, and drawing upon a recently published digital critical edition, I will present an analytical outline of these core logical relations as presented in the ʿAyn al-Naẓar. Then I will address a number of points of interest in this text, grouped under six themes: the potential for cross-disciplinary advancement; notions in discursive development; significant or uniquely contributive formulations; peculiarities of content; signs of an evolving, universalist agenda; and evidence that the ʿAyn al-Naẓar was designed as an aide-mémoire for the active disputant. (shrink)

Qiyās, or “correlational inference”, comprises a primary set of methodological tools recognized by a majority of premodern Sunnī jurists. Its elements, valid modes, and proper applications were the focus of continual argument and refinement. A particular area of debate was the methodology of determining or justifying the ʿilla: the legal cause giving rise to a ruling in God’s Law. This was most often discussed under the rubric of “the modes of causal justification”. Among these modes was the much debated test (...) of dawarān. In brief, proponents of dawarān employed it to justify claims that a property occasioned the ruling in an authoritative source-case. In concert with other considerations, the demonstrated co-presence and co-absence of property and ruling—that is, their concomitance “in existence” and “in nonexistence” — was taken as an indication that the property was the ruling’s ʿilla. Delving further into dawarān and causation, the current study interprets “in existence” and “in nonexistence” not as a kind of metaphor for true and false, but as an accurate terminology vis-à-vis the meaning of causality statements, fully compatible with dominant Islamicate views on causal agency. In brief, a deeper logical and linguistic analysis of the different existential modes of dawarān strongly suggests that we should distinguish property and ruling as types as opposed to tokens. Our reading of dawarān as shaped by a finer-grained structure not only allows us to identify the efficient occasioning process as a function which takes some particular token of the ʿilla and renders a token of the general ruling type, but it allows us to elucidate the role of taʿlīl in shaping an epistemological theory of argument to the best explanation: a sophisticated, premodern manifestation of abductive reasoning. (shrink)

Qiyās, or “correlational inference” (often glossed as “analogy”), comprises a primary set of methodological tools recognized by a majority of premodern Sunnī jurists. Its elements, valid modes, and proper applications were the focus of continual argument and refinement. A particular area of debate was the methodology of determining or justifying the ʿilla: the legal cause (or occasioning factor, or ratio legis) giving rise to a ruling in God’s Law. This was most often discussed (and disputed) under the rubric of “the (...) modes of causal justification” (masālik al-taʿlīl). Among these modes was the much debated test of dawarān (concomitance of presumed cause and effect). In brief, proponents of dawarān employed it to justify claims that a property (waṣf) occasioned the ruling (ḥukm) in an authoritative source-case (aṣl). In concert with other considerations, the demonstrated co-presence (ṭard) and co-absence (ʿaks) of property and ruling—that is, their concomitance “in existence” (wujūdan) and “in nonexistence” (ʿadaman)— was taken as an indication that the property was the ruling’s ʿilla. Delving further into dawarān and causation (ʿilliyya), the current study interprets “in existence” and “in nonexistence” not as a kind of metaphor for true and false (within the framework of a classical truth-functional formal semantics), but as an accurate terminology vis-à-vis the meaning of causality statements, fully compatible with dominant Islamicate views on causal agency. In brief, a deeper logical and linguistic analysis of the different existential modes of dawarān strongly suggests that we should distinguish property (or phenomenon) and ruling (or effect) as types (concepts or propositions linguistically expressed by a sentence) as opposed to tokens (instantiations of the type; the real, ontological events that verify the proposition). Our reading of dawarān as shaped by a finer-grained structure not only allows us to identify the efficient occasioning process as a function which takes some particular token of the ʿilla (arguably, the property or properties which provide the ruling’s material cause) and renders a token of the general ruling type, but it allows us to elucidate the role of taʿlīl (causal justification) in shaping an epistemological theory of argument to the best explanation: a sophisticated, premodern manifestation of abductive reasoning. (shrink)

The post-classical genre of the “protocols for dialectical inquiry and disputation” has its more proximate origins in the famed Risāla of Shams al-Dīn al-Samarqandī. The greater part of his conceptions and methodology, however, consists in a streamlining and universalizing of the more strictly juristic dialectic of his teacher Burhān al-Dīn al-Nasafī ; and this in turn draws on the highly logicized dialectic of Rukn al-Dīn al-ʿAmīdī and his teacher Raḍī al-Dīn al-Nīsābūrī. At the heart of methods in this lineage, and (...) carried forward by al-Samarqandī into the universal ādāb al-baḥth, are three truth-preserving logical relationships critical to the truth-seeking enterprise of dialectic: entailment, mutual negation or exclusion, and causal concomitance. The practical elaboration of these relations reveals a logic in action—a premodern dialogical logic for living disputation praxis. In fact, so critical were these to the dialectical enterprise that al-Samarqandī devoted a specialized treatise entirely to summarizing their defining features and rules, aptly naming it the ʿAyn al-Naẓar, or “Wellspring of Rational Investigation.” In this article, and drawing upon a recently published digital critical edition, I will present an analytical outline of these core logical relations as presented in the ʿAyn al-Naẓar. Then I will address a number of points of interest in this text, grouped under six themes: the potential for cross-disciplinary advancement; notions in discursive development; significant or uniquely contributive formulations; peculiarities of content; signs of an evolving, universalist agenda; and evidence that the ʿAyn al-Naẓar was designed as an aide-mémoire for the active disputant. (shrink)

Software-controlled bots, also called social bots, are computer programs that act like human users on social media platforms. Recent work on detection of social bots is dominated by machine learning approaches. In this paper we explore bot detection as a model checking problem. We introduce Temporal Network Logic which we use to specify social networks where agents can post and follow each other. In this logic we formalize different types of social bot behavior. These are formulas that are satisfied in (...) a model of a network with bots. We provide a simple algorithm to extract a logical model from a real-life social network. We show that we can reduce TNL to a fragment of linear temporal logic with past and use this to establish the computational efficiency of model checking for social bot detection. (shrink)

Formal learning theory formalizes the process of inferring a general result from examples, as in the case of inferring grammars from sentences when learning a language. In this work, we develop a general framework—the supervised learning game—to investigate the interaction between Teacher and Learner. In particular, our proposal highlights several interesting features of the agents: on the one hand, Learner may make mistakes in the learning process, and she may also ignore the potential relation between different hypotheses; on the other (...) hand, Teacher is able to correct Learner’s mistakes, eliminate potential mistakes and point out the facts ignored by Learner. To reason about strategies in this game, we develop a modal logic of supervised learning and study its properties. Broadly, this work takes a small step towards studying the interaction between graph games, logics and formal learning theory. (shrink)

Increasing emphasis on genetic research means that growing numbers of human research projects in Australia will involve complex issues related to genetic privacy, familial information and genetic epidemiology. The Office of Population Health Genomics (Department of Health, Western Australia) hosted an interactive workshop to explore the ethical issues involved in the disclosure of genetic information, where researchers and members of human research ethics committees (HRECs) were asked to consider several case studies from an ethical perspective. Workshop participants used a variety (...) of approaches to examine the complex ethical issues encountered, but did not consistently refer to the values and principles outlined in the National Statement on Ethical Conduct in Human Research (NHMRC 2007) or apply rational ethical approaches. Overall, the data suggested that both researchers and HREC members may benefit from further education and support regarding the application of ethical frameworks to the issues encountered in genetic research. (shrink)

Charles S. Peirce (1839-1914) made relevant contributions to deductive logic, but he was primarily interested in the logic of science, and more especially in what he called 'abduction' (as opposed to deduction and induction), which is the process whereby hypotheses are generated in order to explain the surprising facts. Indeed, Peirce considered abduction to be at the heart not only of scientific research, but of all ordinary human activities. Nevertheless, in spite of Peirce's work and writings in the field of (...) methodology of research, scarce attention has been paid to the logic of discovery over the last hundred years, despite an impressive development not only of scientific research but also of logic. -/- Having this in mind, the exposition is divided into five parts: 1) a brief presentation of Peirce, focusing on his work as a professional scientist; 2) an exposition of the classification of inferences by the young Peirce: deduction, induction and hypothesis; 3) a sketch of the notion of abduction in the mature Peirce; 4) an exposition of the logic of surprise; and finally, by way of conclusion, 5) a discussion of this peculiar ability of guessing understood as a rational instinct. -/- . (shrink)

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information. The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial materials in these interdisciplinary areas. This LNCS volume is part of FoLLi book serie and contains the papers presented at the 5th International Workshop on Logic, Rationality and Interaction/, (...) held in October 2015 in Taipei, Taiwan. The topics covered in this program well represent the span and depth that hasby now become a trademark of the LORI workshop series, where logic interfaceswith disciplines as diverse as game theory and decision theory, philosophyand epistemology, linguistics, computer science and artificial intelligence. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Michael Wreen THE LOGIC OF IONESCO'S THE LESSON As men abound in copiousness of language, so they become more wise, or more mad than ordinary. Hobbes, Leviathan, chap. 4 (L a RiTHMETic leads to philology, and philology leads to crime."1 This is both XXthe plot and die pessimism of Ionesco's The Lesson. As the drama unfolds, the spectator watches the world of progress-through-education crumble and a world oflust and (...) murder rise in its ruins. What has gone wrong? In a word, the life oflogic has become the logic oflife. To understand Ionesco's lesson, we must examine the (largely implicit) logic and philosophy of language of his Lesson. Logic, whether die classical syllogistic logic of Aristode, the modern symbolic logic of Russell and Whitehead, or die dialectical logic of Hegel, has two essentia ] components: a syntax, which distinguishes permissible from impermissible combinations and inferences, and a semantics, which allows interpretation and thus fills out the purely formal shell provided by the former. Ionesco's strategy is to show how each of these components as diey have come to be developed philosophically is inadequate to its real content — life, and how, together, they lead, at least metaphorically, to life's devastation. These diree conceptual moments correspond to the three dramatic divisions of the play, marked out by the interruptions of die maid. Ionesco begins with the methodology of logic, syntax, and focuses on arithmetic, which, we are told, "is more a method than a science" (p. 50). Since the time of Descartes, arithmetic, or more generally mathematics, has been the academic discipline par excellence, the study diat all of the empirical sciences have aspired to. So completely has the idea of the mathematical nature of reality impressed itself upon us diat for many people it has acquired the status of an 229 230Philosophy and Literature unquestioned, and even unquestionable, assumption. And for many in this group, including the Professor, it is more dianjust an assumption; it is a way of life. "Let us arithmetize a little," he says to his pupil (p. 51), and his neologism refers not just to a subject matter, arithmetic, but to a way of dealing with subject matters and, ultimately, to a way of dealing with the whole of reality. The noun "arithmetic" has become a verb, and the ascendancy of abstract method has begun. Formal logic, in adi diree of its classic Western forms, is now subjected to sustained and specific criticism. Generally speaking, the Pupil represents Aristotelian and Russellian humanism, a view based on an optimistic belief in man's capacity for direct knowledge, in understanding through analysis by fine distinctions between terms, and in the elimination of paradoxes, both in logic and life. The Professor, again roughly speadcing, represents Hegeliainism, a view based on an optimistic belief in die capacity of reason to unify all oppositions and to overcome, through a higher syndiesis, the fundamentally paradoxical nature of all phenomena, including life itself. Thus, at die level of formal logic and ontology, the Professor amd the Pupil aire diametrically opposed, united only in their uncritical reliatnce upon a method of reason. This philosophical opposition is in turn correlated with a psycho-physical opposition: the Professor is male, old, retiring, and initially lifeless; the Pupil is female, young, forwaurd, amd initiadly vivacious. The confrontation of the two embodied philosophical/ psychological principles over die matter of arithmetic makes dieir opposition manifest and demonstrates, for the first time in the play, die utter inability of bodi philosophical traditions to maintain a grip on reality. This confrontation is also a struggle, one which the fresh, straightforward, vital Pupil begins with great success. She is "magnificent" in addition, and claims she can "count to infinity" — an ability which would vindicate her confident, optimistic belief in man's mental capacities, but an ability, nevertheless, which is logically impossible to possess, since "infinity" is not the name of a particulatrly large number, ais she seems to think. Her claim to understand reveals her as limited and ignorant of the deeper and paradoxical nature of her subject, and thus as in need of further, more abstract lessons. "One must also be able to subtract," die Professor... (shrink)

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 8th International Workshop on Logic, Rationality, and Interaction, LORI 2021, held in Xi`an, China, in October 2021. The 15 full papers presented together with 7 short papers in this book were carefully reviewed and selected from 40 submissions. The workshop covers a wide range on the following topics such as doxastic and epistemic logics, deontic logic, intuitionistic and subsstructural logics, voting theory, and causal inference.

Creationism is usually regarded as an irrational set of beliefs. In this paper I propose that the best way to understand why individual learners settle on any mature set of beliefs is to see that as the developmental outcome of a series of “fast and frugal” boundedly rational inferences rather than as a rejection of reason. This applies to those whose views are opposed to science in general. A bounded rationality model of belief choices both serves to explain the fact (...) that folk traditions tend to converge on “anti-modernity”, and to act as a default hypothesis, deviations from which we can use to identify other, arational, influences such as social psychological, economic and individual dispositions. I propose some educational and public policy strategies that might decrease the proportion of learners who find creationism and anti-science in general a rational choice. (shrink)

Logic, an old discipline with a long history, is a product of the nature of thinking that is based on mental thought, which is distinguished from other creatures by human nature. Logical thought and various forms of rational inference, seen in all the geographical regions of the world before attaining a systematic structure, have directed to human life and its scientific products. A systematic structure is taken back to Parmenides, lived in ancient Greek thought. The logic developed from various directions (...) was given a proper shape by Aristotle nearly two thousand years ago and has been in continuous development and transformation in the direction of human mind and its needs. Today, in addition to Aristotelian logic, which is two most valuable structures, many valued logics have emerged.. Quite different logic conception emerges from classical logic, however, which is considered as a beginning for philosophical thought and is one of the important factors in reaching the goal of the philosophical effort. But the presence of classical logic continues in the areas of religious, classical philosophy and social sciences. In this frame, the value of classical logic from past histories requires the position that it deserves. Especially, in the area of logic as well as the problems faced in logic education, more effective planning is required especially in the higher education level. This article will briefly discuss the structure of logic and its various interpretations. It will also point out the importance of logic and will draw attention to the problems in the Theology Faculties. A few suggestions that we want to discuss in this framework will also be put forward. (shrink)

Some arguments include imperative clauses. For example: ‘Buy me a drink; you can’t buy me that drink unless you go to the bar; so, go to the bar!’ How should we build a logic that predicts which of these arguments are good? Because imperatives aren’t truth apt and so don’t stand in relations of truth preservation, this technical question gives rise to a foundational one: What would be the subject matter of this logic? I argue that declaratives are used to (...) produce beliefs, imperatives are used to produce intentions, and beliefs and intentions are subject to rational requirements. An argument will strike us as valid when anyone whose mental state satisfies the premises is rationally required to satisfy the conclusion. For example, the above argument reflects the principle that it is irrational not to intend what one takes to be the necessary means to one’s intended ends. I argue that all intuitively good patterns of imperative inference can be explained using off-the-shelf formulations of our rational requirements. I then develop a formal-semantic theory embodying this view that predicts a range of data, including free-choice effects and Ross’s paradox. The resulting theory shows one way that our aspirations to rational agency can be discerned in the patterns of our speech, and is a case study in how the philosophy of language and the philosophy of action can be mutually illuminating. (shrink)

A surge of empirical research demonstrating flexible cognition in animals and young infants has raised interest in the possibility of rational decision-making in the absence of language. A venerable position, which I here call “Classical Inferentialism”, holds that nonlinguistic agents are incapable of rational inferences. Against this position, I defend a model of nonlinguistic inferences that shows how they could be practically rational. This model vindicates the Lockean idea that we can intuitively grasp rational connections between thoughts by developing (...) the Davidsonian idea that practical inferences are at bottom categorization judgments. From this perspective, we can see how similarity-based categorization processes widely studied in human and animal psychology might count as practically rational. The solution involves a novel hybrid of internalism and externalism: intuitive inferences are psychologically rational (in the explanatory sense) given the intensional sensitivity of the similarity assessment to the internal structure of the agent's reasons for acting, but epistemically rational (in the justificatory sense) given an ecological fit between the features matched by that assessment and the structure of the agent's environment. The essay concludes by exploring empirical results that show how nonlinguistic agents can be sensitive to these similarity assessments in a way that grants them control over their opaque judgments. (shrink)

The author argues that an analysis ofthe texts ofthe Collection of Hippocrates leads to the conclusion that long before the methodological genius of Aristotle there existed a highly analytical culture among medical professionals. The differences in understanding of the value and objectives of a valid inference in Hippocrates and Aristotle are explained in terms of the characteristics of the discourse that each of them used. Aristotle is argued to have been using a social-dialectical discourse, whereas, in medical practice, a combination (...) of skills and reasoning had the highest value because what was expected from a doctor was the right diagnosis and the right treatment. The author argues that rational medical tradition of antiquity did not reach the logical reflection. According to her, the doctrine of the necessary connection between the logical attribute and the object of inferences had been developed in the Buddhist logic, which, as the author argues, can be considered a rational component of education in Tibetan medicine. (shrink)

This book uses rare pathologies to inform questions on topics such as consciousness and rationality. Rather than trying to answer these by inventing far-fetched scenario or 'thought experiments', it is better to utilize a rich but under-used clinical resource.

Some general, programmatic points about informal logic are addressed. The informal approach to argument analysis faces serious foundational problems which have been recognized by its practitioners – but informal logic has yet to come together as a clearly defined discipline. Another problem is the dilemma of the dialectician (Sextus Empiricus): informal logic is either trivial or powerless on its own (field expertise is needed). According to Johnson and Blair the central notion in theory of argument is cogency which replaces soundness. (...) An argument is cogent if and only if (i) its premises are rationally acceptable, (ii) its premises are relevant to its conclusion and (iii) its premises provide sufficient reason to accept the conclusion. I propose to understand cogency as a broader notion that includes deductively valid inferences. The criteria of cogency are simply the basic ideals of scientific methodology which requires a respect for available evidence and “reasonable” inference, an awareness of alternatives and a willingness to modify or reject those beliefs that fail to conform to the evidence. Informal logic in the sense of elementary scientific methodology is concerned with proper reasoning and not with proper dialogue. Informal logic involves non-trivial argumentativeskills and abilities applied to the subject area and accessible to every normally intelligent and educated person. (shrink)

In this paper I defend the traditional anti-intellectualist claim that a form of knowing how to Φ (e.g., knowing how to play the guitar) exists that entails the ability to Φ (play the guitar), and that this knowledge cannot be reduced to propositions (such as ‘S knows a way _w_ to Φ’, where _w_ is a means of Φing). I also argue that S can know how to Φ in the absence of the ability to Φ, and for this knowledge (...) to be likewise irreducible to propositions. This is made possible when one distinguishes between type and token actions. Moreover, I contend that type and token actions, and one’s ability to engage in them, are differentiated at the level of motor representations. Motor representations provide an alternate means of grading knowledge how to that presented by Carlotta Pavese, insofar as this form of gradable knowledge is likewise irreducible to propositions. (shrink)

A surge of empirical research demonstrating flexible cognition in animals and young infants has raised interest in the possibility of rational decision‐making in the absence of language. A venerable position, which I here call “Classical Inferentialism”, holds that nonlinguistic agents are incapable of rational inferences. Against this position, I defend a model of nonlinguistic inferences that shows how they could be practically rational. This model vindicates the Lockean idea that we can intuitively grasp rational connections between thoughts by developing (...) the Davidsonian idea that practical inferences are at bottom categorization judgments. From this perspective, we can see how similarity‐based categorization processes widely studied in human and animal psychology might count as practically rational. The solution involves a novel hybrid of internalism and externalism: intuitive inferences are psychologically rational (in the explanatory sense) given the intensional sensitivity of the similarity assessment to the internal structure of the agent's reasons for acting, but epistemically rational (in the justificatory sense) given an ecological fit between the features matched by that assessment and the structure of the agent's environment. The essay concludes by exploring empirical results that show how nonlinguistic agents can be sensitive to these similarity assessments in a way that grants them control over their opaque judgments. (shrink)

The astronomical traditions on which Copernicus drew for his major works have been well researched. Questions about Copernicus's arguments and his education in logic have been less thoroughly treated. The arguments supplied by Copernicus in his major works are shown to rely to a large extent on well-known dialectical topics or inference warrants. Some peculiar features of his arguments, however, point to sources at Cracow that very likely inspired him to construct arguments based on the requirement of real connections between (...) antecedents and consequents as a condition for the validity of hypothetical conditionals. (shrink)

One of the key concepts in the Philosophy of Logic is the notion of inference. In this paper we expand the notion of logical inference and describe its role in a comprehensive theory of rationality. Some recent rationality theories either presuppose an unattainable logical capacity or they minimize the role of logic, in light of the vast amount of data on fallacious inferential performance. In this paper we defend the view that logical acuity, redefined to include heuristics, is a necessary (...) factor in rationality. We evaluate some presuppositions of algorithmic models and some normative and metatheoretical properties of heuristic models, and defend our model against possible objections. Our revised notion of logical inference functions as the nucleus of the notion of logical acuity which in turn is a necessary building block for a realistic model of rationality. This model emphasizes the logical role of inferential heuristics, cognitive constraints and contextuality, introduces concepts such as "obvious inference", "cautious deductive closure", and "familiarity", and develops the notions of cognitive economy and contextual limitations as tools for evaluating and predicting rational behavior. (shrink)

One of the key concepts in the Philosophy of Logic is the notion of inference. In this paper we expand the notion of logical inference and describe its role in a comprehensive theory of rationality. Some recent rationality theories either presuppose an unattainable logical capacity or they minimize the role of logic, in light of the vast amount of data on fallacious inferential performance. In this paper we defend the view that logical acuity, redefined to include heuristics, is a necessary (...) factor in rationality. We evaluate some presuppositions of algorithmic models and some normative and metatheoretical properties of heuristic models, and defend our model against possible objections. Our revised notion of logical inference functions as the nucleus of the notion of logical acuity which in turn is a necessary building block for a realistic model of rationality. This model emphasizes the logical role of inferential heuristics, cognitive constraints and contextuality, introduces concepts such as "obvious inference", "cautious deductive closure", and "familiarity", and develops the notions of cognitive economy and contextual limitations as tools for evaluating and predicting rational behavior. (shrink)

Inference is elementary and ubiquitous: Cognition always goes beyond the data. Thinking—including problem solving, decision making, judgement, planning, and argumentation—is here defined as the deliberate application and coordination of one's inferences to serve one's purposes. Reasoning, in turn, is epistemologically self-constrained thinking in which the application and coordination of inferences is guided by a metacognitive commitment to what are deemed to be justifiable inferential norms. The construction of rationality, in this view, involves increasing consciousness and control of logical and other (...) inferences. This metacognitive conception of rationality begins with logic rather than ending with it, and allows for developmental progress without positing a state of maturity. (shrink)

The author argues that an analysis ofthe texts ofthe Collection of Hippocrates leads to the conclusion that long before the methodological genius of Aristotle there existed a highly analytical culture among medical professionals. The differences in understanding of the value and objectives of a valid inference in Hippocrates and Aristotle are explained in terms of the characteristics of the discourse that each of them used. Aristotle is argued to have been using a social-dialectical discourse, whereas, in medical practice, a combination (...) of skills and reasoning had the highest value because what was expected from a doctor was the right diagnosis and the right treatment. The author argues that rational medical tradition of antiquity did not reach the logical reflection. According to her, the doctrine of the necessary connection between the logical attribute and the object of inferences had been developed in the Buddhist logic, which, as the author argues, can be considered a rational component of education in Tibetan medicine. (shrink)

In the summer of 1928, Kurt Gödel (1906–1978) embarked on his logical journey that would bring him world fame in a mere three years. By early 1929, he had solved an outstanding problem in logic, namely the question of the completeness of the axioms and rules of quantificational logic. He then went on to extend the result to the axiom system of arithmetic but found, instead of completeness, his famous incompleteness theorem that got published in 1931. It belongs to the (...) most iconic achievements of 20th century science and has been instrumental in the development of theories of formal languages and algorithmic computability – two essential components in the birth of the information society. This book explores Gödel’s way from an exceptional high-school student to a firmly established young logician. Essays in Gödel’s hand from the high school show that his central philosophical and scientific convictions were formed early on, before his university studies. Particular emphasis is laid on the course that made Gödel one of the foremost logicians of all times. The scientific biography of young Gödel is followed by English translations from Gödel’s German Gabelsberger shorthand of all his early preserved notebooks on logic and related topics. (shrink)

Previous studies in Western contexts have examined the relationships between various board characteristics and CSR, yet the relationships need to be re-examined in non-Western contexts given differential theoretical premises across contexts. We specifically propose that the effects of board characteristics on CSR in Korea should be patterned distinctively from Western-based existing literature, focusing on three important board characteristics, such as a board’s independence, social ties, and diversity. Using a panel dataset from large Korean firms, we found that various relationships between (...) board characteristics and CSR were non-linear, whereas most of the previous research on Western contexts found that the same relationships were linear. Specifically, curvilinear relationships were found between CSR and board independence, CEO-outside director social ties, and educational diversity. Our findings suggest that there is no universal feature of CSR-supportive board characteristics due to the unique characteristics of various institutional contexts. (shrink)

Beginning with a discussion of the Informal Logic Movement and the renewed interest in critical thinking in education, this book critically assesses the work of Robert Ennis, Richard Paul and John McPeck.

Feminist educators and theorists are stretching the boundaries of what it means to do religion and science. They are also expanding the theoretical and practical frameworks through which we might present curricula in thosefields. In this paper, I reflect on the implications of feminist pedagogies for the interdisciplinary field of religion and science. I begin with a brief discussion of feminist approaches to education and the nature of the feminist classroom as a setting for action. Next, I present some theoretical (...) and practical issues to consider when developing a feminist praxis and an antisexist curriculum. This leads into a discussion of the role of language and critical reflection in the religion and science classroom, the risks associated with reflective discourse, and considerations in the use of ‘feminist’ teaching tools such as small group work, journals, and portfolio assessment. Iconclude with a reflection on how feminist pedagogy promotes an epistemology that speaks to the hearts and minds of participants in the dialogue of religion and science. (shrink)

We reflect on lessons that the lottery and preface paradoxes provide for the logic of uncertain inference. One of these lessons is the unreliability of the rule of conjunction of conclusions in such contexts, whether the inferences are probabilistic or qualitative; this leads us to an examination of consequence relations without that rule, the study of other rules that may nevertheless be satisfied in its absence, and a partial rehabilitation of conjunction as a ‘lossy’ rule. A second lesson is the (...) possibility of rational inconsistent belief; this leads us to formulate criteria for deciding when an inconsistent set of beliefs may reasonably be retained. (shrink)

Given i, j, k ∈ {1,2,3,4}, the notion of -length neutrosophic subalgebras in BCK=BCI-algebras is introduced, and their properties are investigated. Characterizations of length neutrosophic subalgebras are discussed by using level sets of interval neutrosophic sets. Conditions for level sets of interval neutrosophic sets to be subalgebras are provided.

One of the most important issues in moral philosophy is whether morality can be justified by rationality. The purpose of this study is to examine Gauthier’s moral theory, focusing on the disposition of constrained maximization, which is the main thrust of his project to justify morality rationally. First of all, I shall investigate Gauthier’s assumption and condition for the rationality of the disposition of constrained maximization so as to disclose that the disposition of constrained maximization is not necessarily chosen by (...) rational agents. Then I shall explore his other arguments including ones for the reinterpretation of rationality and the self-critical reflection of rational beings, which can be considered as his further efforts to make the disposition of constrained maximization a rational choice. By exploring them, I shall attempt to indicate that those arguments are not valid so long as he clings to the maximizing conception of rationality and thereby this conception of rationality itself is not enough to provide morality with a basis. (shrink)

In this paper, I explore general features of the “architecture” (relations of white space, diagram, and text on the page) of medieval manuscripts and early printed editions of Euclidean geometry. My focus is primarily on diagrams in the Arabic transmission, although I use some examples from both Byzantine Greek and medieval Latin manuscripts as a foil to throw light on distinctive features of the Arabic transmission. My investigations suggest that the “architecture” often takes shape against the backdrop of an educational (...) landscape. The constraints of the economic marketplace and cultural aesthetic ideals also appear to play a role in determining the “architecture” of both manuscripts and early printed editions. (shrink)

The idea of entrepreneurial discovery of profitable opportunities neglected by others as the driving force of the market process is the key contribution of Kirzner to economics. However, to enrich our understanding of the process of entrepreneurial discovery and to derive testable implications we need something more concrete than Kirzner’s alertness. The paper builds on Kirzner’s distinction between the logic of choice and perception, by arguing that the essence of decision making is coming to an understanding, and learning how to (...) act. A set of behavioral implications follows as patterns of learning in different contexts. Further, conventions emerge as a means of stabilizing mutual expectations. Stability of conventions on the one hand and learning over time on the other creates possibility of entrepreneurial discovery and endogenous process of change.L’idée de découverte entrepreneuriale des opportunités profitables ignorées par les autres en tant que force motrice du processus marchand représente la contribution fondamentale de Kirzner à la science économique. Cependant, nous devons disposer de quelque chose de plus concret que la vigilance kirznerienne si nous voulons approfondir notre compréhension du processus de découverte entrepreneuriale et en déduire des implications testables. L’article se fonde sur la distinction qu’opère Kirzner entre la logique des choix et la perception et propose que l’essence de la prise de décision consiste à parvenir à une compréhension et à apprendre comment agir. Un ensemble d’implications au niveau des comportements en découle comme schème d’ apprentissage dans des contextes différents. De plus, les conventions émergent en tant que moyens de stabilisation des anticipations mutuelles. La stabilité des conventions, d’un côté, et l’apprentissage dans le temps, de l’autre, créent la possibilité de découverte entrepreneuriale et de processus de changement endogènes. (shrink)