In his (1994) "Feminism, Argumentation, and Coalescence", Michael Gilbert argues that the "Critical Thinking Industry" is antagonistic to women. Because the critical-logical skills in which the industry deals tend to be gender-specific. its adoption as the dominant mode of discourse disenfranchises women, making its overhaul a moral imperative. Following a variety offeminist epistemologists. this conclusion is reached by confiating "critical reasoning" with "communicating about ideas," as though the two were inseparable. In this paper it is argued (...) that the inclusion of feminist modes of communication and evaluating ideas are not at odds with the Critical-Logical model of reasoning. Rather, the very critical features embedded in the feminist approach would seem to represent the best means of arriving at the truth. (shrink)

This paper discusses critically what simulation models of the evolution ofcooperation can possibly prove by examining Axelrod’s “Evolution of Cooperation” and the modeling tradition it has inspired. Hardly any of the many simulation models of the evolution of cooperation in this tradition have been applicable empirically. Axelrod’s role model suggested a research design that seemingly allowed to draw general conclusions from simulation models even if the mechanisms that drive the simulation could not be identified empirically. But this research design (...) was fundamentally flawed, because it is not possible to draw general empirical conclusions from theoretical simulations. At best such simulations can claim to prove logical possibilities, i.e. they prove that certain phenomena are possible as the consequence of the modeling assumptions built into the simulation, but not that they are possible or can be expected to occur in reality I suggest several requirements under which proofs of logical possibilities can nevertheless be considered useful. Sadly, most Axelrod-style simulations do not meet these requirements. I contrast this with Schelling’s neighborhood segregation model, thecore mechanism of which can be retraced empirically. (shrink)

Individuating the logic of scientific discovery appears a hopeless enterprise. Less hopeless is trying to figure out a logical way to model the epistemic attitude distinguishing the practice of scientists. In this paper, we claim that classical logic cannot play such a descriptive role. We propose, instead, one of the three-valued logics in the Kleene family that is often classified as the less attractive one, namely Hallden’s logic. By providing it with an appropriate epistemic interpretation, we can informally (...) model the scientific attitude. (shrink)

In this paper I develop a cross-cultural critique of contemporary critical thinking education in the United States, the United Kingdom, and those educational systems that adopt critical thinking education from the standard model used in the US and UK. The cross-cultural critique rests on the idea that contemporary critical thinking textbooks completely ignore contributions from non-western sources, such as those found in the African, Arabic, Buddhist, Jain, Mohist and Nyāya philosophical traditions. The exclusion of these traditions (...) leads to the conclusion that critical thinking educators, by using standard textbooks are implicitly sending the message to their students that there are no important contributions to the study of logic and argumentation that derive from non-western sources. As a case study I offer a sustained analysis of the so-called Hindu Syllogism that derives from the Nyāya School of classical Indian philosophy. I close with a discussion of why contributions from non-western sources, such as the Hindu Syllogism, belong in a Critical Thinking course as opposed to an area studies course, such as Asian Philosophy. (shrink)

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. (shrink)

This thesis consists in six articles and a comprehensive summary. • The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in the last 25 years. The research areas associated with AGM was divided in three parts: criticisms, where we discussed some of the more common criticisms of AGM. Extensions where the most common extensions and variations of AGM (...) are presented and applications where we provided an overview of applications and connections with other areas of research. • Article I elaborates on the connection between partial meet contractions [AGM85] and kernel contractions [Han94a] in belief change theory. Also both functions are equivalent in belief sets, there are notequivalent in belief bases. A way to define incision functions from selection functions and vice versa is presented. It is explained under which conditions there are exact correspondences between selection and incision functions so that the same contraction operations can be obtained by using either of them. • Article II proposes an axiomatic characterization for ensconcement-based contraction functions, belief base functions proposed byWilliams and relates this function with other kinds of base contraction functions. • Article III adapts the Fermé and Hansson model of Shielded Contraction [FH01] as well as Hansson et all Credibility-Limited Revision [HFCF01] for belief bases, to join two of the many variations of the AGM model [AGM85], i.e. those in which knowledge is represented through belief bases instead of logic theories, and those in which the object of the epistemic change does not get the priority over the existing information as it is the case in the AGM model. • Article IV introduces revision by comparison a refined method for changing beliefs by specifying constraints on the relative plausibility of propositions. Like the earlier belief revision models, the method proposed is a qualitative one, in the sense that no numbers are needed in order to specify the posterior plausibility of the new information. The method uses reference beliefs in order to determine the degree of entrenchment of the newly accepted piece of information. Two kinds of semantics for this idea are proposed and a logical characterization of the new model is given. • Article V focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. This essay proposes for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction,proposed by Hansson [Han94a] to construct classical AGM contractions and belief base contractions. • Article VI relates AGM model with the DFT model proposed by Carlos Alchourrón [Alc93]. Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. This essay points out that this underlying revision function is more general than AGM revision. In addition, a complete characterization of that more general kind of revision that permits to unify models of revision given by other authors is given. (shrink)

Logical reconstruction is a fundamental philosophical method for achieving clarity concerning the prerequisites, presuppositions and the logical structure of natural language arguments. The scope and limits of this method have become visible not least through its intense application to Anselm of Canterbury’s notorious proofs for the existence of God. This volume collects, on the one hand, reconstructions of Anselmian arguments that take account of the problems of reconstruction and, on the other hand, theoretical reflections on reconstruction with a (...) view to Anselm. We hope that this will allow the reader to critically assess the merits of the theoretical accounts in the light of the reconstructions and the merits of the reconstructions in the light of the theoretical accounts. In general, by considering the example of an outstanding thinker in one or the other way, this volume aims at advancing the methodology and the practice of logical reconstruction. The following remarks explain and motivate this undertaking: What purposes does logical reconstruction serve? What purposes does the reflection on logical reconstruction serve? In which ways can the practice and theory of reconstruction profit particularly from studying Anselm’s reasoning? How can the resulting problems be addressed? – Finally, a short overview over the contributions to this volume is offered. (shrink)

Bohr’s atomic model is one of the better known examples of empirically successful, albeit inconsistent, theoretical schemes in the history of physics. For this reason, many philosophers use this model to illustrate their position for the occurrence and the function of inconsistency in science. In this paper, I proceed to a critical comparison of the structure and the aims of Bohr’s research program – the starting point of which was the formulation of his model – with (...) some of its contemporary philosophical readings. My study comes to conclude that the attempt of certain philosophers to accommodate Bohr’s model to a form of paraconsistent logic obliterates essential aspects of scientists' actual practice and reasoning. (shrink)

We aim to show that Kant’s theory of time is consistent by providing axioms whose models validate all synthetic a priori principles for time proposed in the Critique of Pure Reason. In this paper we focus on the distinction between time as form of intuition and time as formal intuition, for which Kant’s own explanations are all too brief. We provide axioms that allow us to construct ‘time as formal intuition’ as a pair of continua, corresponding to time as ‘inner (...) sense’ and the external representation of time as a line Both continua are replete with infinitesimals, which we use to elucidate an enigmatic discussion of ‘rest’ in the Metaphysical foundations of natural science. Our main formal tools are Alexandroff topologies, inverse systems and the ring of dual numbers. (shrink)

In this paper, a criticism of the traditional theories of approximation and idealization is given as a summary of previous works. After identifying the real purpose and measure of idealization in the practice of science, it is argued that the best way to characterize idealization is not to formulate a logical model – something analogous to Hempel's D-N model for explanation – but to study its different guises in the praxis of science. A case study of it (...) is then made in thermostatistical physics. After a brief sketch of the theories for phase transitions and critical phenomena, I examine the various idealizations that go into the making of models at three difference levels. The intended result is to induce a deeper appreciation of the complexity and fruitfulness of idealization in the praxis of model-building, not to give an abstract theory of it. (shrink)

I thank the editors for inviting me to contribute to this issue on critical views of logic. Kant invented the critical philosophy. He fashioned its doctrines (Understanding versus Reason, synthetic...

Default logic has been a very active research topic in artificial intelligence since the early 1980s, but has not received as much attention in the philosophical literature thus far. This paper shows one way in which the technical tools of artificial intelligence can be applied in contemporary epistemology by modeling a paradigmatic case of deep disagreement using default logic. In §1 model-building viewed as a kind of philosophical progress is briefly motivated, while §2 introduces the case of deep disagreement (...) we aim to model. On the heels of this, §3 defines our formal framework, viz., a refined Horty-style default logic. §4 then uses the framework to model deep disagreement, and finally §5 provides a critical discussion of the result. (shrink)

This paper provides a systematic and critical review of the existing literature on the phenomenon of ‘commercial contract cheating’ (CCC). Unlike some existing systematic reviews _generally_ on CCC, this paper focuses on the potential causes and suggested preventative measures specifically, intending to develop effective interventions on the basis of empirical insights. We reviewed primary studies with empirical data and systematic reviews focusing on higher education published between 2012 and 2020. A logic model is developed to graphically indicate the (...) complex and dynamic interplay between a variety of factors identified. Our inquiry reveals a highly specified, uncoordinated and fragmented research landscape that urgently needs integrated, holistic and critical reflection. It shows that the current research is still far from establishing causal relationships as the scholarship opts to reveal an abundance of contextual factors identified only, without probing the relational dynamics or striving for causality. A range of broad and tentative recommendations are proposed on that basis but are barely empirically examined. We also attend to lack of conceptual clarity and work towards a more inclusive and future-proof definition of CCC beyond assignment-based conceptualisation. It is argued that CCC should never be reduced to plagiarism (a natural inclination inspired by the plagiarism research tradition) nor neutralised as a legitimate business (a potential risk revealed mostly by the supply side research). As an interdisciplinary field, CCC should move beyond student perceptions of education cheating and affordability, while including more inquiries into the exploitative, predatory nature of the industry. (shrink)

Philosophical Logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic, focusing on the sometimes problematic relationship between formal apparatus and intuitive motivation. Requiring minimal background and arranged to make the more technical material optional, the book offers a choice between an overview and in-depth study, and it balances (...) the philosophical and technical aspects of the subject.The book emphasizes the relationship between models and the traditional goal of logic, the evaluation of arguments, and critically examines apparatus and assumptions that often are taken for granted. Philosophical Logic provides an unusually thorough treatment of conditional logic, unifying probabilistic and model-theoretic approaches. It underscores the variety of approaches that have been taken to relevantistic and related logics, and it stresses the problem of connecting formal systems to the motivating ideas behind intuitionistic mathematics. Each chapter ends with a brief guide to further reading.Philosophical Logic addresses students new to logic, philosophers working in other areas, and specialists in logic, providing both a sophisticated introduction and a new synthesis. (shrink)

Engineering is often said to be ‘scientific’, but the nature of knowledge in engineering is different to science. Engineering has a different ontological basis—its theories address different entities and are judged by different criteria. In this paper I use Popper’s three worlds ontological framework to propose a model of engineering theories, and provide an abstract logical view of engineering theories analogous to the deductive-nomological view of scientific theories. These models frame three key elements from definitions of engineering: requirements, (...) designs of artefacts, and theories for reasoning about how artefacts will meet requirements. In a subsequent paper I use this ontological basis to explore methodological issues in the growth of engineering knowledge from the perspective of critical rationalism. (shrink)

In this paper I present an outline of a model of knowledge that complements, and is complemented by, my the conception of logic delineated in The Bounds of Logic. The Bounds of Logic had as its goal a critical, systematic and constructive understanding of logic. As such it aimed at maximum neutrality vis-a-vis epistemic, metaphysical and meta-mathematical controversies. But a conception of logic does not exist in a vacuum. Eventually our goal is to produce an account of logic (...) that answers the needs of, contributes to the development of, and is supported by, a broader epistemology. In this paper I make first steps in this direction. I begin with an outline of a model of knowledge whose basic principles are based on the early Quine. I identify, and offer independent justification for, the special requirements this model sets on an adequate conception of logic. Finally, I show how, by satisfying these requirements, the conception of logic delineated in The Bounds of Logic can naturally be incorporated in this epistemic model. Logic, in this model, is both central and peripheral, is guided by both veridical and pragmatic norms, is both grounded in the world and assigned a central role in unifying our body of knowledge. (shrink)

My purpose in this paper is to shed some light on two questions: In what sense is logic philosophical? And what is philosophical logic? I take these two questions as co-extensive: an answer to one of them is also (or can easily be converted into) an answer to the other. I approach the problem from three perspectives: a conceptual, a descriptive and a prescriptive perspective. In other words, I try to answer the following questions: (i) In what sense can logic (...) be taken as philosophical? (ii) In what sense has logic been taken as philosophical? (iii) In what sense should logic be taken as philosophical? To this end, I analyze excerpts from five works in which meanings are attributed to the expression “philosophical logic”. The meanings are then object of critical analysis: I try to assess which of these semantical alternatives do not hold up as satisfactory answers to (iii). The result of this analysis is then used as a starting point for my own answer to question (iii). (shrink)

_ Source: _Volume 5, Issue 2, pp 273 - 289 The impact of the stigma often associated with chronic illness cannot be explained by sociology alone, yet sociology has a significant contribution to make, most obviously through the analysis of stigma relations as social structures. This paper draws on critical realist philosophy and advances a _jigsaw model_ comprising _logics, relations_ and _figurations_ to assist empirical enquiry. A case is made for focusing on interrelations between the logic of shame and (...) the relations of stigma it gives rise to and other logics/relations across a range of figurations. A new framework for understanding and explaining stigmatising illness is put forward and subsequently applied to contemporary programmes of stigma reduction. The principal thesis of the paper is that across many of the figurations in which chronic illness features the logic of shame and its relations of stigma have lost ground to the logic of culpability and its relations of deviance. In short, people with chronic illness are increasingly being held culpable for their condition. (shrink)

The basic idea of logical expressivism in the Brandomian tradition is that logic makes inferential relations explicit and thereby accessible to critical discussion. But expressivists have not given a convincing explanation of what the point of logical theories is. Peregrin provides a starting point by observing a distinction between making explicit and explication in Carnap’s sense of replacing something unclear and vague by something clear and exact. Whereas logical locutions make inferential relations explicit within a language, (...) logical theories use formal languages to explicate inferential roles and meanings of ordinary-language expressions. But Peregrin also holds that the whole point of logical theories is to provide perspicuous models of inferential structures in ordinary language practice. This turns explication into a mere continuation of making explicit by other means, and it leads to a one-sided conception of logic which has no room for evaluating inferential practice in light of logical theories. As a more convincing alternative, I suggest that expressivists rely on the method of reflective equilibrium. This approach is closely related to Carnapian explication, but it has the potential of correcting informal inferential practice without dubious ambitions to replace ordinary languages by logical formalisms. (shrink)

University Abstract Philosophers have sought to improve upon the logical empiricists’ model of scientific reduction. While opportunities for integration between the cognitive and the neural sciences have increased, most philosophers, appealing to the multiple realizability of mental states and the irreducibility of consciousness, object to psychoneural reduction. New Wave reductionists offer a continuum of comparative goodness of intertheoretic mapping for assessing reductions. Their insistence on a unified view of intertheoretic relations obscures epistemically significant crossscientific relations and engenders dismissive (...) conclusions about psychology. Richer, more sensitive accounts of explanatory pluralism and mechanistic explanation in science advocate multi-level approaches in cross-scientific settings and criticize the distance of the standard philosophical objections from working scientists’ practices and discoveries. The Heuristic Identity Theory, a new, scientifically informed version of the psycho-physical identity theory, incorporates these insights, showing how multiple realizability is an argument for (not against) identities in science and why, therefore, consciousness is not irreducible. (shrink)

We prove that for any finite deduction structure there exists a unique concise-widest chain-preserved split. Based on this result, we propose a logical splitting strategy which enables an agent to split its belief structure such that all the original inference chains can be preserved. The significance of such logical splitting at least is four-fold: (1) It can be used by an agent to separate its concerns appropriately, or even create smaller and smarter clones which could save time and (...) efforts in their deliberation computing; (2) It will enable an agent to adjust its concerns dynamically based on its recognition of the current situation, which may further enable the agent to make rapid and rational decisions when situation shifting occurs; (3) In periodic team synchronization (PTS) domains where agents can periodically synchronize their behaviors with no restriction on communication, it can be employed as a critical process for maintaining the shared mental models among a team of agents; and (4) It is helpful in alleviating the complexity of reasoning about relevant information, and in better anticipating both explicit and implicit information needs based on the recognition of the current situation. (shrink)

Experimental engineering models have been used both to model general phenomena, such as the onset of turbulence in fluid flow, and to predict the performance of machines of particular size and configuration in particular contexts. Various sorts of knowledge are involved in the method - logical consistency, general scientific principles, laws of specific sciences, and experience. I critically examine three different accounts of the foundations of the method of experimental engineering models (scale models), and examine how theory, practice, (...) and experience are involved in employing the method to obtain practical results. Models of machines and mechanisms can be (and generally are) involved in establishing criteria for similar phenomena, which provide guidance in using events to model other events. Conversely, models of phenomena such as events that model other events can be (and generally are) involved in experimentation on models of machines. I conclude that often it is not more detailed models or the more precise equations they engender that leads to better understanding, but rather an insightful use of knowledge at hand to determine which similarity principles are appropriate in allowing us to infer what we do not know from what we are able to observe. (shrink)

In order for theology to have a cognitive dimension, it is necessary to have procedures for testing and critically evaluating theological models. We make use of certain features of scientific models to show how science has been able to move beyond the poles of foundationalism, represented by logical positivism, and antifoundationalism or relativism, represented by the sociologists of knowledge. These ideas are generalized to show that constructing and testing theological models similarly offers a means by which theology can move (...) beyond confessionalism and postmodernism. Our starting point is Paul Tillich's concept of God as the ground of being and the different levels of consciousness and thinking that accompany his understanding of theology. The ontological argument of Anselm is shown to play a key role, not as a proof for the existence of God but as a means for testing theological models. An example of a theological model, drawn from the domain of philosophy of science, is presented to show how theological models are constructed and tested. (shrink)

Critical Thinking: An Introduction to Analytical Reading and Reasoning, Second Edition, provides a nontechnical vocabulary and analytic apparatus that guide students in identifying and articulating the central patterns found in reasoning and in expository writing more generally. Understanding these patterns of reasoning helps students to better analyze, evaluate, and construct arguments and to more easily comprehend the full range of everyday arguments found in ordinary journalism. Critical Thinking, Second Edition, distinguishes itself from other texts in the field by (...) emphasizing analytical reading as an essential skill. It also provides detailed coverage of argument analysis, diagnostic arguments, diagnostic patterns, and fallacies. Opening with two chapters on analytical reading that help students recognize what makes reasoning explicitly different from other expository activities, the text then presents an interrogative model of argument to guide them in the analysis and evaluation of reasoning. This model allows a detailed articulation of "inference to the best explanation" and gives students a view of the pervasiveness of this form of reasoning. The author demonstrates how many common argument types--from correlations to sampling--can be analyzed using this articulated form. He then extends the model to deal with several predictive and normative arguments and to display the value of the fallacy vocabulary. Ideal for introductory courses in critical thinking, critical reasoning, informal logic, and inductive reasoning, Critical Thinking, Second Edition, features hundreds of exercises throughout and includes worked-out solutions and additional exercises at the end of each chapter. An Instructor's Manual--offering solutions to the text's unanswered exercises and featuring other pedagogical aids--is available on the book's Companion Website at www.oup.com/us/wright. (shrink)

Boolean-valued models for first-order languages generalize two-valued models, in that the value range is allowed to be any complete Boolean algebra instead of just the Boolean algebra 2. Boolean-valued models are interesting in multiple aspects: philosophical, logical, and mathematical. The primary goal of this paper is to extend a number of critical model-theoretic notions and to generalize a number of important model-theoretic results based on these notions to Boolean-valued models. For instance, we will investigate (first-order) Boolean (...) valuations, which are natural generalizations of (first-order) theories, and prove that Boolean-valued models are sound and complete with respect to Boolean valuations. With the help of Boolean valuations, we will also discuss the Löwenheim-Skolem theorems on Boolean-valued models. (shrink)

In this paper, I critically examine the monist interpretation of the logic-as-model view that Erik Stei puts forth in Logical Pluralism and Logical Consequence. I will argue that, in addition to the three dimensions presented in the book, there is a fourth dimension on which pluralism in logic could arise, namely epistemological pluralism. An example of such a form of pluralism is model pluralism, being the idea that we need multiple models to fully account for the (...) subject matter of logic. Such a form of pluralism is well-recognized and widely acknowledged in (model-based) science. I argue that if we endorse the logic-as-model view, then we should also recognize such a form of model pluralism in logic. While model pluralism is consistent with metaphysical monism — the idea that there is ultimately only one extra-systemic logical consequence relation — it does put pressure on the idea that there is one uniquely best model that fully captures that phenomenon. (shrink)

Many criticisms of epistemic logic have centered around its use of devices such as idealized knowers with logical omniscience and perfect self-knowledge. One possible response to such criticisms is to say that these idealizations are normative devices, and that epistemic logic tells us how agents ought to behave. This paper will take a different approach, treating epistemic logic as descriptive, and drawing the analogy between its formal models and idealized scientific models on that basis. Treating it as descriptive matches (...) the way in which some philosophers, including one of its founders, Jaako Hintikka, have thought about epistemic logic early in its history. Further, the analogy between the two fields will give us a way to defuse criticisms that see epistemic logic as unrealistic. For example, criticizing models of epistemic logic in which agents know all propositional tautologies as being unrealistic would be like criticizing frictionless planes in physics for being unrealistic. Each one would certainly be an unsuitable model for studying some kinds of phenomena, but is entirely appropriate for others. After outlining the analogy between epistemic and scientific models, we will discuss some ways in which idealizations are used by different research programs in epistemic logic. (shrink)

To understand logic is, first and foremost, to understand logical consequence. This Element provides an in-depth, accessible, up-to-date account of and philosophical insight into the semantic, model-theoretic conception of logical consequence, its Tarskian roots, and its ideas, grounding, and challenges. The topics discussed include: the passage from Tarski's definition of truth to his definition of logical consequence, the need for a non-proof-theoretic definition, the idea of a semantic definition, the adequacy conditions of preservation of truth, formality, (...) and necessity, the nature, structure, and totality of models, the logicality problem that threatens the definition of logical consequence, a general solution to the logicality, formality, and necessity problems/challenges, based on the isomorphism-invariance criterion of logicality, philosophical background and justification of the isomorphism-invariance criterion, and major criticisms of the semantic definition and the isomorphism-invariance criterion. (shrink)

One of the biggest challenges in understanding perception is to understand how the nervous system manages to integrate the multiple codes it uses to represent features in multiple sensory modalities. From different cortical areas, which might separately register the sight of something red and the touch of something smooth, one effortlessly generates the perception of one thing that is both red and smooth. This process has been variously called "feature integration", "binding", or "synthesis". Citing some current models and some historical (...) precursors, this paper makes some simple observations about the logic of feature integration. I suggest that "feature conjunction" is not strictly speaking conjunction at all, but rather joint predication; and that the critical task in "binding" is not simply grouping scattered representations together, or providing them a common label, but rather identifying those that have a common subject matter-those that are. (shrink)

This paper argues that the choice of backing to certify the authority of a warrant requires a legitimation inference. When brought into question, such an inference becomes a claim defended by showing sound reasons for the selection of backing pertinent to a shared context. Legitimation controversies ensue when an attributed consensus meets objection. It is argued that attention to legitimation controversies renders the Toulmin model a more useful critical paradigm for investigating the development and risks of communicative reasoning (...) in a public forum. The nomination of John Tower as Secretary of Defense is employed to illustrate how critical analysis of legitimation controversies reflexively expands the domain of inquiry for informal reasoning. (shrink)

Since it was first presented, James Fowler’s faith development theory has proven influential in pastoral care and counselling, pastoral and practical theology, spiritual direction, and Christian education. However, it has also been subject to substantial critical evaluation. This article reviews the major themes within psychological critiques and considers the agenda provided by these critiques for the theory’s future development. Critical themes concern Fowler’s understanding of “faith”; the theory’s structural “logic of development”; its overemphasis on cognition and lack of (...) attention to processes of transition and transformation; its gender bias and cultural specificity; and its purported difficulty in accommodating postmodern trends in psychology. To address these critiques in a meaningful way, there is a need to embrace alternative existing theories of faith development and spiritual/religious change, to construct a radically revised, process-focused version of faith development theory, and to continue to develop new localized process models of faith development. (shrink)

SummaryThe paper is a critical survey of the semantics and pragmatics of Indexicals. Both the coordinate‐approach due to Lewis and the semantization of pragmatics attempted by Lakoff are shown to be inadequate. Cresswell's more dynamic approach is shown to withstand the objections raised against it. Sophisticated accounts such as a two dimensional tense logic, or a semantics involving pragmatic models and multiple reference models are shown to be necessary to cope with the intricacies of the use of tense in (...) natural language. Benveniste's division of time into physical, chronic and linguistic time is assessed and criticised for missing the phenomenon of tense anaphora. Finally, the problem of the interaction between the utterance's time and the indexicals is analysed. (shrink)

A recent rethinking of the early history of Quantum Mechanics deemed the late 1920s agreement on the equivalence of Matrix Mechanics and Wave Mechanics, prompted by Schrödinger’s 1926 proof, a myth. Schrödinger supposedly failed to achieve the goal of proving isomorphism of the mathematical structures of the two theories, while only later developments in the early 1930s, especially the work of mathematician John von Neumman (1932) provided sound proof of equivalence. The alleged agreement about the Copenhagen Interpretation, predicated to a (...) large extent on this equivalence, was deemed a myth as well. If such analysis is correct, it provides considerable evidence that, in its critical moments, the foundations of scientific practice might not live up to the minimal standards of rigor, as such standards are established in the practice of logic, mathematics, and mathematical physics, thereby prompting one to question the rationality of the practice of physics. In response, I argue that Schrödinger’s proof concerned primarily a domain-specific ontological equivalence, rather than the isomorphism. It stemmed initially from the agreement of the eigenvalues of Wave Mechanics and energy-states of Bohr’s Model that was discovered and published by Schrödinger in his First and Second Communications of 1926. Schrödinger demonstrated in this proof that the laws of motion arrived at by the method of Matrix Mechanics could be derived successfully from eigenfunctions as well (while he only outlined the reversed derivation of eigenfunctions from Matrix Mechanics, which was necessary for the proof of isomorphism of the two theories). This result was intended to demonstrate the domain-specific ontological equivalence of Matrix Mechanics and Wave Mechanics, with respect to the domain of Bohr’s atom. And although the full-fledged mathematico-logical equivalence of the theories did not seem out of the reach of existing theories and methods, Schrödinger never intended to fully explore such a possibility in his proof paper. In a further development of Quantum Mechanics, Bohr’s complementarity and Copenhagen Interpretation captured a more substantial convergence of the subsequently revised (in light of the experimental results) Wave and Matrix Mechanics. I argue that both the equivalence and Copenhagen Interpretation can be deemed myths if one predicates the philosophical and historical analysis on a narrow model of physical theory which disregards its historical context, and focuses exclusively on its formal aspects and the exploration of the logical models supposedly implicit in it. (shrink)

From the nineteen sixties onwards a branch of philosophy of science has come to development, called history-oriented philosophy of science. This development constitutes a reaction on the then prevailing logical empiricist conception of scientific knowledge. The latter was increasingly seen as suffering from insurmountable internal problems, like e. g. the problems with the particular "observational-theoretical distinction" on which it drew. In addition the logical empiricists' general approach was increasingly criticized for two external shortcomings. Firstly, the examples of scientific (...) knowledge that the logical empiricists were focusing on were con sidered as too simplistic to be informative on the nature of real life science. Secondly, it was felt that the attention of these philosophers of science was restricted to the static aspects of scientific knowledge, while neglecting its developmental aspects. History-oriented philosophy of science has taken up the challenge implicit in the latter two criticisms, i. e. to develop accounts of science that would be more adequate for understanding the development 1 of real life science. One of the more successful products of this branch of philosophy of science is Lakatos's theory of scientific development, sometimes called the "methodology of scientific research programmes". This theory conceives science as consisting of so called research program mes developing in time, and competing with each other over the issue which one generates the best explan~tions of the phenomena that they address. (shrink)

In this thesis I investigate the notion of experience in German Idealist Philosophy. I focus on the exploration of an alternative to the transcendental model notion of experience through Schelling's insight into the notion of logogrif. The structural division of this project into two sections reflects the two theoretical standpoints of this project, namely the logic and the logogrif of experience. The first section - the logic of experience - explores the notion of experience provided in Kant's Critique of (...) Pure Reason, Critique of Judgement and Fichte's Science of Knowledge. I argue that Kant's fundamental question about the possibility of synthetic a priori judgements succeeds in thematising the aporia of cognitive experience but results in a subject-oriented, representational model which radically confines the notion of experience to the constitutive laws of the understanding or to the normative precepts of Reason. Experience is founded upon a sharp division between faith and knowledge, will and logic, desire and reflection, absolute and finitude. Fichte's endeavour to articulate a non-representational account of experience, does not succeed in extricating itself from the representational model, so long as experience is reduced to the ever-producing deeds of the self-positing ego. Despite the serious differences between Kant's and Fichte's notions of experience, both accounts, so long as they unfold from a transcendental standpoint, attempt to resolve experience into conceptual laws or determinations of the ego's absolute will. Experience is transformed into an object of the subject's cognitive or volitional faculties. The paradoxes of man's interaction with the world are intended to be accommodated either by the law-giving spontaneity of the understanding and the Architectonic of Pure Reason or by the overpowerful primordial act of the self-positing ego. This implies the conceptualisation of the self in terms of constant identity-through-time, or sheer self-determination. However, this conceptualisation remains at the normative or prescriptive level, which in turn is projected upon the world. The latter, though appears as the subject's property, essentially remains alien and opaque, confirming the radical limitations of the ego rather than its order-giving authority. Moreover, this notion of experience is ultimately founded upon a radical expulsion of the divine from the world, the de-spiritualisation of the sensual and the de-sensualisation of the spiritual, the sharp juxtaposition between absolute and finitude. This results in a self-defeating subjectivity, whose firm identity and rule-giving authority does not rescue it from its perennial unattainability to 'organise the conditioned' or 'conquer the unconditioned'. In Kant's and Fichte's thought, however, I detect elements that potentially transgress their transcendental account of experience. These are found in Kant's concept of spontaneity and free play between understanding and imagination, and Fichte's concept of productivity. I argue that these elements lose their potential dynamism, so long as they are absorbed by the transcendental demands for the solution of the aporias of logic. However, these elements point to the need for a radical re-conceptualisation of the notion of experience. This is provided by means of Schelling's logogriflic approach, which constitutes the theme of the second section. The second section - the logogrif of experience - attempts to articulate a different approach towards the notion of experience, through an exploration of Schelling's versatile and provocative thought. This section focuses on Schelling's original insight into the notion and act of logogrif, which opens the dialogue between logos and mythos, cosmic becoming and human soul, cosmic imagination and human reflection, faith and knowledge. This section attempts to illuminate Schelling's fascinating philosophical investigations and discoveries that have been rather overlooked, possibly, due to Hegel's overwhelming critique. This section, after a brief critical examination of the Identity Philosophy, attempts to elucidate Schelling's notion of experience through his middle works, Of Human Freedom, Ages of the World, The Deities of Samothrace, which are treated as a self-developing trilogy. Schelling re-addresses the aporias of logic not as part of Reason's self-interrogation but as part of the cosmic paradoxes and living experiences. In this way, Schelling resets the scene of the debate on the conditions of possibility for cognitive experience by putting on the stage the enigmas of the cosmos and life rather than the Tribunal of Reason. Logic itself is conceived as a potency in the cosmic becoming, and consequently can no longer attempt to establish the transcendental conditions for the possibility of cognitive experience. Cosmic becoming, in which man is an active part, is conceived as the process of the movement, the interaction, the transformations and transmutations of multiple potencies. These, far beyond any mechanical conceptualisation, appear as self-moving and yet interdependent, unknown yet familiar, inscrutable and yet manifest powers, describing the mystery of life itself. The latter is depicted as an ever-recurrent act of longing for self-expression as active unity. Experience is conceived as the lived process of a network of living potencies, which may not only resist rational powers but may also puzzle and seize them. In this context, reflection acquires a plastic dimension, as opposed to its rigidity in the representational model of experience. Reflection depicts cosmic longing's self-formation, whose man is part. This self-bending formation partially illuminates the nature of longing, and from this standpoint is the logic of the longing. However, this formation is movable, transmutable and mostly ineffable, and from this standpoint is the logic of a riddle: a logogrif. Logogrif is the transitive term that attempts to describe the transition of experience from its enacted phase to its allusive conceptual utterance, and in this sense the term itself participates in both phases, as both form of thought and form of life. The logogrific approach to experience in turn transposes us as from the realm of pure concepts to the realm of the mystery of life, from pure thought to acts of longing, from the Architectonic of Pure Reason to Cosmic Theurgy. The latter term attempts to grasp the paradox and dynamism of cosmic and non-cosmic becoming by means of multiple, vanishing and ever-recurring, transmutable potencies, or in Schelling's terms 'the magic of insoluble life'. Schelling's logogrific account consists in a powerful voice for the re-enchantment of the world, the introduction into the notion of experience of the imminence of the divine. This is not suggested in terms of the adoption of old religious doctrines but by means of the discovery and re-discovery of the theurgy of life, through the intensification of our artistic mood, the creative expansion of our deeds. This notion of experience allows for the reconsideration of the notion of the self, in terms of a dynamic, conflictual process between conscious and unconscious powers and the critical revaluation of the accounts of subjectivity which reduce it to the sphere of self-consciousness. The thesis concludes with the need for an investigation into the relation between logos and mythos, which only tangentially has been introduced by the present project. In this context it will be possible to re-appraise the potential that the logogrific approach opens for an alternative to both logical and traditional mythological patterns of thinking. (shrink)

I discuss three ways of responding to the logical omniscience problems faced by traditional ‘possible worlds’ epistemic logics. Two of these responses were put forward by Hintikka and the third by Cresswell; all three have been influential in the literature on epistemic logic. I show that both of Hintikka's responses fail and present some problems for Cresswell’s. Although Cresswell's approach can be amended to avoid certain unpalatable consequences, the resulting formal framework collapses to a sentential model of knowledge, (...) which defenders of the ‘possible worlds’ approach are frequently critical of. (shrink)

Featuring an exceptionally clear writing style and a wealth of real-world examples and exercises, Logic, Second Edition, shows how logic relates to everyday life, demonstrating its applications in such areas as the workplace, media and entertainment, politics, science and technology, student life, and elsewhere.Thoroughly revised and expanded in this second edition, the text now features 2600 exercises, more than 1000 of them new; three new chapters on legal arguments, moral arguments, and analyzing a long essay; enhanced pedagogy; and much more.FEATURES* (...) 2600 exercises--more than 1000 of them new--breathe new life into logic* Real-world examples help bring logic down to earth for students* A unique, extended explanation or model of the answer to the first question of each "Check Your Understanding" section shows students what is expected of their answers* An additional 25% of the exercises are answered at the back of the book* "Profiles in Logic" provide short sketches of logicians, philosophers, mathematicians, and others associated with logic* "Logic Challenge" problems present puzzles and paradoxes that end each chapter on a fun note* Additional pedagogical elements--marginal definitions, key terms, a glossary, reference boxes, and bulleted chapter summaries--make the material even more accessible* Detailed guides help students learn to create "truth tables" and Venn diagramsSUPPORT PACKAGEAn Instructor's Manual with Computerized Test Bank on CD includes: Solutions to all exercises in the book, enhanced by explanations and answers that elucidate the details of the correct answersKey Terms and a summary for each chapterA customizable Computerized Test Bank--with multiple-choice, true/false, and fill-in-the-blank questions--that allows instructors to give exams or homework problems that can be auto-gradedA traditional "pencil-and-paper" Test Bank and answer key containing the same questions as the Computerized Test BankPowerPoint-based lecture outlinesThe Instructor's Manual with Computerized Test Bank and the traditional Test Bank are also available in printed format.A Companion Website offers:Instructor Resources :A downloadable version of the Instructor's Manual PowerPoint-based lecture outlinesStudent Resources:Brief chapter summariesInteractive Flash Cards with key terms and definitionsWeb links and other media resourcesPractice quizzes with answers and explanations The Learning Management System Cartridges include, in a fully downloadable format:Instructor's Manual and Computerized Test Bank Student material from the companion websiteThe Perfect Text for Your Course... No Matter How You Teach ItYour course is unique; you have your own teaching philosophy and style. Whether you teach traditional Introduction to Logic, Critical Thinking/Informal Logic, or Formal Logic, Baronett: Logic, Second Edition, can be tailored to fulfill your course needs.We'll make it easy for you; choose one of our Alternate Editions or build the book you want, chapter by chapter.Option 1. Author Stan Baronett has suggested four Alternate Editions that may work for you. Each Alternate Edition comes in full color, with answers to problems, a full glossary, and an index. The books are in stock and available for ordering. Please see the ISBN information below.Logic: Concise EditionChapters 1, 3, 4, 5, 6, 7, 8Order using ISBN: 978-0-19-994129-2Logic: An Emphasis on Critical Thinking and Informal LogicChapters 1, 2, 3, 4, 10, 11, 12, 13 A-E, 14, 15Order using ISBN: 978-0-19-994128-5Logic: An Emphasis on Formal LogicChapters 1, 5, 6, 7, 8, 9Order using ISBN: 978-0-19-994126-1Logic: With Diagramming used in Chapter 4. Informal FallaciesFull textOrder using ISBN: 978-0-19-997081-0Option 2. Create your own customized textbook by choosing the specific chapters that you need for your course. Please contact your Oxford University Press Sales Representative or call 800.280.0280 for details. (shrink)

The current state of the world suggests we have some difficulty in developing effective policy. This paper demonstrates two methods for the objective analysis of logic models within policy documents. By comparing policy models, we will be better able to compare policies and so determine which policy is best. Our ability to develop effective policy is reflected across the social sciences where our ability to create effective theoretical models is being called into question. The broad scope of this issue suggests (...) a source as deep as our unconscious ways of thinking. Specifically, our reliance on modern and postmodern thinking has limited our ability to develop more effective policy, and more particularly, logic models. The move in some quarters toward “integral” thinking may provide insights that support the creation of more useful policy models. However, some versions of that thinking seem to be unwittingly mired in modern and postmodern thinking. This paper identifies how integral thought may be clarified, allowing us to advance beyond postmodern thinking. Usefully, this “neo-integral” form of thinking supports the creation of more mature policy models by encompassing greater complexity and a careful understanding of interrelationships that may be identified within the logic models that are commonly found in policy analyses. Neo-integral thinking is related to more complex forms of systems thinking and both are found in recent conversations within the nascent field of metatheory. And, to some extent, a logic model within a policy operates as a kind of theoretical model because both may be used to inform understanding and decision-making. Therefore, it seems reasonable to apply neo-integral thinking and metatheoretical methodologies to conduct critical comparisons of logic models. In the present paper, these methodologies are applied to critically compare two logic models. The structure of each model is analyzed to objectively determine its complexity and formal robustness. The complexity is determined by quantifying the concepts and connections within each model. The robustness of a model is a measure of its internal integrity, based on the ratio between the total number of aspects and the number of concatenated aspects. In this analysis, one policy model is found to have a robustness of 0.08, while another is found to have a robustness of 0.67. The more robust policy is expected to be much more effective in application. Implications for policy development and policy application are discussed. (shrink)

Mathematics, even more than the other sciences, is often presented as essentially unique, as if it could not be any other way. And yet, prima facie alternative mathematics are all over the place, from non-Western mathematics to mathematics based on nonclassical logics. Taking inspiration from Robin Dembroff’s analysis of critical gender kinds, and from Andrew Aberdein and Stephen Read’s analysis of alternative logics, in this paper I will introduce a practice-centered framework for the study of alternative mathematics based on (...) the notion of critical math kind. After sketching a model of mainstream mathematics, I will provide examples of how deviation along several distinct dimensions can occur, and how deviations can vary in their gravity. I will then discuss how the framework can be used to think of questions concerning the alternativeness status and philosophical implications of alleged alternative mathematics, and help us in identifying alternatives that suit our purposes. (shrink)

Free Energy Principle underlies a unifying framework that integrates theories of origins of life, cognition, and action. Recently, FEP has been developed into a Markovian monist perspective. The paper expresses scepticism about the validity of arguments for Markovian monism. The critique is based on the assumption that Markovian models are scientific models, and while we may defend ontological theories about the nature of scientific models, we could not read off metaphysical theses about the nature of target systems from our theories (...) of nature of scientific models. The paper draws attention to different ways of understanding Markovian models, as material entities, fictional entities, and mathematical structures. I argue that none of these interpretations contributes to the defence of a metaphysical stance. This is because scientific representation is a sophisticated process, and properties of Markovian models—such as the property of being neither physical nor mental—could not be projected onto their targets to determine the ontological properties of targets easily. (shrink)

The first chapter explores the theory developed in Kripke's "Outline of a Theory of Truth." A tension in Kripke's account of the concept of truth is revealed--a conflict between two intuitions. The first intuition, called the "fixed point conception of truth," is that the whole meaning of the truth predicate is given by the formula "we may assert of a sentence that it is true iff we may assert that sentence." The second intuition, called the "thesis of the supervenience of (...) semantics," is that the interpretation of the truth predicate is determined by the interpretations of all the other non-logical constants of the language. I show that these two intuitions cannot be reconciled within the context of Kripke's theory, and I argue for the choice of the fixed point conception of truth over the principle of the supervenience of semantics. Chief among the considerations that I advance is the fact that the fixed point conception of truth yields a natural logic of truth. In the second chapter I present that logic of truth in the form of a cut-free sequent calculus. I then turn, in chapter three, to a discussion of the significance of such cut-free sequent calculi. I argue that we may view the sequent calculus introduction rules for a logical constant as giving the meaning of that constant, under certain conditions. In particular, we can see our logic of truth as providing an explication of our intuitive concept of truth which complements Kripke's original model-theoretic explication. The fourth chapter takes up some criticisms of Kripke's theory which center on the logic of truth. In addition, the general ideas developed in the first three chapters are applied in a discussion of the various schemes of three-valued logic which can be used in the development of Kripke's approach. Finally, in the last chapter, it is shown that Kripke's technical concepts, and the logical ideas developed in the second and third chapters, can be used to provide a unified account of many contexts in which paradox arises. (shrink)

Modelling, reasoning and verifying complex situations involving a system of agents is crucial in all phases of the development of a number of safety-critical systems. In particular, it is of fundamental importance to have tools and techniques to reason about the doxastic and epistemic states of agents, to make sure that the agents behave as intended. In this paper we introduce a computationally grounded logic called COGWED and we present two types of semantics that support a range of practical (...) situations. We provide model checking algorithms, complexity characterisations and a prototype implementation. We validate our proposal against a case study from the avionic domain: we assess and verify the situational awareness of pilots flying an aircraft with several automated components in off-nominal conditions. (shrink)

We describe the state of the Talmudic Logic project as of end of 2019. The Talmud is the most comprehensive and fundamental work of Jewish religious law, employing a large number of logical components centuries ahead of their time. In many cases the basic principles are not explicitly formulated, which makes it difficult to formalize and make available to the modern student of Logic. This project on Talmudic Logic, aims to present logical analysis of Talmudic reasoning using modern (...) logical tools. We investigate principles of Talmudic Logic and publish a series of books, one book or more for each principle. The series begins with the systematic analysis of Talmudic inference rules. The first book shows that we can present Talmudic reasoning intuitions as a systematic logical system basic to modern non-deductive reasoning, such as Argumentum A Fortiori, Abduction and Analogy. The second book offers a systematic common sense method for intuitively defining sets and claims that this method adequately models the Talmudic use of the rules Klal uPrat. These books also criticize modern Talmudic research methodology. Later books deal with additional topics like Deontic logic, and Temporal logic, Agency and processes in the Talmud and more. The aims of the project are two fold: 1. To import into the Talmudic study modern logical methods with a view to help understand complicated Talmudic passages, which otherwise cannot be addressed. 2. To export from the Talmud new logical principles which are innovative and useful to modern contemporary logic. (shrink)

Does general validity or real world validity better represent the intuitive notion of logical truth for sentential modal languages with an actuality connective? In (Philosophical Studies 130:436–459, 2006) I argued in favor of general validity, and I criticized the arguments of Zalta (Journal of Philosophy 85:57–74, 1988) for real world validity. But in Nelson and Zalta (Philosophical Studies 157:153–162, 2012) Michael Nelson and Edward Zalta criticize my arguments and claim to have established the superiority of real world validity. Section (...) 1 of the present paper introduces the problem and sets out the basic issues. In Sect. 2 I consider three of Nelson and Zalta’s arguments and find all of them deficient. In Sect. 3 I note that Nelson and Zalta direct much of their criticism at a phrase (‘true at a world from the point of view of some distinct world as actual’) I used only inessentially in Hanson (Philosophical Studies 130:436–459, 2006), and that their account of the philosophical foundations of modal semantics leaves them ill equipped to account for the plausibility of modal logics weaker than S5. Along the way I make several general suggestions for ways in which philosophical discussions of logical matters–especially, but not limited to, discussions of truth and logical truth for languages containing modal and indexical terms–might be facilitated and made more productive. (shrink)

Educational Theory, Volume 71, Issue 6, Page 717-741, December 2021. -/- Gert Biesta has criticized Anglo-American and German models of emancipatory education. According to Biesta, emancipation is understood in these models as liberation that results from a process in which a teacher transmits objective knowledge to his or her students and cultivates student capabilities. He claims that this so-called modern logic of emancipation does not lead to freedom because it installs inequality, dependency, and mistrust in the pedagogical relationship. In this (...) article, Antti Moilanen and Rauno Huttunen analyze whether German models of emancipatory education share the modern logic of emancipation and if they can escape Biesta's criticisms. For this purpose, they interpret Biesta's critique of the modern logic of emancipation and explicate central ideas related to the German models of critical education. They also compare the modern logic of emancipation to the German one, and they then assess German models of emancipatory pedagogy from the viewpoint of Biesta's criticisms. Moilanen and Huttunen conclude that the German models of emancipatory education present at least a partial alternative to the modern logic of emancipation. Despite this, the German models are based on the idea of education as cultivation. Because Biesta criticizes the theory of education as cultivation, it is possible to conclude that he would not accept the German models of emancipatory education. However, the German models of critical pedagogy provide answers to the following question: how can students achieve independence in the pedagogical relationship? When students take part in designing educational processes, they are summoned to assess the validity of the taught knowledge, and they practice independent decision-making at school; the pedagogical relationship, based on authority, can foster student self-determination. (shrink)

In introducing a course on critical thinking or reasoning, many emphasize the philosophical background of the idea of critical thinking, that is, the Socratic motto: “life without examination is not worth living”. It is actually right to do so, because critical thinking is basically the activity of doing philosophy. However, in manyuniversities, the course on critical thinking is taught mainly as a basic course for first year undergraduates who may not go on to major in philosophy. (...) Beside the fact that critical thinking as an activity of doing philosophy provides a good tool for arguing about any subjects, there is a political agenda in making the course a requisite one for non-philosophy students, that is, the ability to think critically is a desirable property for being a “good citizen” in a democratic society. Underlying this idea is the model of rational man in the age of Enlightenment. Putting aside the controversy over the notion of rationality, my question is what exactly is the activity called critical thinking or reasoning, and then on such understanding, what should be the right direction in teaching critical thinking. My answer is that critical thinking is an examination of thoughts because reasoning is rule-governed. However, grasping a thought requires the idea of an agency. Hence, the main aim of teaching critical thinking is not to get just a technician game kids, rather it is to reveal the possibility of being a philosophical mindfulness person. Thepaper consists of three main parts. The first part concerns the idea that critical thinking is an examination of thoughts. Thoughts are inferentially structured and are constrained by truth. This means that thought content are conceptual – reasoning is inherently logical or rule-governed. The second part considers the connection of content of thoughts, truth and thinkers. An individuation of thought content is by object of thoughts. The idea of object of thoughts involves the idea of truth which is perspectival. Therefore, to understand what truth is requires an idea of agency, the one who grasps thoughts. In the last part, I then propose that the rightdirection in teaching critical thinking is to accommodate an independent ability to see the world aright. (shrink)

SummaryTruth‐definitions play a crucial role in the foundations of logic and semantics. Tarsik‐type truth‐definitions are not possible to formulate in a usual first‐order language for itself, and they have been criticized because they do not account for what makes them definitions of truth. It has been suggested that truth should instead be characterized by reference to the «language‐games» of verification and falsification. The author's game‐theoretical semantics here explained for formal first‐order languages, can be thought of as a realization of this (...) idea. More technically speaking, GTS can also be thought of as a systematization of the well‐known aepsilon‐delta, definitions in the foundations of analysis. In GTS, truth is not defined by reference to winning a play of a game, but as the existence of a winning strategy in the game for the verifier. In a first‐order language, the game‐theoretical truth‐condition of a sentence S can accordingly be expressed by an explicit second‐order sentence asserting the existence of the Skolem function of S.The semantical games of GTS must be distinguished not only from the «games» of formal proof but also from the «games» in volved in our ordinary activities of verification and falsification. The latter have been modelled as games of inquiry by the author, and they are essentially epistemic games where the meaning of truth is taken for granted and where the aim of the game is to come to know certain truths. To assimilate them to the semantical games constitutive of truth is a form of Meno's paradox. (shrink)

The Incarnation, traditionally understood as the metaphysical union between true divinity and true humanity in the one person of Jesus Christ, is one of the central doctrines for Christians over the centuries. Nevertheless, many scholars have objected that the Scriptural account of the Incarnation is incoherent. Being divine seems to entail being omniscient, omnipotent and omnipresent, but the New Testament portrays Jesus as having human properties such as being apparently limited in knowledge, power, and presence. It seems logically impossible that (...) any single individual could possess such mutually exclusive sets of properties, and this leads to scepticism concerning the occurrence of the Incarnation in history. A Kryptic Model of the Incarnation aims to provide a critical reflection of various attempts to answer these challenges and to offer a compelling response integrating aspects from analytic philosophy of religion, systematic theology, and historical-critical studies. Loke develops a new Kryptic model of the Incarnation, drawing from the Greek word Krypsis meaning ’hiding’, and proposing that in a certain sense Christ’s supernatural properties were concealed during the Incarnation. (shrink)