This paper argues that phenomenal or internal metrical spaces are redundant posits. It is shown that we need not posit an internal space-time frame, as the physical space-time suffices to explain geometrical perception, memory and planning. More than the internal space-time frame, the idea of a phenomenal colour space has lent credibility to the idea of internal spaces. It is argued that there is no phenomenal colour space that underlies the various psychophysical colour spaces; it is parasitic upon physical and (...) psychophysical colour spaces. The argumentation is further extended to other sensory spaces and generalised quality spaces. (shrink)

Two questions are raised about Quine's view of truth. He has recently said that ontology is relative to a translation manual: is this the same as relativizing it to a language? The same question may be asked about truth. Should we think there is one concept of truth which is relative to a language, or is there a separate concept for each language (or speaker)? The second question concerns Quine's repeated endorsements of the ?disquotational? account of truth. Does he think (...) this account limits a truth predicate to application to a single language, or can translation (or Tarski's methods) allow us to apply a truth predicate in one language to sentences in other languages? If the latter, can Quine still contend that the disquotational account is a ?full? account of the concept of truth? The answer would tell us whether Quine can be counted among those who would deflate the concept of truth. (shrink)

I want to discuss, in some detail, a short section from Quine’s Philosophy of Logic. It runs from pages 10 to 13 of the second, revised edition of the book and carries the subheading ‘Truth and semantic ascent’.1 In these two and a half pages, Quine presents his well-known account of truth as a device of disquotation, employing what I call Quine’s Ladder. The section merits scrutiny, for it has become the central document for contemporary deflationary views about truth.

Obsessed by the cases where things go wrong, we pay too little attention to the vastly more numerous cases where they go right, and where it is perhaps easier to see that the descriptive content of the expression concerned is wholly at the service of this function [of identifying reference], a function which is complementary to that of predication and contains no element of predication in itself (Strawson [1974], p. 66).An earlier version of the paper was written during an enjoyable (...) year spent as a Research Fellow at the University of Melbourne. (shrink)

In this paper we provide a detailed proof-theoretical analysis of a natural deduction system for classical propositional logic that (i) represents classical proofs in a more natural way than standard Gentzen-style natural deduction, (ii) admits of a simple normalization procedure such that normal proofs enjoy the Weak Subformula Property, (iii) provides the means to prove a Non-contamination Property of normal proofs that is not satisfied by normal proofs in the Gentzen tradition and is useful for applications, especially in formal argumentation, (...) (iv) naturally leads to defining a notion of depth of a proof, to the effect that, for every fixed natural k, normal k-depth deducibility is a tractable problem and converges to classical deducibility as k tends to infinity. (shrink)

In a couple of short papers, Donald Davidson holds that a creature cannot think unless it is the interpreter of the speech of another. At first blush, speaking a language is, therefore, a necessary condition for thought. His controversial claims has led many to regard him as a follower of the Cartesian tradition wherein languageless creatures are nothing but mindless machines. Against this widely shared interpretation, in this paper we put forward a more charitable interpretation of Davidson’s claims. According to (...) our reading, Davidson never meant to argue that languageless creatures do not think. Instead, the only thing his arguments purport to show is that one will never be in a position to confirm that they do. This paper consists of a defense of the idea that Davidson is better seen as endorsing radical skepticism as to whether languageless creatures think. (shrink)

The Simple Counterfactual Analysis (SCA) was once considered the most promising analysis of disposition ascriptions. According to SCA, disposition ascriptions are to be analyzed in terms of counterfactual conditionals. In the last few decades, however, SCA has become the target of a battery of counterexamples. In all counterexamples, something seems to be interfering with a certain object’s having or not having a certain disposition thus making the truth-values of the disposition ascription and of its associated counterfactual come apart. Intuitively, however, (...) it would seem that, if all interferences were absent, the disposition ascription and its associated conditional would have the same truth-value. Although this idea may seem obvious, it is far from obvious how to implement it. In fact, it has become widely assumed that the content of qualifying ceteris paribus clauses (such as ‘if all interferences were absent’) cannot be specified in a clear and non-circular manner. In this paper, I will argue that this assumption is wrong. I will develop an analysis of disposition ascriptions, the Interference-Free Counterfactual Analysis, which relies on a clear and non-circular definition of the notion of interference and avoids the standard counterexamples to SCA while vindicating the intuition that disposition ascriptions and counterfactual conditionals are intimately related. (Please note that an erratum has been issued for the published version of this paper. It is recommended to read the self-archived version of the paper.). (shrink)

Bertrand Russell introduced several novel ideas in his 1903 Principles of Mathematics that he later gave up and never went back to in his subsequent work. Two of these are the related notions of denoting concepts and classes as many. In this paper we reconstruct each of these notions in the framework of conceptual realism and connect them through a logic of names that encompasses both proper and common names, and among the latter, complex as well as simple common names. (...) Names, proper or common, and simple or complex, occur as parts of quantifier phrases, which in conceptual realism stand for referential concepts, i.e., cognitive capacities that inform our speech and mental acts with a referential nature and account for the intentionality, or directedness, of those acts. In Russell’s theory, quantifier phrases express denoting concepts (which do not include proper names). In conceptual realism, names, as well as predicates, can be nominalized and allowed to occur as "singular terms", i.e., as arguments of predicates. Occurring as a singular term, a name denotes, if it denotes at all, a class as many, where, as in Russell’s theory, a class as many of one object is identical with that one object, and a class as many of more than one object is a plurality, i.e., a plural object that we call a group. Also, as in Russell’s theory, there is no empty class as many. When nominalized, proper names function as "singular terms" just the way they do in so-called free logic. Leśniewski’s ontology, which is also called a logic of names can be completely interpreted within this conceptualist framework, and the well-known oddities of Leśniewski’s system are shown not to be odd at all when his system is so interpreted. Finally, we show how the pluralities, or groups, of the logic of classes as many can be used as the semantic basis of plural reference and predication. We explain in this way Russell’s "fundamental doctrine upon which all rests", i.e., "the doctrine that the subject of a proposition may be plural, and that such plural subjects are what is meant by classes [as many] which have more than one term" (Russell 1938, p. 517). (shrink)

The problematic features of Quine's set theories NF and ML are a result of his replacing the higher-order predicate logic of type theory by a first-order logic of membership, and can be resolved by returning to a second-order logic of predication with nominalized predicates as abstract singular terms. We adopt a modified Fregean position called conceptual realism in which the concepts (unsaturated cognitive structures) that predicates stand for are distinguished from the extensions (or intensions) that their nominalizations denote as singular (...) terms. We argue against Quine's view that predicate quantifiers can be given a referential interpretation only if the entities predicates stand for on such an interpretation are the same as the classes (assuming extensionality) that nominalized predicates denote as singular terms. Quine's alternative of giving predicate quantifiers only a substitutional interpretation is compared with a constructive version of conceptual realism, which with a logic of nominalized predicates is compared with Quine's description of conceptualism as a ramified theory of classes. We argue against Quine's implicit assumption that conceptualism cannot account for impredicative concept-formation and compare holistic conceptual realism with Quine's class Platonism. (shrink)

W.V. Quine is committed to the claim that all beliefs are rationally revisable; Jerrold Katz has argued that this commitment is unstable on grounds of self-application. The subsequent discussion of this issue has largely proceeded in terms of the logic of belief revision, but there is also an issue here for the treatment of Quine’s views in a doxastic modal system. In this paper I explore the treatment of Quinean epistemology in modal terms. I argue that a set of formal (...) revisability desiderata can be distilled from Quine’s epistemic writings, and that there are demonstrably coherent and non-trivial systems that meet these conditions. (shrink)

In this paper I review some leading developments in the empirical theory of affect. I argue that (1) affect is a distinct perceptual representation governed system, and (2) that there are significant modular factors in affect. The paper concludes with the observation thatfeeler (affective perceptual system) may be a natural kind within cognitive science. The main purpose of the paper is to explore some hitherto unappreciated connections between the theory of affect and the computational theory of mind.

This paper explores a variety of different versions of the thesis that natural language is involved in human thinking. It distinguishes amongst strong and weak forms of this thesis, dismissing some as implausibly strong and others as uninterestingly weak. Strong forms dismissed include the view that language is conceptually necessary for thought (endorsed by many philosophers) and the view that language is _de facto_ the medium of all human conceptual thinking (endorsed by many philosophers and social scientists). Weak forms include (...) the view that language is necessary for the acquisition of many human concepts, and the view that language can serve to scaffold human thought processes. The paper also discusses the thesis that language may be the medium of _conscious_ propositional thinking, but argues that this cannot be its most fundamental cognitive role. The idea is then proposed that natural language is the medium for non-domain-specific thinking, serving to integrate the outputs of a variety of domain-specific conceptual faculties (or central-cognitive ‘quasi-modules’). Recent experimental evidence in support of this idea is reviewed, and the implications of the idea are discussed, especially for our conception of the architecture of human cognition. Finally, some further kinds of evidence which might serve to corroborate or refute the hypothesis are mentioned. The overall goal of the paper is to review a wide variety of accounts of the cognitive function of natural language, integrating a number of different kinds of evidence and theoretical consideration in order to propose and elaborate the most plausible candidate. (shrink)

The view that plural reference is reference to a set is examined in light of George Boolos's treatment of second-order quantification as plural quantification in English. I argue that monadic second-order logic does not, in Boolos's treatment, reflect the behavior of plural quantifiers under negation and claim that any sentence that properly translates a second-order formula, in accordance with his treatment, has a first-order formulation. Support for this turns on the use of certain partitive constructions to assign values to variables (...) in a way that makes Boolos's reading of second-order variables available for a first-order language and, with it, the possibility of interpreting quantification in an unrestricted domain.A first-order theory, T(D), is developed on the basis of Boolos's treatment of simple plural definite descriptions extended to Richard Sharvy's general theory of definite plural and mass descriptions. I introduce a primitive predicate, o, for the relation of the referent of a singular description to that of its plural. If o is simply added to T(D), is definable in T(D), and the result is inconsistent. If o is added to a theory with axioms for the fragment of T(D) I call D-mereology, the result is a natural basis for the development of a pluralized Zermelo set theory. This theory, however, is inconsistent in an unrestricted domain, unless it is recast as a second-order theory of sets interpreted in Boolos's way. (shrink)

A chief aim of this paper is to provide common ground for discussion of outstanding issues between defenders of classical logic and contemporary advocates of intuitionistic logic. In this spirit, I draw upon (and reconstruct) here the relationship between dialogue and evidence as emphasized in German constructivist authors. My approach depends upon developments in the methodology of empirical linguistics. As a preliminary to saying how one might decide between these two versions of logic (this issue is most closely approached in (...) Section V. discussing the constructivist approach), it is well worth the effort to look closely at how logic is (or might be) learned and at questions concerning logic in translation, i.e., the question of how we might detect the variety of logic actually employed in a given speech community. (shrink)

A discussion of Quine and Davidson, as interpreted and criticized in Scott Soames’ Philosophical Analysis in the Twentieth Century, Volume II.

It is claimed that the indispensability argument for the existence of mathematical entities (IA) works in a way that allows a proponent of mathematical realism to remain agnostic with regard to how we establish that mathematical entities exist. This is supposed to be possible by virtue of the appeal to confirmational holism that enters into the formulation of IA. Holism about confirmation is supposed to be motivated in analogy with holism about falsification. I present an account of how holism about (...) falsification is supposed to be motivated. I argue that the argument for holism about falsification is in tension with how we think about confirmation and with two principles suggested by Quine for construing a plausible variety of holism. Finally, I show that one of Quine's principles does not allow a proponent of mathematical realism to remain agnostic with regard to how we establish that mathematical entities exist. (shrink)

Guided by key insights of the four great philosophers mentioned in the title, here, in review of and expanding on our earlier work (Burchard, 2005, 2011), we present an exposition of the role played by language, & in the broader sense, λογοζ, the Logos, in how the CNS, the brain, is running the human being. Evolution by neural Darwinism has been forcing the linguistic nature of mind, enabling it to overcome & exploit the cognitive gap between an animal and its (...) world by recognizing environmental structures. Our work was greatly influenced by Heidegger’s lecture notes on metaphysics (Heidegger, 1935). We found agreement with recent progress in neuroscience, but also mathematical foundations of language theory, equating Logos with the mathematical concept of structure. The mystery of perception across the gap is analyzed as radiation and molecules impinging on sensory neurons that carry linguistic information about gross environmental structures, and only remotely about the physical reality of elementary particles. The most important logical brain function is Ego or Self, guiding the workings of the brain as a logos machine. Ego or Self operates from neurons in frontopolar cortex with global receptive fields. The logos machine can function only by availing itself of global context, its internally stored noumenal cosmos NK, and the categorical-conceptual apparatus CCA, updated continually through the neural default mode network (Raichle, 2005). In the Transcendental Deduction, Immanuel Kant discovered that Ego or Self is responsible for conscious control in perception relying on concepts & categories for a fitting percept to be incorporated intoNK. The entire CNS runs as a “movie-in-the-brain” (Parvizi & Damasio, 2001), at peak speed processing simultaneously in a series of cortical centers a stack of up to twelve frames in gamma rhythm of 25 ms intervals. We equate global context, or NK, with our human world, Heidegger’s Dasein being-in-the-world, and are able to demonstrate that the great philosopher in EM parallels neuro-science concerning the human mind. (shrink)

In Quantifiers and Propositional Attitudes, Quine held (a) that the rule of exportation is always admissible, and (b) that there is a significant distinction between a believes-true (Ex)Fx and (Ex) a believes-true F of x. An argument of Hintikka's, also urged by Sleigh, persuaded him that these two intuitions are incompatible; and he consequently repudiated the rule of exportation. Hintikka and Kaplan propose to restrict exportation and quantifying in to favoured contexts — Hintikka to contexts where the believer knows who (...) or what the person or thing in question is; Kaplan to contexts where the believer possesses a vivid name of the person or thing in question. The bulk of this paper is taken up with criticisms of these proposals. Its ultimate purpose, however, is to motivate an alternative approach, which imposes no restrictions on exportation or quantifying in, but repudiates Quine's other intuition: this is the approach taken in my A Logical Form for the Propositional Attitudes. (shrink)

The author puts forth an approach to propositional attitude contexts based upon the view that one does not have beliefs of ordinary extensional entitiessimpliciter. Rather, one has beliefs of such entities as presented in various manners. Roughly, these are treated as beliefs of ordered pairs — the first member of which is the ordinary extensional entity and the second member of which is a predicate that it satisfies. Such an approach has no difficulties with problems involving identity, such as of (...) The Morning Star and The Evening Star (section 1). Given the second members of the pairs, the modes of presentation, it is quite natural to allow exportation everywhere. There is no need for essentialism. (One also can have non-essentialistic modal logic if one grants analyticity or the like.) (section 2). Given that the second member of the pair need only be one that is satisfied by the entity that is the first member (and need not be specificative), the method has no difficulties when one is concerned only with discriminations (and not specifications) (section 3). When this method is combined with the Frege-Carnap method of descriptions, fictional entities can be accommodated; Goodman''s unicorn-picture and the like can be brought within a Tarskian semantics; and Geach''s difficulties with intentional identity appear to be handled (section 4). Given the author''s ordered pair construals, there appears to be no additional need for notional construals; i.e., the author''s one unified method appears satisfactory for dealing with both traditionalde re (relational) andde dicto (notional) construals. The Paradox of the Knower and the like do not appear formulatable against the author''s approach. (section 5). The author also argues against the basic principles behind the Church-Langford translation argument (section 6). (shrink)

In this paper I examine a series of criticisms that have been levelled against Quine's naturalized epistemology, regarding its response to the problem of scepticism. Barry Stroud and Michael Williams, assuming that Quine wishes to refute scepticism, argue that Quine not only fails to undertake this refutation, but is also committed to theses (such as the inscrutability of reference and the underdetermination of theory by evidence) which imply versions of scepticism of their own. In Quine's defence, Roger Gibson argues that (...) Quine can succeed in showing sceptical doubts to be incoherent. But I contend that both parties of this dispute wrongly assume that Quine wishes to defeat the sceptic in a traditional way. Instead, Quine is happy to 'acquiesce' in scepticism about a certain kind of justification. No logical justification of our scientific beliefs is possible on his view. But Quine thinks that pragmatic justification is possible, and acknowledging that this is his view leads to the resolution of a number of interpretive quandaries. (shrink)

This paper offers an interpretation of Quine's naturalized epistemology through the lens of Jaegwon Kim's influential critique of the same. Kim argues that Quine forces a false choice between traditional deductivist foundationalism and naturalized epistemology and contends that there are viable alternative epistemological projects. However it is suggested that Quine would reject these alternatives by reference to the same fundamental principles (underdetermination, indeterminacy of translation, extensionalism) that led him to reject traditional epistemology and propose naturalism as an alternative. Given this (...) interpretation of Quine, it is essential that a successful critic of naturalism also examine Quine's aforementioned principles. The divide between naturalist and nonnaturalist epistemology turns out to be defined by the divide between more fundamental naturalist and nonnaturalist approaches to semantics. (shrink)

Can Quine’s criterion for ontological commitment be comparatively applied across different logics? If so, how? Cross-logical evaluations of discourses are central to contemporary philosophy of mathematics and metaphysics. The focus here is on the influential and important arguments of George Boolos and David Lewis that second-order logic and plural quantification don’t incur additional ontological commitments over and above those incurred by first-order quantifiers. These arguments are challenged by the exhibition of a technical tool—the truncation-model construction of notational equivalents—that compares the (...) ontological role and increased expressive strength of non-first-order ideology to first-order ideology. (shrink)

In recent years, a new dispute has risen to prominence: the dispute between realists and anti-realists about causal powers. Albeit sometimes overlooked, the meta-ontological features of this “question of realism for powers” are quite peculiar. For friends and foes of causal powers have characterized their contrasting views in a variety of different ways; as existence claims, as semantic or truth-making claims, as fundamentality claims, as claims about the nature of certain properties. Not only does this multiplicity of interpretations make it (...) unclear what the genuine bone of contention is, if there is one; some of them appear to be mutually exclusive. Some light can be shed on this apparent yet widespread confusion by distinguishing three degrees of ontological involvement in dispositional truths; viz., three ways, of increasing robustness, to read ontological commitments from dispositional truths. Relatedly, by exploring the literature, and focusing on some selected examples of power realism and anti-realism, we can observe that power realists vastly disagree over the intrinsic nature ad make-up of dispositional properties. Such examples furthermore invite the thought that the question of realism for powers is best understood not as the debate around the existence of properties with a distinctive identity, but rather as a debate about metaphysical hierarchy. Finally, some anti-realists positions are indistinguishable from realist ones, using merely intensional resources: power realism is best appreciated by going hyperintensional. (shrink)

Information modeling (also known as conceptual modeling or semantic data modeling) may be characterized as the formulation of a model in which information aspects of objective and subjective reality are presented (the application), independent of datasets and processes by which they may be realized (the system).A methodology for information modeling should incorporate a number of concepts which have appeared in the literature, but should also be formulated in terms of constructs which are understandable to and expressible by the system user (...) as well as the system developer. This is particularly desirable in connection with certain intimate relationships, such as being the same as or being a part of. (shrink)

The purpose of this article is to critically assess the ‘three-world theory’ as it is presented—with some slight but decisive differences—by Jürgen Habermas and Karl Popper. This theory presents the philosophy of science with a conceptual and material problem, insofar as it claims that science has no single access to all aspects of the world. Although I will try to demonstrate advantages of Popper’s idea of ‘the third world’ of ideas, the shortcomings of his ontological stance become visible from the (...) pragmatic point of view in Habermas’s theory of communicative acts. With regard to the critique that the three-world theory has met in both its pragmatic and ontological versions, I will take a closer look at John Searle’s naturalistic counter-position. By teasing out some problematic implications in his theory of causation, I aim to show that Searle’s approach is, in fact, much closer to Popper’s than he might think. Finally, while condoning Habermas’s distinction between the natural world and the lifeworld, I will opt for a pragmatically differentiated view of ‘the real’, rather than speaking of different worlds. (shrink)

This paper contains a discussion of Quine's thesis of indeterminacy of translation within the more general thesis that using and understanding a language are to be conceived of as a creative and interpretative-constructional activity. Indeterminacy is considered to be ineliminable. Three scenarios are distinguished concerning, first, the reasons for indeterminacy, second, the kinds of indeterminacy and, third, different levels of a general notion of recursive interpretation. Translational hypotheses are seen as interpretational constructs. The indeterminacy thesis turns out to be a (...) consequence of the externalizing of language, meaning, and epistemology. By means of a three-leveled interpretation model one can substantiate the crucial aspects, first, that indeterminacy is not an indeterminacy of facts of the matter and, second, that there is a significant difference between indeterminacy and underdetermination. In addition, the relationship between indeterminacy, interpretation, and charity is elucidated. Indeterminacy is seen not as an obstacle to but as a condition for communication. Charity and empathy in dialogue are conditional upon indeterminacy. All three components reveal the interpretative-constructional character of the inseparable connection of meaning and experience. (shrink)

It is shown that the Hilbert-Bernays-Quine principle of identity of indiscernibles applies uniformly to all the contentious cases of symmetries in physics, including permutation symmetry in classical and quantum mechanics. It follows that there is no special problem with the notion of objecthood in physics. Leibniz's principle of sufficient reason is considered as well; this too applies uniformly. But given the new principle of identity, it no longer implies that space, or atoms, are unreal.

Contemporary philosophy often chants the mantra, ‘Philosophy is continuous with science.’ Now Shepanski gives it a clear sense, by extracting from W. V. Quine’s writings an explicit normative epistemology – i.e. an explicit set of norms for theorizing – that applies to philosophy and science alike. It is recognizably a version of empiricism, yet it permits the kind of philosophical theorizing that Quine practised all his life. Indeed, it is that practice, more than any overt avowals, that justifies attributing this (...) set of norms to Quine. -/- The Quinean epistemology is supported by a metaphilosophy that judges epistemologies by the tenability of their consequences. Shepanski explores the Quinean epistemology’s consequences for inductive and abductive inference, for mathematical entities, for science and for common sense. Moreover, he finds that it continues to be fruitful, as illustrated by a case study in which Quinean methods lead to a new formal treatment of the propositional attitudes. Finally, there is critical discussion of popular alternative views, including foundationalism, the centrality of knowledge, and Quine’s own epistemological naturalism. -/- By focusing on Quine’s normative epistemology, Shepanski illuminates a part of Quine’s thought that has hitherto been insufficiently discussed, and provides a tractable starting point for readers who are new to Quine. Most importantly, he isolates the part of Quine’s thought that has the greatest potential impact outside epistemology, outside philosophy of language, and even outside philosophy. (shrink)

In this chapter, I critically examine two of the main approaches to colour categorization in cognitive science: the perceptual salience theory and linguistic relativism. I then turn to reviewing several decades of psychological research on colour categorical perception (CP). A careful assessment of relevant findings suggests that most of the experimental effects that have been understood in terms of CP actually fall on the cognition side of the perception-cognition divide: they are effects of colour language, for example, on memory or (...) decision-making. (shrink)

This article critically assesses the empirical research that leads Quine, in his posthumously published work, to abandon his empiricist principle that humans do not have any innate concepts, or knowledge. It is the same empirical research that Penelope Maddy capitalizes on to develop her own contributions to naturalized epistemology, and it has been pioneered by developmental psychologist Elisabeth Spelke. Spelke employs the method of habituation and preferential looking to argue that human infants have innate concepts, and that they have some (...) knowledge about what can and cannot happen to physical objects. Taking into account empirical studies as well as methodological considerations, this article examines whether this research can support these strong philosophical conclusions drawn from it, finding that it likely cannot provide such support. (shrink)

It is common for contemporary metaphysical realists to adopt Quine's criterion of ontological commitment while at the same time repudiating his ontological pragmatism. 2 Drawing heavily from the work of others—especially Joseph Melia and Stephen Yablo—I will argue that the resulting approach to meta-ontology is unstable. In particular, if we are metaphysical realists, we need not accept ontological commitment to whatever is quantified over by our best first-order theories.

l. THE GENERAL PROBLEM OF EPISTEMOLOGY There is a philosophical issue that surely precedes all other possible questions. It concerns the very possibility of our thinking about some thing to some purpose. Short of this no philosophy, theory or research would be possible. But it is not immediately clear that we are assured that what purports to be effective thought, and cognition is such in reality. What guarantee is there for instance that when one is under the impression that one (...) is thinking that "the cat is on the mat" it is in fact the case that one is thinking this? One could not be thinking at all, only having a misleading mystic experience. And then even if one was thinking, one might not be really thinking of the cat being on the mat, but only that one wishes there was a cat, and wonders whether if there was it would be on the mat, and yet the subjective impression was that one was thinking: "The cat is on the mat". Then one might in some way try to think 'the cat is on the mat. ' yet be mistaken in that there aren't any material objects at all, and all one does is to inventory god's perceptions. And so on, and so on! These are of course the kind of problem that the layman habitually views with disdainful alarm. (shrink)

This volume reflects the development and theoretical foundation of a new paradigm for critical thinking based on inquiry. The field of critical thinking, as manifested in the Informal Logic movement, developed primarily as a response to the inadequacies of formalism to represent actual argumentative practice and to provide useful argumentative skills to students. Because of this, the primary focus of the field has been on informal arguments rather than formal reasoning. Yet the formalist history of the field is still evident (...) in its emphasis, with respect to both theory and pedagogy, on the structure and evaluation of individual, de-contextualized arguments. It is our view that such a view of critical thinking is excessively narrow and limited, failing to provide an understanding of argumentation as largely a matter of comparative evaluation of a variety of contending positions and arguments with the goal of reaching a reasoned judgment on an issue. As a consequence, traditional critical thinking instruction is problematic in failing to provide the reasoning skills that students need in order to accomplish this goal. Instead, the goal of critical thinking instruction has been seen largely as a defensive one: of learning to not fall prey to invalid, inadequate, or fallacious arguments. (shrink)

Inference is a process by which appropriate belief states get connected. Belief states are biological states in the sense that they are reentrant loops ; their intrinsic feature is recognition. In inference or reasoning the transition process between belief states is regulated by the rule of concept usage, involved in the belief state, in natural language. Like belief states experiential states are also biological states whose extrinsic feature is recognition, such that, one can have an, say, X-type experience without recognizing (...) it as an experience of X. One can, however, also have an experience of an X; in the latter case, one not only has an X-type experience but also recognizes an X as an X. In some cases the transition from X-type experience to believing an X to be there instantiates a quasi-inferential pattern. In all such cases the transition process is regulated by the rule of X usage. In such quasi-inferential transition additional belief states are involved. Such states assert that there are no countervailing factors and there are additional factors conducive to the conclusion. Such belief states are expressed non-propositionally in the language of thought. Propositions are a necessary part of such quasi-inference for they give content to thoughts to which one can assign 'falsity' and defeasible reasoning requires us to assign 'falsity' to our thoughts. Propositions implicated in the quasi-inferences from experience types to belief states are the evidential reasons for the conclusion and they can only be accepted as provisionally true and have to be revised in the light of further information. (shrink)

The present paper is concerned with a ramified type theory (cf. (Lorenzen 1955), (Russell), (Schütte), (Weyl), e.g.,) in a cumulative version. §0 deals with reasoning in first order languages. is introduced as a first order set.

Contemporary accounts of logic and language cannot give proper treatments of plural constructions of natural languages. They assume that plural constructions are redundant devices used to abbreviate singular constructions. This paper and its sequel, "The logic and meaning of plurals, II", aim to develop an account of logic and language that acknowledges limitations of singular constructions and recognizes plural constructions as their peers. To do so, the papers present natural accounts of the logic and meaning of plural constructions that result (...) from the view that plural constructions are, by and large, devices for talking about many things (as such). The account of logic presented in the papers surpasses contemporary Fregean accounts in its scope. This extension of the scope of logic results from extending the range of languages that logic can directly relate to. Underlying the view of language that makes room for this is a perspective on reality that locates in the world what plural constructions can relate to. The papers suggest that reflections on plural constructions point to a broader framework for understanding logic, language, and reality that can replace the contemporary Fregean framework as this has replaced its Aristotelian ancestor. (shrink)

True to the spirit of Topoi’s Untimely Reviews section, the present essay is a work of the counterfactual imagination. Suppose that Quine’s “Two Dogmas” had been written and published in the late 1990s rather than the early 1950s. What, in those circumstances, would philosophical commentary look like, especially against the marked developments in Quine’s philosophy in that same period? In short, how would Quine’s “Two Dogmas” stand up as a late 1990s paper rather than an early 1950s paper? Answering that (...) question is my task here. (shrink)