It is natural to think that our ordinary practices in giving explanations for our actions, for what we do, commit us to claiming that content properties are causally relevant to physical events such as the movements of our limbs and bodies, and events which these in turn cause. If you want to know why my body ambulates across the street, or why my arm went up before I set out, we suppose I have given you an answer when I (...) say that I wanted to greet a friend on the other side of the street, and thought that my arm's going up would be interpreted by him as a signal to stop for a moment. This widely held view might be disputed, but I shall not argue for it in this paper. I want to start with the view that our beliefs and desires and other propositional attitudes are causally relevant, in virtue of their modes and particular contents, to our movements, in order to investigate the consequences for analyses of thought content. For this purpose, I argue, in sec. II, for three necessary conditions on causal relevance: (a) a nomic sufficiency condition, (b) a logical independence condition, and (c) a screening-off condition. In sec. III, I apply these conditions to relational and functional theories of thought content, arguing that these theories cannot accommodate the causal relevance of content properties to our behaviour. I argue further that, on two plausible assumptions, one about the dependence of the mental on the physical, and the other about the availability in principle of causal explanations of our movements in terms of our non-relational physical properties, content properties can be causally relevant only if they are nomically type-correlated, relative to certain circumstances, with non-relational physical properties of our bodies. In sec. IV, I respond to a number of objections that might be advanced against this conclusion. (shrink)

We propose a new perspective on logics of computation by combining instantial neighborhood logic \ with bisimulation safe operations adapted from \. \ is a recent modal logic, based on an extended neighborhood semantics which permits quantification over individual neighborhoods plus their contents. This system has a natural interpretation as a logic of computation in open systems. Motivated by this interpretation, we show that a number of familiar program constructors can be adapted to instantial neighborhood semantics to preserve invariance (...) for instantial neighborhood bisimulations, the appropriate bisimulation concept for \. We also prove that our extended logic \ is a conservative extension of dual-free game logic, and its semantics generalizes the monotone neighborhood semantics of game logic. Finally, we provide a sound and complete system of axioms for \, and establish its finite model property and decidability. (shrink)

We propose a new perspective on logics of computation by combining instantial neighborhood logic INL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {INL}$$\end{document} with bisimulation safe operations adapted from PDL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {PDL}$$\end{document}. INL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {INL}$$\end{document} is a recent modal logic, based on an extended neighborhood semantics which permits quantification over individual neighborhoods plus their contents. This system has a natural interpretation as (...) a logic of computation in open systems. Motivated by this interpretation, we show that a number of familiar program constructors can be adapted to instantial neighborhood semantics to preserve invariance for instantial neighborhood bisimulations, the appropriate bisimulation concept for INL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {INL}$$\end{document}. We also prove that our extended logic IPDL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {IPDL}$$\end{document} is a conservative extension of dual-free game logic, and its semantics generalizes the monotone neighborhood semantics of game logic. Finally, we provide a sound and complete system of axioms for IPDL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {IPDL}$$\end{document}, and establish its finite model property and decidability. (shrink)

Our purpose is to formulate a complete logic of propositions that takes into account the fact that propositions are both senses provided with truth values and contents of conceptual thoughts. In our formalization, propositions are more complex entities than simple functions from possible worlds into truth values. They have a structure of constituents (a content) in addition to truth conditions. The formalization is adequate for the purposes of the logic of speech acts. It imposes a stronger criterion of (...) propositional identity than strict equivalence. Two propositions P and Q are identical if and only if, for any illocutionary force F, it is not possible to perform with success a speech act of the form F(P) without also performing with success a speech act of the form F(Q). Unlike hyperintensional logic, our logic of propositions is compatible with the classical Boolean laws of propositional identity such as the symmetry and the associativity of conjunction and the reduction of double negation. (shrink)

Peirce and Frege both distinguished between the propositional content of an assertion and the assertion of a propositional content, but with different notational means. We present a modification of Peirce’s graphical method of logic that can be used to reason about assertions in a manner similar to Peirce’s original method. We propose a new system of Assertive Graphs, which unlike the tradition that follows Frege involves no ad hoc sign of assertion. We show that axioms of intuitionistic (...) logic can be derived from AGs, and argue that AGs analyse and represent assertions and illocutionary content in a way which is motivated both by its logical properties and its historical connection with the ideas that led to the development of the graphical method. (shrink)

In this book, I will discuss three main topics: the roots and aims of scientific knowledge, scientific knowledge in society, and science and values I understand scientific knowledge as being a planned and continuous production of the general and common knowledge of scientific communities. I begin my discussion with a brief analysis of the main differences between sciences, on the one hand, and everyday experience, philosophies, religions, and ideologies, on the other. I define the concept of science as a (...) set of family resemblances (in Wittgenstein's sense). The sciences can be distinguished along three lines, in terms of the difference between empirical and non-empirical sciences, differences in degrees of theoretical and methodological structure among individual sciences and scientific disciplines. Scientific knowledge is based upon some grounds, paradigmatic knowledge bases. Scientific knowledge is founded on a unified paradigmatic knowledge base. The latter includes fundamental theories, basic facts, generally accepted empirical regularities (laws), scientific research methods, scientific explanations, and established relations to other sciences. Scientific knowledge in general is defined well in classical terms by the definition that knowledge is a true and rationally-justified belief. In this connection, scientific truth is relative, depending on the given paradigmatic knowledge base and on the precision and accessibility of the measurements and observations involved. In the book's first part, I consider the production and testing of scientific hypotheses, scientific explanations, the structure of scientific theories, and the problem of scientific realism. I consider explanation an integral part of a wider nexus of heuristic and theoretical activities in science like giving reasons, understanding, clarification, and founding. Continuous production of scientific explanations is a necessary condition for the systematic reproduction of scientific knowledge. Accordingly, it does not suffice to describe them in terms of the logical structure of the arguments on which they are based, but rather, scientific explanations ought to be given complete with an epistemic and pragmatic context of the explanation. I consider especially deductive-nomological, inductive-statistical, dispositional, teleological-functional, and genetic explanations. I emphasize the ever-increasing importance of explanations by analogy and by model. Orthogonal to these distinctions lies the distinction between causal and epistemic explanation. Epistemic explanations relate scientific discoveries to epistemic progress, and causal explanations are these epistemic explanations that relate scientific discoveries to reality too. Causal explanations inform us that certain changes occur in the world as agents of other changes, or rather, that certain changes are real consequences of other changes. Thus, by having explanations of causes, we can intervene in the world to induce by design certain changes in some course of phenomena. I consider scientific theories as logically and epistemically ordered wholeness of scientific knowledge in a realm of research that enables us to construct useful models of reality. After the discussion of different 'statement' views on theories and different interpretations of the theory-experience relation, I introduce the 'model' theoretical (non-statement) views on theories, especially the structural theory of science. The model views on theories transcend the realism-antirealism dualism by introducing models between theory and reality. Therefore, the question of scientific realism is not merely whether and, if so, which element(s), of scientific theories represent reality, but rather which conditions suffice to infer from a theory that one of its models truly expresses reality. In other words, under which conditions do models of a theory represent models of reality? Generally, models are just as much images of reality in a theory as they are images of a theory in reality. The actual problem of scientific realism doesn't originate in the observable-unobservable distinction (even if this distinction is otherwise theoretically loaded), but rather in ontological quandaries, of the sort especially encountered in modern physical theories such as quantum mechanics, relativity theory, and cosmological theories, although they are known to arise in other sciences as well. Scientific theories may be real, even if they describe nothing about the world. However, such theories can be given this status only if their formal, mathematical postulates exhibit some formal homology between reality and mathematical forms. The very fact that it is possible to describe reality with the help of mathematics even in cases, where every (representational, conceptual) language and thought fall short, would indicate that even mathematics itself is, in some sense, a part of reality, although 'outside' of the empirical world. It follows we have to distinguish the non-empirical reality and the empirical world. Formal objectivity and non-arbitrariness of theories do not emerge from either our language or thoughts, or from the world of facts, causes, and effects, but rather from non-empirical reality, which frames the world as some kind of objective transcendental condition for the possibility of the existence of the world, thoughts, and language. In the second part of the book, I consider the incorporation of scientific work and scientific knowledge into modern society and its relations to values and ethics. Production of scientific knowledge goes on as a parallel distributed process of a special kind of social (shared) cognition. The central part of this cognition is the presentation of parts of the world by scientific (theoretical) models which are warranted by the shared and public practice of justification, and in reflective acting in the world as it would. I consider various formal concepts of collective propositional knowledge (distributed, mutual, common knowledge). Scientific knowledge is an achievement to be ascribed to a scientific community or, indirectly, to all those who apply or expand it, rather than to individuals per se. It presents the continuous and partially planned production of non-trivial common knowledge of the research communities in modern societies. However, besides common knowledge, shared dispositional knowledge (knowledge how of scientific teams) and shared knowledge by acquiring (knowledge of fundamental similarities and differences in scientific teams) are parts of the real body of scientific knowledge. Scientific common knowledge implies the projection into idealized universal knowledge of all real or potentially rational and well-informed individuals. The respect of scientific knowledge thus presents the norm of rationality. Science as the intensively shared and socially distributed kind of cognition enters into modern society as a special kind of work (general work), as a productive force (social invention drive), and as a form of capital (human, social, cultural, informational, etc.). However any of these categories can adequately represent the socio-economical role of science in modern societies, and we are still waiting for a more adequate general concept that would theoretically cover the 'scientification' of modern societies. My thesis is that the most important general effect of scientification is (and will be) the growth of social processes that structurally resemble parallel distributed shared social cognition of science, and not so much the rise of the use of scientific knowledge and scientifically based information in all kinds of production. Scientification of modern societies inevitably includes a much stronger need for moral and social responsibility of scientists for their work and its effects in their local society and the global world. This need comes in contradiction with the quite large accepted idea (and even the 'norm') on value-free research. I discuss to some degree different arguments for the absence of non-epistemic values and ethical reasoning from science and find them non-convincing. The sound idea of value-free research lies in the need for the absence of categorical value statements from scientific explanations and theoretical deductions. Values and ethical judgment have, and sometimes they even have to play an important role in another part of research and its application in science or outside it. Not the value-loudness of research is a danger for science but its blind, non-reflective use. It leads to the ideologization and politicization of science. A similar danger lies in the purely value-neutrality of research. It leads to the instrumentalization of science to the technical or bureaucratic means for 'any' aims. (shrink)

This is the second part of a paper devoted to the study of the maximal intermediate propositional logics with the disjunction property , whose first part has appeared in this journal with the title “A method to single out maximal propositional logics with the disjunction property I”. In the first part we have explained the general results upon which a method to single out maximal constructive logics is based and have illustrated such a method by (...) exhibiting the Kripke semantics of maximal constructive logics extending the logic ST of Scott, for which, in turn, a semantical characterization in terms of Kripke frames has been given. In the present part we complete the illustration of the method of the first part, having in mind some aspects which might be interesting for a classification of the maximal constructive logics, and an application of the heuristic content of the method to detect the nonmaximality of apparently maximal constructive logics. Thus, on the one hand we introduce the logic AST , which is compared with ST and is seen as a logic “alternative” to it, in a sense which will be precisely explained. We provide a Kripke semantics for AST and show that there are maximal constructive logics which neither are extensions of ST nor are extensions of AST. Finally, we give a further application of the results of the first part by exhibiting the Kripke semantics of a maximal constructive logic extending AST. On the other hand, we compare the maximal constructive logics presented in both parts of the paper with a constructive logic introduced by Maksimova , which has been conjectured to be maximal by Chagrov and Zacharyashchev ; from this comparison a disproof of the conjecture arises. (shrink)

continent. 2.2 (2012): 155–158 Michel Serres. Biogea . Trans. Randolph Burks. Minneapolis: Univocal Publishing. 2012. 200 pp. | ISBN 9781937561086 | $22.95 Conveying to potential readers the significance of a book puts me at risk of glad handing. It’s not in my interest to laud the undeserving, especially on the pages of this journal. This is not a sales pitch, but rather an affirmation of a necessary work on very troubled terms: human, earth, nature, and the problematic world we made. (...) It is this world that aspirates the silence (so to speak), and therefore the subject which, along with the development of the “made world” exports the excess augmentation of the cosmically missing, this silence of the natural, et cetera. Had we learned from Locke that lesson of “labor,” to consume what we need… but perhaps we need more than what matters? Serres’ Biogea has several functions on this manner, if it is indeed a book to be consumed. First, readers searching for novelistic entertainment have a place to dwell. Biogea deserves a place in your back pocket; biographical generosity and poetic fluidity should satisfy most textual fetishes. For lay philosophers who want to refresh their acumen, Biogea deserves a place on the book shelf, one already reads a sorely needed postmodern tune-up here. Serres’ style is clearly French; he leaves few cheese crumbs on his words, rather preciseness and breathing in the work give way to a sweeping manner that breaks the narrative line of sight. A circular narrative and anachronistic fragmentation of terms allows an abyssal atmosphere to swell, if only to pump into the book the externality of its broader text. Biogea aspires to a higher standard and the book, at times, is thinking this negentropic problem too. Univocal, the publisher, has crafted a book appropriate for the hands to hold and the translations are an achievement of an otherwise difficult writer to translate. Terms are the conditions of a broader text. It is important to note that Serres’ content is as much a thinking of terminal ports. There is a regard for the transportation technology of the written word. For me, this is the mark of genius, a craftiness that tells of a book device that I may trust. Serres is an accomplished thinker and a necessary voice to check the putative trendiness of anti-postmodernist and market-driven theory of endless cultural liquidation. Offering interventions on subjectivity as an open system we are given a chance to affirm the human, not merely to discard it, but to engage its poetic image emotion, the calibratory silent sense of the analogic world; the terms on which we base our efforts. 1 The human is the center of its own negation, constantly mediating it. Something deeper at stake appears in the work then, and it is quite obvious from the onset. Certainly, a book is an intensification of possible text and those who brought this actual book into existence have captured a rarity in regards to the subject matter and artistic accomplishment. I mentioned terms as conditions, so let us understand Biogea as bio-yea, a yes to bios . An affirmation of living and accepting presence for all of its defiance of images, words, and things temporal. Therefore Serres’ existence and its existants plays parts; out of linearity and still like a porous bone pumping blood it manufactures into the fleshy life it becomes. Starting from a man named silence chaos emerges, or the man “Old Taciturn” takes up a journey anticipating a great flood. In other words, a development akin to the one in Genesis. In dealing with this ancestral occupation, fusing Genesis with contemporary philosophical terms, Serres initiates this anachronistic fragmentation under the forming subjectivity of his own autobiography. This mutation in the open system is precisely one of Serres’ terms. There an abyss is at work, stated, but also measured by heels on the ground—the abyss dispatching earthen tensions, that which plays our tunes, that which we abide by and recognize in volcanoes, rivers, oceans, earthquakes and weaponry in the battles of the world. Set in later stages of the book, such tensions are harnessed through scientific principles in an attempt to unify the terms of natural force if only to terminate the world. Thus the elevation of the earth into the world is clearly set forth. Here already, and few pages in, a resonance is set forth under appellations such as the river Garonne, a subjectivity as much as it is inhuman, the river is the inhuman that makes us human. I get the sense that Serres is taking up a challenge issued by Wallace Stevens; namely, that the great poems of heaven and hell have been written, but that only the poem of the earth has resisted composition. 2 On this level we cannot avoid the killing factor of silence, given that our cognition blocks its pure, radical obliteration. Thus a silence of attunement to the earth is in a novel dialectic of the rithmic and rhythm. A technological world, a triumph of termination is set forth. If a text imposes its will given the reader who authorizes it, it is made to convey or convect a presupposition to a reader or its inhabitant(s). Text is therefore both, in-content, contenting, contentedness, and in reading it, a way to navigate self-destruction (dis-content). Here then would one note that the “inhuman” reveals itself, “an aperiodic rhythm of lovers and beloved…the sea as our friend…but as our enemy…maternal vivifying sea.” The sea is an open book, or vaginal birth canal, where the engagement of text comes forth: “…woman sea, open vulva.” One sees like the sea, but only after it, when the uninhabitable truth of inhabiting it switches the polarity of the sailors soul: “I was seeing like the sea” (9-11). In other words, we are invited to embrace the nonsense of the visible. At this point I am taken to Jean-François Lyotard’s work The Inhuman , specifically the first entry on negentropy that would be congruent with Serres’ thematic. 3 The human being exports, deports, or transplants its relation through text, through the system— and this is its sense or relation to silence, to music. Unaware of Serres’ proximity to this work, the concept of gender interrelation as regards a solar catastrophe runs clear. It would be, on this basis, that Serres references his peers, the other texts that, as mentioned above, are discarded in philosophy today. For students of philosophy what we have here is perhaps a gift, a needed project. If silence and death are at work, there is a political valence to deal with, and here, much like the domain of the text and the dominion of the reader, we confront the world of natural, fluid violence. The anti-postmodernist critique is in part based on a weak idea that the loss of ideology, of a world vision, motivates the “correlationist” project. 4 Serres seems to offer another way to view this when he notes that whereas persons “sometimes kill,” it is clearly “the collective” that “always kills” (17). What is the collective today, if not an organizing function we never see yet acts in its favor in the name of truth? One feels a sense of enigma here, if only to link to what Stevens remarked of communism as a “grubby faith,” providing this applies for capitalism as well, namely any ideology of progress overly interested in absolutes. Here we get the sense that the inhuman, silence, this type of killing, always killing, could not be matched by human-made, political dynamos. Or that if it comes to an equilibrium, a catastrophe is never too far from us to read with our heels. We are left to note that the forces of nature presuppose and permeate political systems, the more these systems obtain force, the more the system takes upon itself the proper name of nature that motivates its dissemination, albeit falsely. This note, that in an age of ecocide and technological captivity (sustainability and transparency) political regimes won’t grow our soul-learning ears any larger than our tongues, stands clear to us. The promise of technological desubjectification is here pushed aside. Regarding politics, Serres illustrates this fact: Where did this corpse come from? Who was it? Who killed it? I don’t know. I won’t try to find out. I refuse to get vengeance for it. And I only see Garonne. For our victims, today, are the rivers, too. Their waters have irrigated my life, enchanted my thought, invigorated my body; I’ve known them to be threatening, untamable, as dangerous as the sea when it rages. Yes, murderous. They decided to control their courses; dams, sometimes senseless, destroying sites and valleys, reduced entire populations to servile displacements; programs for the irrigation of thirsty farmland, often beneficial of course, completed their drying up.(22) Serres enters into his idea concerning the captivity of language from the natural into a world system: For thousands of years, we have been licking things with our tongues, covering and daubing them so as to appropriate things for ourselves. If language boils down to a convention, this convention took place between the speakers without consulting the thing named, become as a result the property of those who covered it in this way with their drawn or voiced productions. Malfeasance analyzes these acts of appropriation. Thus every inert object, every living thing as well, sleeps under the covers of signs, a little in the way that, today, a thousand posters shouting messages and ugly riots of color drown, with their filthy flood, the landscapes, or better, exclude them from perception because the meaning, almost nil, of this false language and these base images forms an irresistible source of attraction to our neurons and eyes. This appropriation covers the world’s beauty with ugliness. (38-39) Technological concealment coming to bear, we begin to get a sense of another commentary on the condition of sensing, driving home the necessity of a text dealing with such subject matter to be what its terms insist. Thus toward new openings: The new opening. As low beneath our feet as you like, the Biogea opens us to another space, high enough for us to be able to acquire a wisdom there, that of redeveloping this same place differently from our fathers, this place that’s still politically cut up by old hatreds, beneath the flood of tears and blood that we call history. Without this soft place, spiritually very old, but newly conceived in this way, without the juridical construction of a common good, opposed to our filthy ownership, I don’t see how our planet, hard, will survive. Hardness that depends on a softness, material belonging that depends on this temporary rented location (51). Serres enters into a summit on the content and the structure of his work. Archimedes is brought in with the concept of three volcanoes. Meaning fire, but as well earth, water, air. For it was Archimedes’ war machines that sought to lift the earth, thus bringing in the question of principles of science: “can a principle be invented while controlling its consequences?” (66-7). May the earth be put in a sentence, terminated by terminology, appellations, gone wild? By means of these element-dominating laws, this old physicist began to tear nature away from the ancient myths; by a strange return, today we’re plunging our successes back into the anxieties and terrors from which that ancient physics was born. Yes, our new history of science and technology is plunging, today, as though in a loop, into the fundamental human myths from which Empedocles’ first laws came. A major progression and a regression on the nether side of the origins. Consequently, the contemporary time requires that we try to return to that unity in which the principles of hate and love are at the same time human, living, inert and global. We will never attain a deontology of our knowledge and actions without thinking the subjective, the objective, the collective, and the cognitive all together simultaneously. Here, hate and love are the result of these four components.(71) Working then on the concept of fire-starting mirrors to the atomic annihilation of the Second War, Serres works into the subjectivity in question on the matter of rhythm—say rithmic— precisely at that point: Knowledge is changing today. The all-political is dying; the monarchy of the sciences said to be hard is coming to a close. The science of the things of the world will have to communicate just as much as the things of the world do, which do it much better than humans do, who don’t always want to do it. Let’s celebrate two changes this morning. The first one strikes a new blow to our narcissism. No, knowledge and the world don’t resemble our analytical enjoyments of refined cutting up, of endless debates and of exclusions full of hate. They, on the contrary, form a bloc and a sum, alliance and alloys. Uniting the fields of knowledge among themselves the way the things are connected among themselves, the second newness puts into place sets united by interlacing, webs and simplexes that combine with the things of the world, themselves combined, the combined knowledge that understands them.(130-1) Biogea closes on its opening flood thematic, approaching the initial telos of Genesis. Here the trees are brought into a position with atmosphere, the opaque abyssal reservoir, the tomb of the sun, sea in the polarity of the earthen heaven and hell. The poem of the earth then is silent but deadly, indeed, as funny as that phrase is, mainly a tomb gas. The meaning of the living and the non-meaning of things converge in the muteness of the world; this meaning and non-meaning plunge there and come out, the ultimate eddy. Mundus patet: through a fissure, through an opening, a fault, a cleft come noises, calls as small as these apertures. I’m listening, attentive, I’m translating, I’m advancing in the scaled-down meaning and science. Mundus patet: should the world open greatly, it will launch me into its silence. The totality remains silent. Knowledge expanded in elation. White origin of meaning, fountain of joy. (198) Final Remarks One test of a review is the long term trajectory the referee thinks the book will have. I see Serres’ text lending greatly into the vision of Biogea . In fact, in the vision of the novel inquiries of Stephen Jay Gould’s work there is something to be thought on the level of the individual and the species; namely, that humanity and its uniqueness is in its deferral, its thinking and naming, a thinking surrounded by silence that filters into everything, that pulls us through the world, the kinetic pulse we recognize, and all of that we cleave away in the base philosophical maxim of difference itself. Unique individuals are spatial creatures: we dwell, and we ought to get good at it. Yet this is an imaginative space that, if you are crazy enough to believe it, de-term-ine the conditions of its own terms. That is why we are not merely creating spaces on the acceleration of time, or so this ignoramus thinks, to accidentally transcend. Imagination already has this insatiable silence that we drink up and fail to manifest. Space is timeless. The imagination itself, shared by humans for themselves, their objects, and the species as a whole, is a non-defined space of relation; a whole human trajectory as part of nature, and part of worlds that are the other side of thinking nature, the consequence of it, at least our attempt to do so. Our survival is based on our deliberation, our caution, our natural deconstructive sense toward this silence that is already part of the song, sung, singing of this century without end. Good books will let us inhabit this space and recognize a form of life. Serres’ text moves toward dwelling, as noted, in masterful and accessible ways. The pitched battles are the falling replays of anemic and dead politics. As soon as we realize there is humanity, we may be able to enjoy the end of it, our inhuman capability of listening to silence. NOTES 1. See Michel Serres. The Parasite . Minneapolis: University of Minnesota Press. 2007. 2. Wallace Stevens, “Imagination as Value” [ca. 1945], in Collected Poetry and Prose . New York: The Library of America. 1997. 724-39. 3. Jean-François Lyotard. The Inhuman: Reflections on Time . Trans. Geoffrey Bennington & Rachel Bowlby. Stanford, CA: Stanford University Press. 1992. 4. See the introduction: Quentin Melliassoux. After Finitude: An Essay on the Necessity of Contingency . Trans. Ray Brassier. New York: Continuum. 2008. EDITOR'S NOTE: This review was updated on August 8, 2012. Substantial edits include block quotes from the book under review as well as the inclusion of comments from the author. (shrink)

The analysis of knowledge and belief has provoked intensive discussions in philosophy and linguistics. One of the issues in this area is the semantics of attitude verbs whose complement expresses a thought about the Self of the thinking person. What is the content of my belief when I think that I am tired? Some philosophers propose it is a proposition, others think it is a property. It will be shown in this essay that existing proposals in either direction are unsatisfying. (...) The property theorist expells the subject of the predicate "tired" from the analysis; their theory is at best incomplete. The propositionalist has difficulties with the analysis of the pronoun that refers back to the subject of the attitude, as is the case with "he" in "Wolfgang believes he is tired". The present new proposal ventures the idea that a conscious person is endowed with their own Logical Space that deviates from the standard model in providing for a separate entity, the Self, as the object or target of inner thoughts about oneself. Moreover, this Logical Space leaves room for linguistic error: in such a model, subjects may be unable to correctly identify the reference of a name or may fail to identify the Self with its bearer. By contrast, reference to the Self is immune to error through misidentification, it is a paradigm case of brute indexicality. In consequence, de se pronouns are rigid designators in the sense of Kripke. The book solves several puzzles of reference failure and explores numerous consequences for the semantics of attitude reports and for possible world semantics in general. (shrink)

This is the first part of a paper concerning intermediate propositional logics with the disjunction property which cannot be properly extended into logics of the same kind, and are therefore called maximal. To deal with these logics, we use a method based on the search of suitable nonstandard logics, which has an heuristic content and has allowed us to discover a wide family of logics, as well as to get their maximality proofs in a uniform way. The (...) present part illustrates infinitely many maximal logics with the disjunction property extending the well-known logic of Scott, and aims to provide a first picture of the method, sufficient for the reader who wish to achieve an overall understanding of it without entering into the further aspects developed in the second part. From this point of view, the latter will not be self-standing, but will be seen as a prosecution and a complement of the former, with the aim that the material presented in the whole paper can be used as a starting point for a classification of the subject. (shrink)

In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis is that all the non-classical properties of quantum systems are explainable in terms of the non-classical flow of quantum information. We give a logical analysis of quantum measurements (formalized using modal operators) as triggers for quantum information flow, and we compare them with other logical operators previously (...) used to model various forms of classical information flow: the “test” operator from Dynamic Logic, the “announcement” operator from Dynamic Epistemic Logic and the “revision” operator from Belief Revision theory. The main points stressed in our investigation are the following: (1) The perspective and the techniques of “logical dynamics” are useful for understanding quantum information flow. (2) Quantum mechanics does not require any modification of the classical laws of “static” propositional logic, but only a non-classical dynamics of information. (3) The main such non-classical feature is that, in a quantum world, all information-gathering actions have some ontic side-effects. (4) This ontic impact can affect in its turn the flow of information, leading to non-classical epistemic side-effects (e.g. a type of non-monotonicity) and to states of “objectively imperfect information”. (5) Moreover, the ontic impact is non-local: an information-gathering action on one part of a quantum system can have ontic side-effects on other, far-away parts of the system. (shrink)

These papers treat those issues involved in formulating a logic of propositional attitutudes and consider the relevance of the attitudes to the continuing study of both the philosophy of language and the philosophy of mind. Table of Contents: Introduction, by C. Anthony Anderson and Joseph Owens Quine on Quantifying In, by Kit Fine Prolegomena to a Structural Theory of Belief and Other Attitudes, by Hans Kemp A Study in Comparitive Semantics, by Ernest LePore and Barry Loewer Wherein is Language (...) Social?, by Tyler Burge Narrow Content, by Robert Stalnaker Cognitive Access and Semantic Puzzles, by Joseph Owens On Some Thought-Experiments About Mind and Meaning, by John Wallace and H. E. Mason Belief and the Indentity of Reference, by Keith S. Dennellan A Millian Heir Rejects the Wages of Sinn, by Nathan Salmon The Mode-of-Presentation Problem, by Stephen Schiffer Consciousness and Intentionality: Robots With and Without the Right Stuff, by Keith Gunderson Consciousness, Unconsciousness, and Intentionality, by John R. Searle. (shrink)

We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic logics in which the modalities may interact. The kind of interactions we consider include three forms of commuting axioms, namely, axioms similar to the axiom of perfect recall and the axiom of no learning from temporal logic, and a Church–Rosser axiom. We investigate the influence of the substitution rule on the properties of these logics and propose a new semantics for (...) the test operator to avoid unwanted side effects caused by the interaction of the classic test operator with the extra interaction axioms. (shrink)

In his Encyclopaedia Logic, Hegel affirms that truth is ‘usually’ understood as the agreement of thought with the object, but that in the ‘deeper, i.e. philosophical sense’, truth is the agreement of a content with itself or of an object with its concept. Hegel then provides illustrations of this second sort of truth: a ‘true friend’, a ‘true state’, a ‘true work of art’. Robert Stern has argued that Hegel's ‘deeper’ or ‘philosophical’ truth is close to what (...) Heidegger labelled ‘material’ truth, namely a property attributed to a thing on the basis of the accordance of that thing with its essence. It has since been common to think of Hegel's concept of ‘philosophical’ truth as ‘ontological’, ‘objective’ or ‘material’ in contrast to ‘epistemological’ or ‘propositional’ definitions. In this paper, I wish to add an important nuance to the existing literature on this subject: even though things have a truth-value for Hegel, the latter is always negative. I argue that Hegel's criterion of ‘philosophical’ truth, which is best formulated as ‘agreement with self’, is first and foremost intended to examine the truth-value of thought-determinations. I then argue that even though this criterion may also be applied to examine the truth-value of things (namely, even though things have a truth-value), things never fall under this definition. After reviewing several of Hegel's explicit remarks on the matter, I provide an alternative explanation to those features of Hegel's ‘philosophical’ truth which have led scholars to view it as a truth in things. Especially, I argue that what are generally seen as Hegel's examples (‘true friend’, ‘true state’, ‘true work of art’) are not intended as examples but only as imperfect illustrations of ‘philosophical’ truth. (shrink)

Inspired by Castañeda (1966, 1968), Perry (1979) and Lewis (1979) showed that a specific variety of singular thoughts, thoughts about oneself “as oneself” – de se thoughts, as Lewis called them – raise special issues, and they advanced rival accounts. Their suggestive examples raise the problem of de se thought – to wit, how to characterize it so as to give an accurate account of the data, tracing its relations to singular thoughts in general. After rehearsing (...) the main tenets of two contrasting accounts – a Lewisian one and a Perrian one – in the first section of this paper, in the second I will present a proposal of my own, which is a specific elaboration of the Perrian account. In the first section I will indicate some weaknesses of Perry’s presentation of his view; the proposal I will articulate in the second overcomes them. I will conclude with a brief discussion of reasons for preferring one or another account, in particular regarding the issue of the communication of de se thoughts. (shrink)

In this paper we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's \cdt\ logic interpreted over partial orders (\nsbcdt\ for short). (...) It combines features of the classical tableau method for first-order logic with those of explicit tableau methods for modal logics with constraint label management, and it can be easily tailored to most propositional interval temporal logics proposed in the literature. We prove its soundness and completeness, and we show how it has been implemented. (shrink)

We introduce Boolean-like algebras of dimension n ($$n{\mathrm {BA}}$$ n BA s) having n constants $${{{\mathsf {e}}}}_1,\ldots,{{{\mathsf {e}}}}_n$$ e 1, …, e n, and an $$(n+1)$$ ( n + 1 ) -ary operation q (a “generalised if-then-else”) that induces a decomposition of the algebra into n factors through the so-called n-central elements. Varieties of $$n{\mathrm {BA}}$$ n BA s share many remarkable properties with the variety of Boolean algebras and with primal varieties. The $$n{\mathrm {BA}}$$ n BA (...) s provide the algebraic framework for generalising the classical propositional calculus to the case of n–perfectly symmetric–truth-values. Every finite-valued tabular logic can be embedded into such a n-valued propositional logic, $$n{\mathrm {CL}}$$ n CL, and this embedding preserves validity. We define a confluent and terminating first-order rewriting system for deciding validity in $$n{\mathrm {CL}}$$ n CL, and, via the embeddings, in all the finite tabular logics. (shrink)

We define in precise terms the basic properties that an ‘ideal propositional paraconsistent logic’ is expected to have, and investigate the relations between them. This leads to a precise characterization of ideal propositional paraconsistent logics. We show that every three-valued paraconsistent logic which is contained in classical logic, and has a proper implication connective, is ideal. Then we show that for every n > 2 there exists an extensive family of ideal n -valued logics, each one of (...) which is not equivalent to any k -valued logic with k < n. (shrink)

It has long ben recognised that there are referential uses of definite descriptions. It is not as widely recognised that there are atttributives uses of idexicals and other such paradigmatically singular terms. I offer an account of the referential/attributive distinction which is intended to give a unified treatment of both sorts of cases. I argue that the best way to account for the referential/attributive distinction is to treat is as semantically underdetermined which sort of propositions is expressed in a context. (...) In certain contexts the proposition expressed will be a descriptive one, and in others it will be an object-dependent one. I appeal to Sperer and Wilson's (1986) idea that the recovery of the content of an utterance involves pragmatic processes of enrichment of a representation of the logical form of utterance. According to the account I offer, the first-level descriptive meaning associated with an expression (whether this is an indexical or a definite description) is pragmatically enriched and then used either to track an individual in the context, or is taken to lay down a condition of satisfaction for an individual. The proposition that the listener takes the speaker to have expressed is recovered on the basis of considerations of relevance and contextually available information about the speaker's directive intentions. Although my account has affinities with those of Recanati (1993) and Nunberg (1993), it also differs from theirs in crucial ways. Each of these authors sees asymmetries where I see none. I give reasons for preferring my symmetrical account. (shrink)

We study partiality in propositional logics containing formulas with either undefined or over-defined truth-values. Undefined values are created by adding a four-place connective W termed transjunction to complete models which, together with the usual Boolean connectives is shown to be functionally complete for all partial functions. Transjunction is seen to be motivated from a game-theoretic perspective, emerging from a two-stage extensive form semantic game of imperfect information between two players. This game-theoretic approach yields an interpretation where partiality (...) is generated as a property of non-determinacy of games. Over-defined values are produced by adding a weak, contradictory negation or, alternatively, by relaxing the assumption that games are strictly competitive. In general, particular forms of extensive imperfect information games give rise to a generalised propositional logic where various forms of informational dependencies and independencies of connectives can be studied. (shrink)

To avoid problems with classical theories that take our mental states to represent in virtue of what propositions they represent, and more recent theories that reverse the representational priority, Grzankowski and Buchanan (Philos Stud 176:3159–3178, 2019) propose a “cheap” theory of propositions that does not assume that they are representational entities. They believe that everything there is to know about propositions is provided by the principle that token mental states have the same propositional content if they represent the (...) same things in the same way. I show that the postulated correlation of propositions with mental states does not suffice for propositions to have standard properties like truth values or constituent structures, or to secure the truth of their other basic principle “essentiality of content.” Their theory tells us so little about what propositions are that there is no reason to believe that propositions are object of mental states, or that they exist at all. (shrink)

Visual perception is widely taken to present properties such as redness, roundness, and so on. This in turn might be thought to give rise to accuracy conditions for experience, and so content, regardless of which metaphysical view of perception one endorses. An influential version of this argument—Susanna Siegel’s ’Argument from Appearing’—aims to establish the existence of content as common ground between representational and relational views of perception. This goes against proponents of ‘austere’ relationalism who deny that content plays a (...) substantive role in philosophical explanations of conscious perceptual experience. Though Siegel’s argument purports to be neutral with respect to the metaphysics of perception, it relies upon an equivocation between the presentation of property-types and property-instances. Consequently, the argument begs the question against the austere relational view, and so fails to establish the desired conclusion. So while relationalists can and should allow that experiences have accuracy conditions, it does not follow from this that they have contents of any philosophically interesting or significant kind. (shrink)

This article arises indirectly out of the development of a particular approach, called ATT-Meta, to the understanding of some types of metaphorical utterance. However, the specifics of the approach are not the focus of the present article, which concentrates on some general issues that have informed, or arisen from, the development of the approach. The article connects those issues to the questions of metaphorical meaning and truth. -/- A large part of the exploration of metaphor in fields such as Cognitive (...) Linguistics and natural language Pragmatics takes metaphor to rest on complex mappings between a target subject matter and a source subject matter (see, e.g., Lakoff 1993, 2008). This is one main way in which some aspects of the source, generally including some structural aspects, can have parallels in the target. It is typical for much, and perhaps the whole, of the meaning of a metaphorical expression to be explained by means of these parallels. We will talk about “parallelism” rather than “isomorphism,” or even “analogy,” because “isomorphism” implies a strict one-to-one correspondence between items in the source scenario and items in the target scenario, and analogy theorists often hold that analogy rests on isomorphism. We wish not to prejudge the question of whether looser, messier forms of parallelism are sometimes needed. Also, we will talk about parallels rather than mappings, because our discussion will embrace the question of parallelism that may be discernible, albeit implicitly, in accounts of metaphor that are not presented as being based on mappings. Three main cases of such accounts are Relevance Theory (RT: e.g., Sperber & Wilson 2008, Wilson & Carston 2006), the categorization-based or "class-inclusion“ approach (Glucksberg 2008), and Ritchie’s (2006) CLST account (Context-Limited Simulation Theory). -/- One main issue we will address is that of substantial non-parallelism that can exist between source and target subject-matters in metaphor: more precisely, the issue that there may be source aspects that are exploited by the utterance and have a deep effect on metaphorical interpretation but that do not themselves have a natural parallel in the target subject-matter (although we will point out that artificial parallels can generally be created). This is part of a broader point that the content of metaphorical discourse should often be seen as being derived in a rather holistic way from several metaphorical bits of the discourse, which conspire to describe some source-domain scenario, rather than being derived by putting together metaphorical meanings of each metaphorical bit (even if each bit could in principle be assigned its own separate metaphorical meaning). As a result, we suggest that it is misguided to think of the propositions making up the content (or, if you like, "meaning“) about the target scenario that is being described is a matter of metaphorical meaning of specific grammatical units such as sentences, clauses or other constituents that a traditional semantic theory would assign propositional meaning to. Rather, grammatical units (that are to be taken metaphorically) have meanings in source-domain terms; content in target-domain terms is derived from the source-domain scenario depicted by those units and fleshed out through inference; and the target-domain content is only (in general) fuzzily relatable to particular grammatical units. This view is on a spectrum at whose extreme point we could place Davidson’s (1984) view that metaphors only have literal (i.e., source-domain) meanings, with other effects on the understander not being a matter of propositional content. However, on our view it is proper to take metaphorical discourse as having non-literal meaning, couched as a collection of propositions, among other things possibly; it is just that the propositions are not to be thought of (in general) as meaning of specific sentences, clauses or other grammatical units rather than of a possibly only fuzzily delineated piece of discourse. -/- A second main concern of the article is the question of how much, and what types of, inference are involved in the derivation of metaphorical meaning. While our own ATT-Meta approach accords with, amongst other accounts, Relevance Theory (RT) as to the centrality of inference in metaphor interpretation, we disagree with RT on its claim that metaphor interpretation is a matter of (a relatively high degree of) concept "broadening“ and (often) "narrowing“. We argue that almost all inference can in fact be theoretically re-described as concept broadening and/or narrowing, and what is left over should be included in the metaphor interpretation process anyway. Thus, the RT claim about broadening and narrowing really just says that inference, of unrestricted type, is involved in metaphor understanding, in accord with what ATT-Meta claims. (shrink)

For the sentences of languages that contain operators that express the concepts of definiteness and indefiniteness, there is an unavoidable tension between a truth-theoretic semantics that delivers truth conditions for those sentences that capture their propositional contents and any model-theoretic semantics that has a story to tell about how indetifiniteness in a constituent affects the semantic value of sentences which imbed it. But semantic theories of both kinds play essential roles, so the tension needs to be resolved. I argue (...) that it is the truth theory which correctly characterises the notion of truth, per se. When we take into account the considerations required to bring model theory into harmony with truth theory, those considerations undermine the arguments standardly used to motivate supervaluational model theories designed to validate classical logic. But those considerations also show that celebration would be premature for advocates of the most frequently encountered rival approach - many-valued model theory. (shrink)

Reichenbachian approaches to indexicality contend that indexicals are "token-reflexives": semantic rules associated with any given indexical-type determine the truth-conditional import of properly produced tokens of that type relative to certain relational properties of those tokens. Such a view may be understood as sharing the main tenets of Kaplan's well-known theory regarding content, or truth-conditions, but differs from it regarding the nature of the linguistic meaning of indexicals and also regarding the bearers of truth-conditional import and truth-conditions. Kaplan has (...) criticized these approaches on different counts, the most damaging of which is that they make impossible a "logic of demonstratives". The reason for this is that the token-reflexive approach entails that not two tokens of the same sentential type including indexicals are guaranteed to have the same truth-conditions. In this paper I rebut this and other criticisms of the Reichenbachian approach. Additionally, I point out that Kaplan's original theory of "true demonstratives" is empirically inadequate, and claim that any modification capable of accurately handling the linguistic data would have similar problems to those attributed to the Reichenbachian approach. This is intended to show that the difficulties, no matter how real, are not caused by idiosincracies of the "token-reflexive" view, but by deep facts about indexicality. (shrink)

This dissertation is about the structure of thought. Following Gottlob Frege, I define a thought as the sort of content relevant to determining whether an assertion is true or false. The historical component of the dissertation involves interpreting Frege’s actual views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in a variety of distinct ways. I (...) extend Frege’s position and use it to develop an account of the hierarchy of senses, the senses expressed by indexicals and demonstratives, and the distinction between logical and non-logical structure. I also discuss various connections with the nature of meta-representation, our capacity for reflective judgment, some aspects of the structure of conscious experience, the way we perceive regions of space and durations of time, and our conscious awareness of our own perceptions and events of thinking. (shrink)

The monumental works of Bertrand Russell and Louis Couturat have set a firm pattern of interpretation which many follow in their approach to the Philosophy of Leibniz. In the Preface to the second edition of The Philosophy of Leibniz , Russell reaffirms his contention that “Leibniz’s philosophy was almost entirely derived from his logic”. He welcomes the support provided in Couturat’s La Logique de Leibniz . Russell remarks “No candid reader—can doubt that Leibniz’s metaphysic was derived by him from the (...) subject-predicate logic. This appears, for example, from the paper ‘Primae Veritates’ where all the main doctrines of the Monadology are deduced, with terse logical rigor from the premises; ‘Always therefore the predicate or consequent adheres in the subject or antecedent, and in this fact consists the nature of truth in general—But this is true in every affirmative truth, universal or singular, necessary or contingent’.” Referring further to Couturat, he points out that in his book the “Principle of Sufficient Reason” and “The Identity of Indiscernibles” are “expressly deduced—from the analytic character of all true propositions”. In short, Russell is contending that in formulating his metaphysics Leibniz used the rigorous methods of deductive logic and employed “models” drawn from logic to construct his “picture of reality”, i.e. his metaphysics. (shrink)

In order to resolve the controversial discussion regarding content effects in deductive reasoning, we propose distinguishing between two inferential sources—an argument's form , and additional relations people associate with the argument's content —and analysing their interplay. Both sources are equally necessary in order to understand the role content plays in deductive reasoning. People make valid deductions from the content relations ( content competence ), but in thematic reasoning tasks, these deductions lead to the intriguing phenomenon known as content effects (...) . Focusing on the interplay of both sources of inferences, the dual source distinction enables a novel class of predictions to be made, namely the correct mastery of the logical connectors ( form competence ) in tasks that require the individual to think about an argument's form in relation to its content. To illustrate the dual source approach and its implications, the selection task paradigm of conditional reasoning with a point of view is used in combination with two content domains: conditional promises with cheating and non-cheating perspectives and technical systems with causal perspectives. Experimental findings corroborate all three phenomena: content competence, content effects, and form competence. The dual source distinction is discussed with regard to current theories of reasoning. (shrink)

The revival of Leibniz studies in the past twenty-five years has cast important new light on both the context and content of Leibniz's philosophical thought. Where earlier English-language scholarship understood Leibniz's philosophy as issuing from his preoccupations with logic and language, recent work has recommended an account on which theological, ethical, and metaphysical themes figure centrally in Leibniz's thought throughout his career. The significance of these themes to the development of Leibniz's philosophy is the subject of increasing attention by (...) philosophers and historians. This collection of new essays by a distinguished group of scholars offers an up-to-date overview of the current state of Leibniz research. In focusing on nature and freedom, the volume revisits two key topics in Leibniz's thought, on which he engaged both contemporary and historical arguments. Important contributions to Leibniz scholarship in their own right, these articles collectively provide readers a framework in which to better situate Leibniz's distinctive philosophy of nature and the congenial home for a morally significant freedom that he took it to provide. (shrink)

We present here some modifications of tense logic based on intensionally treated game-theoretic concepts. They are intended for construction of formal models with description of intensional acts. Formal characteristic of intensional acts – subject, modus and contents; general scheme – MODUS, where x1, . . . , xm – names of subjects and A1, . . . , An – propositional description. For example: “x1 persuaded x2 that A1 is better than A2”. For the examination of formal structures, (...) making use of time logic, we should notice that an intensional act is an event identical in time with other non-intensional acts. (shrink)

Frege famously argued that truth is not a property or relation. In the “Notes on Logic” Wittgenstein emphasised the bi-polarity of propositions which he called their sense. He argued that “propositions by virtue of sense cannot have predicates or relations.” This led to his fundamental thought that the logical constants do not represent predicates or relations. The idea, however, has wider ramifications than that. It is not just that propositions cannot have relations to other propositions but also that they (...) cannot have relations to anything at all. The paper explores the consequences of this insight for the way in which we should read the Tractatus. In the “Notes on Logic” the insight led to Wittgenstein's emphasis on “facts” in any attempt to understand the nature of symbolism. This emphasis is continued in the Tractatus. It is central to his view that propositions are facts which picture facts which prevent us from construing such picturing as a relation between what pictures and what is pictured. It illuminates the importance of context principle with regard to the distinction between showing and saying to which Wittgenstein attached so much importance and it underlies the non-relational view of psychological propositions which he advocates. Finally, if propositions by virtue of sense cannot have predicates or relations the paradox at the end of a work which consist largely of propositions about propositions becomes intelligible. (shrink)

(1) Content properties are nonrelational, that is, having a content property does not entail the existence of any contingent object not identical with the thinker or a part of the thinker.2 (2) We have noninferential knowledge of our conscious thoughts, that is, for any of our..

The question I want to look at in this paper is this: To what extent does an externalist conception of mental content threaten our ability to know the contents of our thoughts? I shall argue that, in an important sense, externalism is inconsistent with the thesis that we have authoritative first-person knowledge of thought content: in particular, I shall argue, it is inconsistent with the thesis that our thought contents are epistemically transparent to us. I shall further (...) argue that this is true in a sense that falsifies another important and traditionally fundamental view —that we can detect a priori whether our inferences are logically valid or not. I shall leave for another occasion the question whether these results reflect badly on epistemic transparency or on externalism. (shrink)

What are the objects of thought? To consider a familiar case, may we assert that the proposition “I am thinking of a unicorn” entails that there is some object which is being thought of? Theories of subsistent objects provide an affirmative answer and seem to be based on the consideration that we are thinking of something when we think of a unicorn. Otherwise, to paraphrase G. E. Moore's well known statement of the argument, we would be thinking of the same (...) thing whether we thought of a unicorn or a griffen, namely, nothing. But, as G. E. Moore has shown, subsistence theories fail to distinguish between the logical and grammatical forms of such statements as “I am thinking of a unicorn” and “I am hunting a lion”. The latter is of the form · φx · Ψx; the former is not since it does not assert that the property of being a unicorn and the property of thought of by me both belong to something. But the problem that suggests itself is the nature of the contention that something is being thought of when, for example, we think of a unicorn. To begin with, is there no acceptable alternative to the various forms of the theory of subsistent objects according to which it would be correct to say that the proposition “I am thinking of a unicorn” entails the proposition “·x is being thought of”? And if saying that we are thinking of something, when we think of a unicorn, does not mean that there exists something that is being thought of, what is the force of the contention that we are thinking of something? (shrink)

A naturalistic account of self-consciousness is developed within a general framework in which thought contents are structured by concepts but conceptual content need not be exhausted at the level of reference. To motivate the first feature of this framework, possible-worlds- and property-based theories of thought content, which eschew structure, are criticized for overestimating and/or underestimating the attitude stock of ordinary agents. To motivate the second feature, it is argued that neo-Russellian and neo-Fregean accounts, which incorporate structure but differ on the (...) semantic classification of psychological modes of presentation, are more or less on a par with respect to standard parameters of evaluation . Though non-notational differences between these accounts remain, these differences add up to less than is commonly supposed. ;Neo-Russellians and neo-Fregeans agree on the explanatory relevance of conceptual modes of presentation, understood as reference-sustaining functional mechanisms; what they disagree about is whether those modes contribute to the content of a concept. Once the semantic dispute is set aside, questions about the nature of these mechanisms come to the fore. In the case of the self concept, what appears to distinguish this concept from coreferring items in an agent's conceptual repertoire is its privileged relation to inputs from internal monitoring systems, on one side, and outputs in control systems, on the other. Self-consciousness emerges as an atomistic conceptual capacity, sustained by both interoceptual mechanisms and agentive ones. (shrink)

The basis of the paper is a logic of analytical consequential implication, CI.0, which is known to be equivalent to the well-known modal system KT thanks to the definition A → B = df A ⥽ B ∧ Ξ (Α, Β), Ξ (Α, Β) being a symbol for what is called here Equimodality Property: (□A ≡ □B) ∧ (◊A ≡ ◊B). Extending CI.0 (=KT) with axioms and rules for the so-called circumstantial operator symbolized by *, one obtains a system (...) CI.0*Eq in whose language one can define an operator ↠ suitable to formalize context-dependent conditionals (so to counterfactual conditionals) via the definition (Def ↠) A ↠ B = df *A ⥽ B ∧ Ξ (Α, Β).. The central problem of the paper is to identify inside CI.0*Eq + Def ↠ a set of axioms yielding the fragment consisting of all and only theorems in which only truth-functional operators and the two operators → and ↠ occur. This system, here called CI.0, is introduced in §3. In view of the intended purpose, it is introduced a complete and tableau-decidable system KTw, which is an extension of KT with axioms for the so-called quasi-variables w(A), w(B)… Three translation functions among the three languages used in the paper are then introduced. The first, Tr, maps every wff of form *A into wffs of form w(A) ∧ A and translates theorems of CI.0*Eq into theorems of KTw. The second, t°, translates theorems of CI.0 into theorems of CI.0*Eq by applying Def↠. A third one, t, translates theorems of CI.0 into theorems of KTw. As a consequence, it follows that t°A = TrtA. In §4 it is proved that CI.0 is complete w.r.t. the class of CI.0-models of form where f is a selection function and R an access relation. It is then proved (i) that CI.0 models may be converted into KTw-models; (ii) that the truth-value of a proposition in a world of a CI.0-model is preserved in the same world of the derived KTw-model; (iii) that A is a CI.0-thesis iff its translation tA is KTw-thesis. It follows that, if A is not a CI.0-thesis, tA is not a KTw-thesis, so also that TrtA is not a CI.0*Eq-thesis. Since t°A = TrtA and t°A is a function built on Def↠, this proves that every t°-translation of a CI.0-wff that is a CI.0*Eq-theorem is a CI.0-theorem. Since the converse proposition is proved in §2, their conjunction establishes the desired result. In the final section, it is proved that CI.0 is tableau-decidable, that ↠ is not a trivial operator and that ↠ enjoys the positive and negative properties required in §1 for context-dependent conditionals. Some final remarks suggest that studying the relations between CI.0 and systems of classical conditional logic may be a promising line of investigation. (shrink)

This monumental work by a perceptive medieval scholar is undoubtedly the most comprehensive work in any modern language of the overall system of Ockham. Its three parts deal respectively with the cognitive order, the theological order, and the created order. Leff credits the more than 30 years of research by such Ockham scholars as Hochstetter, Vignaux, Moody, Baudry, Boehner, etc., with correcting his own earlier misconception—shared by so many historians of philosophy and theology—of Ockham as the one who (...) destroyed scholasticism and upset the fine balance of faith and reason by his ruthless logic, religious insensitivity, and skepticism. Such misconceptions stem from viewing Ockham either through the eyes of his predecessors, such as Aquinas or Scotus, or in the light of "the Ockhamism" of those who claimed to be his followers. In the present book, the author eschews this type of "historical approach." As he puts it, "I have sought to see his thought as a whole, in its own terms, not in pedigrees or... subsequent effects." Although much of Ockham’s writing still await critical editing, Leff sees a remarkable unity in all his works. "They are shaped by the same principles which recur throughout Ockham’s writings.... Whatever the modifications still to come as his works are properly edited, it is inconceivable that they will alter the configuration of Ockham’s thought. It is founded upon the discrepancy between the conceptual and the ontological expressed in the contrast between the individual nature of all being and the universal nature of our concepts. Instead of assuming or attempting to establish a direct rapport between them, Ockham was the first thinker systematically to explore their difference whilst accepting their interdependence." It is precisely because of this interdependence that Ockham was a "conceptualistic realist," to use Boehner’s description. Ockham was "safeguarding concepts from the status of merely mental constructs." He did not deny them epistemological validity as the nominalists did. On the other hand the varying degrees of "realism"—other than conceptualistic—"allowed no means of distinguishing logically between the mental and the real.... The distinction between concepts and what they represented then vanishes, and with it the power of differentiating true from false propositions." Ockham was genuinely concerned with meaning and evidence, the two key words that Leff believes best characterize his outlook. Leff’s professed aim is to show that "Ockham was not a logician devaluing theology or metaphysics; he was no less a philosopher and theologian than his predecessors. He accepted the same framework of knowledge and belief. The difference was that he was concerned with their meaning and evidence to the exclusion of treating their concepts as metaphysical bricks from which to build systems." Howsoever much Leff may have succeeded in achieving this goal or how many of his interpretations of specific topics may need some modification, the fact that he has followed Ockham’s thinking and argument step by step—often in what seems to be little more than an English paraphrase of the Latin text—makes his own detailed analysis a useful instrument for anyone seriously interested in Ockham’s thought.—A.B.W. (shrink)

The subject of this thesis is physicalism, understood not as some particular doctrine pertaining narrowly to the philosophy of mind, but rather as a quite general metaphysical claim to the effect that everything is, or is fundamentally, physical. Thus physicalism explicates the thought that in some sense physics is the basic science. The aim of the thesis is to defend a particular brand of physicalism, which I call eliminative type physicalism. It claims, roughly, that every property is a physical property, (...) a property mentioned in the laws of physics, and hence that any putative property not identifiable with a physical property must be eliminated from our ontology. Eliminative type physicalism is apt to face three objections, and so my thesis, like Caesar's Gaul, falls into three parts. In the first, I argue against the idea that there are tenable positions, both physicalist and non-physicalist, alternative to eliminative type physicalism. I argue that each of these positions token physicalism (Fodor, middle Putnam), supervenience physicalism (Lewis, Horgan) and and a non-physicalist view I call pluralism (Goodman, late Putnam) is defective. In the second part, responding to the objection that there is just no reason to be a physicalist, I develop a positive argument for eliminative type physicalism, an argument resting upon a strong version of the explanatory test for reality according to which only explanatorily indispensable properties can justifiably be said to exist. In the third and final part, I argue, against the charge that eliminative type physicalism cannot accommodate what I call phenomenal properties (qualia, raw feels etc.), that there is no good reason to deny, and one good reason to affirm, that phenomenal properties just are physical properties. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs (...) recover the validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

The study of defeasible reasoning unites epistemologists with those working in AI, in part, because both are interested in epistemic rationality. While it is traditionally thought to govern the formation and (with)holding of beliefs, epistemic rationality may also apply to the interrogative attitudes associated with our core epistemic practice of inquiry, such as wondering, investigating, and curiosity. Since generally intelligent systems should be capable of rational inquiry, AI researchers have a natural interest in the norms that govern (...) interrogative attitudes. Following its recent coinage, we use the term ``zetetic'' to refer to the properties and norms associated with the capacity to inquire. In this paper, we argue that zetetic norms can be modeled via defeasible inferences to and from questions---a.k.a erotetic inferences---in a manner similar to the way norms of epistemic rationality are represented by defeasible inference rules. We offer a sequent calculus that accommodates the unique features of ``erotetic defeat" and that exhibits the computational properties needed to inform the design of zetetic agents. The calculus presented here is an improved version of the one presented in Millson (2019), extended to cover a new class of defeasible erotetic inferences. (shrink)

Logic today is a ramified discipline existing on many levels. It is actively pursued by philosophers, mathemeticians, and computer specialists. The reason is that it is widely employed to solve a number of problems both in the theory of knowledge and in mathematics and computer science. But the broad spectrum of application of contemporary logic does not change the fact that its basic content has the nature of philosophical methodology. In contemporary logic it is the forms of thought and the (...) methods of scientific cognition, the modes of organization of scientific knowledge, and the procedures for the introduction of various concepts, abstractions, and idealizations that are studied. This places logic in intimate contact with epistemology and methodology. The distinctiveness of the approach taken by formal logic to this particular subject consists simply of its studying all these procedures pertaining to concrete cognition through the use of special formal languages, of algebraic, topological, and other exact techniques. (shrink)

It seems that Heidegger's thought is subject to the dubious destiny of inspiring fat commentaries. However, Colombo's has this advantage over many of its counterparts, viz., it is more a true study than a reiteration. This is so in three important respects. First, a systematization of the thought of Heidegger is attempted, and, in so far as this is possible, rather successfully achieved. The book is divided into five parts, whose continuity follows only in part the development of Heidegger. Happily, (...) the author, unimpressed by the superficial schema of a Kehre, articulates a treatment which is independent from any simple genetic explanation. The five parts are: Design and Depth of Finitude, Beyond Form, Manifestation of Being, Man and Nothingness, and The Impotence of Thought. The systematization rests on an excellent discernment of themes in the thought of Heidegger. Instead of being content with the proposition that Heidegger is but a single theme thinker, Colombo rescues a variety of themes from the web of Heidegger's thought. This he does not by formulating such themes in classical or purely technical terms, but by showing their import and relevance relative to other historical themes in Western thought. Surprisingly enough, the result is not an absorption of Heidegger by the tradition, but rather a deepening of classical themes, and a freeing of shades missing in the Heideggerian synthesis. However this is done with such care that the focused topics are not taken out of context, or even hermeneutically overcome. On the contrary, they are very properly accented in their own contours. As befits a good study of this type, footnotes are the best part of the work. Colombo discourses with a multitude of authors, clearing lines of interpretation, and, more importantly, bringing forth ideas generated by Heidegger's philosophy. By being free from the poetic spell that the German philosopher casts upon those who study him, Colombo has written a philosophical book showing more clearly than others the scope and the idiosyncrasies of his subject-author. The results are impressive, and they place this young Italian professor, together with Pöggeler and Birault, at the top of the list of Heidegger's interpreters.—A. M. (shrink)

This is a challenging and original work on the concept of justification and its application to ethical statements. The book divides into two parts. The first part is devoted to a systematic treatment of the nature of justification. It begins with a critical rejection of the deductive model. Wellman presents plausible arguments for the existence of non-deductive evidences in ethics and shows how ethical theories can be tested by "thought-experiment" as analogous to the confirmation of scientific theories by laboratory (...) trials. An interesting kind of inference termed "conductive reasoning" is described. It is argued that this third form of reasoning can be validly used in justifying ethical conclusions. Distinctive of conductive reasoning is its non-formal and inconclusive feature. Its validity is alleged to lie in its dependence upon the content of the argument. But by and large there is no way to judge the validity of these basic ethical arguments but by thinking them through and feeling their logical force." Wellman goes on to develop a challenge-response model for understanding the nature of justification. Justification is "to be understood essentially as a process of responding to challenges made." However, Wellman makes no attempt to consider the role of moral concepts in determining the validity of conductive reasoning and its role in the justification of ethical statements. Part II considers the dimensions of ethical justification in terms of the model of challenge and response. Seven species of challenge are described: truth, truth-value, meaningfulness, validity, validity-value, competence, and knowability. On the whole the book contains challenging views and material for the epistemology of ethics.--A. S. C. (shrink)

Reason and World, a collection of lectures and essays, ranges in terms of the date of authorship from a lecture on Heidegger published while Marx was at the New School for Social Research to his Inaugural Lecture upon succession to Heidegger’s chair in Freiburg/br. to the Woodward Lecture at Yale in 1970. Although some of the papers were delivered in English, others are appearing here in English translation for the first time. The papers are reflections on German Idealism, Husserl, and (...) Heidegger. They are not arranged chronologically but rather in terms of the history of philosophy, yet their order is not meant merely to reflect this history. What is at issue is rather what Marx, playing on Hegel’s phrase, believes to be the contemporary Bedürfnis der Philosophie. The subject of the initial paper is what constitutes this requirement or need for Hegel and how the Differenzschrift is crucial for an understanding of German Idealism. In a similar fashion, Marx holds that contemporary philosophy must come to terms with the requirement of its time. Through reflection of philosophy since Hegel, the contemporary period is depicted as one of transition. The need is to secure "the older thought in its domain" and to legitimize that thought in terms of the questions it asked while still remaining open for a new and different type of philosophy. The fact that the contemporary period is to be understood as one of transition finds expression in the sub-title of the book itself: Between Tradition and Another Beginning. Those two philosophical issues which Marx believes respectively to be the basis for the tradition and the other beginning are reflected by the title: Reason and World. This new beginning and the emergence of the world as a focal philosophical concern represent none other than the overcoming of tradition with its presuppositions of telos and logos. In his analyses of Heidegger, Marx discloses the world to be, in the last instance, the crucial problem of contemporary philosophy in its turn towards ateleological and pre-logical experience. Implicitly, the tradition was for him already called into question by Husserl insofar as the lifeworld together with its possible salutary effect on Western man became the subject of Husserl’s later philosophy. In this book Marx pursues the theme he first enunciated in Heidegger and the Tradition. In my opinion, however, the title of the present work might have been more accurately Reason, Language, and World. For, as Marx seeks to establish, the transition from traditional philosophy is characterized simultaneously by a change in our understanding of language. According to his interpretation of Hegel, Hegel thought of language as a "servant of logos"; on the other hand, contemporary philosophy "attributes power to language in the same measure as it denies it to logos." The question is, then, about the role of language in the emergence of world. In place of reason is the problem of the world and of the possibility of a poetic dwelling in it. The purpose of historical studies is to show via negativa the difference between the tradition and the other beginning proclaimed by Heidegger. In the latter regard, Marx contents himself with an immanent critique and asks simply whether Heidegger’s thought "has been conceived consistently and whether it has been thought through to the end." To be sure, this work is a significant contribution to the literature on Heidegger and its importance in this respect cannot be overlooked. On the other hand, the difficulty of the book lies precisely in its method. Heidegger’s claim for another beginning is itself never evaluated. Marx underscores the point that, if Heidegger is correct, traditional criteria are not applicable to the thought required by another beginning. We are left in the dilemma of simply being or not being Heideggerians. For those who are not, the only insight we gain is through a via negativa. Even if Heidegger’s thought should prove to be consistent and consequential, this fact would not suffice to establish its validity. And what are these if not traditional criteria?—A. G. (shrink)

The paper presents a family of propositional epistemic logics such that languages of these logics are extended by quantification over modal operators or over agents of knowledge and extended by predicate symbols that take modal operators as arguments. Denote this family by \}\). There exist epistemic logics whose languages have the above mentioned properties :311–350, 1995; Lomuscio and Colombetti in Proceedings of ATAL 1996. Lecture Notes in Computer Science, vol 1193, pp 71–85, 1996). But these logics are obtained (...) from first-order modal logics, while a logic of \}\) can be regarded as a propositional multi-modal logic whose language includes quantifiers over modal operators and predicate symbols that take modal operators as arguments. Among the logics of \}\) there are logics with a syntactical distinction between two readings of epistemic sentences: de dicto and de re. We show the decidability of logics of \}\) with the help of the loosely guarded fragment of first-order logic. Namely, we generalize LGF to a higher-order decidable loosely guarded fragment. The latter fragment allows us to construct various decidable propositional epistemic logics with quantification over modal operators. The family of this logics coincides with \}\). There are decidable propositional logics such that these logics implicitly contain quantification over agents of knowledge, but languages of these logics are usual propositional epistemic languages without quantifiers and predicate symbols :345–378, 1993). Some logics of \}\) can be regarded as counterparts of logics defined in Grove and Halpern :345–378, 1993). We prove that the satisfiability problem for these logics of \}\) is Pspace-complete using their counterparts in Grove and Halpern :345–378, 1993). (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Leibniz & Clarke: A Study of Their Correspondence by Ezio VailatiJan A. CoverEzio Vailati. Leibniz & Clarke: A Study of Their Correspondence. New York and Oxford: Oxford University Press, 1997. Pp. xii + 250. Cloth, $45.00.When Leibniz received the 1710 issue of the Royal Society’s Philosophical Transactions in early 1711, he read John Keill’s public charge that he had stolen the calculus from Newton. Leibniz twice sought amends (...) from the Society in the form of a retraction, in response to which a committee was formed to investigate and issue a report. The resulting Commercium epistolicum, written by the good Isaac Newton himself and condemning Leibniz, was published in early 1713. In Vienna at the time, Leibniz learned of its contents in a June letter from Johann Bernoulli, who complained about this “scarcely civilized way” of holding what was in effect a tribunal from which the chief witness was absent. By year’s end Leibniz had enlisted Wolff to see into print Leibniz’s anonymous statement—overstatement, in fact—of his case, and nine months later Keill replied with an equally overstated rejoinder. Late autumn of 1714 found Leibniz back in Hannover, suffering from gout and the tiresome pressure to advance his work on the history of the house of Brunswick-Lüneburg. If only he felt better and had more free time, he could collect his mathematical papers and set an end to the dispute by writing his own Commercium epistolicum: as it was (Leibniz told Wolff in the spring of 1715), he had no intention of giving Newton’s cronies the luxury of his time.The Leibniz-Clarke exchange began in the shadows of this dispute, contributing to Leibniz’s already established distaste for parts of British philosophy. Already in 1690 he was describing (to Huygens and others) Newton’s gravitational attraction as “inexplicable.” Soon after Leibniz was surprised to discover that Locke had accepted Newtonian attraction in the second edition of the Essay—surprised, at least, until he came to see it as part and parcel of the dangerous idea that God could attach any old property whatever to matter if He chose, including thought. Materialism and frequent miracles [End Page 533] were just around the corner, and from there it was a short distance to the mortality of the soul, and a mean view of God’s power; the decay of natural theology itself could only follow. Leibniz’s misgivings didn’t see the light of day in the early 1700s, when he penned them in the Preface to the Nouveaux Essais; but he went out of his way to work an explicit complaint about Mr. Newton and Mr. Locke into the Théodicée of 1710 (§19 of the Preliminary Discourse). The calculus dispute followed. By the time Leibniz got round to writing Princess Caroline about the dispute in a letter of May 1715, he was insisting that the Newtonians deserved public censure, and that the Britons deserved Leibniz as historiographer of England. For her own part, Caroline now wondered if Samuel Clarke, who had translated Newton’s Opticks into Latin, would in the end be unbiased enough to translate Leibniz’s Théodicée into English. Moreover Caroline doubted that Clarke’s notion of the soul was theologically innocent. Replying in November, Leibniz summarized his view that natural religion was in great decline in England, and the famous exchange began.Despite there being no monograph devoted to it until now, the Correspondence ıs (and was) famous. If a book-length study is overdue, so perhaps are three reminders—that a significant portion of the Correspondence is devoted to issues other than space and time and gravitation, that the depth to which its issues are pursued was compromised by impatience on the side of both parties, and that Clarke’s philosophical views aren’t so well-understood as Leibniz’s own. Nowhere does Vailati set out to make these points explicitly, but they emerge over the course of his book, and together with exegetical soundness are its chief contributions. While this volume makes no historical or philosophical waves, it indirectly (perhaps unwittingly) explains why none are readily forthcoming in a book... (shrink)

Written in a highly readable, irreverent style, The Elm and the Expert provides a lively discussion of semantic issues about mental representation, with special attention to issues raised by Frege's problem, Twin cases, and the putative indeterminacy of reference. Bound to be widely read and much discussed, The Elm and the Expert, written in Jerry Fodor's usual highly readable, irreverent style, provides a lively discussion of semantic issues about mental representation, with special attention to issues raised by Frege's (...) problem, Twin cases, and the putative indeterminacy of reference. The book extends and revises a view of the relation between mind and meaning that the author has been developing since his 1975 book, The Language of Thought. There is a general consensus among philosophers that a referential semantics for mental representation cannot support a robust account of intentional explanation. Fodor has himself espoused this view in previous publications, and it is widespread (if tacit) throughout the cognitive science community. This book is largely a reconsideration of the arguments that are supposed to ground this consensus. Fodor concludes that these considerations are far less decisive than has been supposed. He offers a theory sketch in which psychological explanation is intentional, psychological processes are computational, and the semantic properties of mental representations are referential. Connections with the problem of "naturalizing" intentionality are also explored. The four lectures in The Elm and the Expert were originally delivered in Paris in the spring of 1993 to inaugurate the Jean Nicod Lecture series. The Jean Nicod Lectures are delivered annually by a leading philosopher of mind or philosophically oriented cognitive scientist. The 1993 lectures marked the centenary of the birth of the French philosopher and logician Jean Nicod (1893-1931). The lectures are sponsored by the Centre National de la Recherche Scientifique (CNRS) as part of its effort to develop the interdisciplinary field of cognitive science in France. Jean Nicod series. (shrink)

Social externalism is the view that the contents of a person's propositional attitudes are logically determined at least in part by her linguistic community's standards for the use of her words. If social externalism is correct, its importance can hardly be overemphasized. The traditional Cartesian view of psychological states as essentially first personal and non-relational in character, which has shaped much theorizing about the nature of psychological explanation, would be shown to be deeply flawed. I argue in this paper (...) that social externalism faces insuperable difficulties. The first difficulty is that if syntax and semantics are independent, then social externalism is committed to the absurd consequence that many people have beliefs with formally inconsistent contents. I argue none of the possible responses to this objection are plausible. The second difficulty is that if syntax and semantics are independent, then social externalists are committed to a contradiction. After raising and defending these objections, I identify what I think is the underlying flaw in the social externalist position, a failure to pay attention to the structure of communication intentions, and briefly indicate how to neutralize the linguistic evidence social externalists advance in favor of their view. (shrink)

Context: Philosophy of science is the branch of philosophy that deals with methods, foundations, and implications of science. It is a theory of how to create scientific knowledge. Presently, there is widespread agreement on how to do science, namely conjectures, ideally in the form of a mathematical model, and refutations, testing the model using empirical evidence. Problem: Many social scientists are using a conception of science created for the physical sciences. Expanding philosophy of science so that it more successfully (...) encompasses social systems would create new avenues of inquiry. Two dimensions could be added to philosophy of science: the amount of attention paid to the observer and the amount of impact of a theory on the system described. Method: My approach is to illuminate underlying assumptions. I claim that there are at least three epistemologies and that they can be combined to form a more robust conception of knowledge and of how to do research. There are at least four models and four basic elements being used by scientists. Results: The article identifies the logical propositions underlying second-order science. It suggests strategies for developing second-order science. And it describes several methods that can be used to practice second-order science, including how past theories have not only described but also changed the phenomenon being studied. Implications: The task for members of the scientific community, particularly social scientists, is to practice second-order science and to develop further its theories and methods. A practical implication is to accept methods for acting as well as theories as a contribution to science, since methods explicitly define the role of an observer/ participant. Constructivist content: The paper is an extension of the work of Heinz von Foerster and other second-order cyberneticians. (shrink)