We consider a paradigm of applications of Logic Engineering to illustrate the information interchange among different areas of knowledge, through the formal approach to some aspects of computing. We apply the paradigm to the area of distributed systems, taking the demand for specification formalisms, treated in three areas of knowledge: modal logics, first-order logic and algebra. In doing so, we obtain transfer of intuitions and results, establishing that, as far as input/output representation is concerned, these three formalisms (...) are equivalent. (shrink)

This essay examines logical empiricism and American pragmatism, arguing that American philosophy's embrace of logical empiricism in the 1930s was not a turning away from Dewey's pragmatism. It places both movements within scientific philosophy and finds two key points on which they agreed: their revolutionary ambitions and their social engineering sensibility. The essay suggests that the disagreement over emotivism in ethics should be placed within the context of a larger issue on which the movements disagreed: demarcationism and imperialism.

This essay examines logical empiricism and American pragmatism, arguing that American philosophy's embrace of logical empiricism in the 1930s was not a turning away from Dewey's pragmatism. It places both movements within scientific philosophy and finds two key points on which they agreed: their revolutionary ambitions and their social engineering sensibility. The essay suggests that the disagreement over emotivism in ethics should be placed within the context of a larger issue on which the movements disagreed: demarcationism and imperialism.

The birth, growth, stabilization and subsequent understanding of a new field of practical and theoretical enquiry is always a conceptual process including several typologies of events, phenomena an...

Conceptual engineers have made hay over the differences of their metaphilosophy from those of conceptual analysts. In this article, I argue that the differences are not as great as conceptual engineers have, perhaps rhetorically, made them seem. That is, conceptual analysts asking ‘What is X?’ questions can do much the same work that conceptual engineers can do with ‘What is X for?’ questions, at least if conceptual analysts self-understand their activity as a revisionary enterprise. I show this with a study (...) of Russell's metaphilosophy, which was just such a revisionary conception of conceptual analysis. (shrink)

ABSTRACT Recent historical discussion of conceptual engineering by analytic philosophers has largely focused on precedents for contemporary conceptual engineering within the history of analytic philosophy. However, I suggest that we can and should look outside of the analytic tradition for further examples of conceptual engineering, and inspiration for further work in conceptual engineering. Here I will look to one such other tradition – American Black feminism. I do this by considering the work of Audre Lorde and (...) Patricia Hill Collins in tandem with a tradition that is the more usual stomping ground of analytic philosophers: logical positivism. I draw out Rudolf Carnap and Otto Neurath’s respective views on conceptual engineering, before turning to Collins and Lorde. I suggest that Collins on the power of self-definition provides a model of conceptual engineering that closely matches that given by Neurath, whilst we can read Lorde’s work on poetry as giving a distinctively individualist spin on the conceptual engineering. I conclude with a comparative discussion of the various models on offer, suggesting that rather than being in competition, these various views of conceptual engineering are best seen as a toolbox of methods for conceptual engineering. (shrink)

Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ is often used by philosophers as a synonym for ‘metaphysics’ (literally: ‘what comes after the Physics’), a term which was used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. The term ‘ontology’ (or ontologia) was itself coined in 1613, independently, by two philosophers, Rudolf Göckel (...) (Goclenius), in his Lexicon philosophicum and Jacob Lorhard (Lorhardus), in his Theatrum philosophicum. The first occurrence in English recorded by the OED appears in Bailey’s dictionary of 1721, which defines ontology as ‘an Account of being in the Abstract’. (shrink)

Conceptual engineering and conceptual ethics are branches of philosophy concerned with questions about how to assess and ameliorate our representational devices (such as concepts and words). It's a part of philosophy concerned with questions about which concepts we should use (and why), how concepts can be improved, when concepts should be abandoned, and how proposals for amelioration can be implemented. Central parts of the history of philosophy have engaged with these issues, but the focus of this volume is on (...) applications to work in contemporary philosophy of language and mind, epistemology, gender and race theory, ethics, philosophy of science, and philosophical logic. This is the first volume devoted entirely to conceptual engineering and conceptual ethics. The volume explores the possibilities, benefits, problems, and applications of conceptual engineering and conceptual ethics. It consists of twenty chapters written by leading philosophers. (shrink)

My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out (...) the complications of design problems from current work in history of engineering and technology studies. I then model Carnap’s practice based on those lessons and uncover ways in which Carnap’s technical work in inductive logic takes some of these lessons on board. This shows ways in which Carnap’s philosophical project subtly changes right through his late work on induction, providing an important corrective to interpretations that ignore the work on inductive logic. Specifically, I show that paying attention to the historical details of Carnap’s attempt to apply his work in inductive logic to decision theory and theoretical statistics in the 1950s and 1960s helps us understand how Carnap develops and rearticulates the philosophical point of the practical/theoretical distinction in his late work, offering thus a new interpretation of Carnap’s technical work within the broader context of philosophy of science and analytical philosophy in general. (shrink)

This study explores the institutional logics and socialization experiences of STEM doctoral students in the context of the current American economic narrative that is specific to science and technology. Data from qualitative interviews with 36 students at three research universities first reveals a disconnect between a well-established national science and technology policy narrative that is market-oriented and the training, experiences, and perspectives of science and engineering doctoral students. Findings also indicate science and engineering doctoral students mostly understand entrepreneurship (...) and innovation in the contexts of funding research activities and creating social impact, which parallel rather than oppose dominant academic values and norms. Based on the findings, we contend that it is both possible and prudent for universities and graduate programs to pursue strategies that align science and engineering doctoral education with the current national economic agenda and support the personal, professional values and perspectives of students without coming in conflict with the scientific core of the academy. (shrink)

In engineering, as in other scientific fields, researchers seek to confirm their models with real-world data. It is common practice to assess models in terms of the distance between the model outputs and the corresponding experimental observations. An important question that arises is whether the model should then be ‘tuned’, in the sense of estimating the values of free parameters to get a better fit with the data, and furthermore whether the tuned model can be confirmed with the same (...) data used to tune it. This dual use of data is often disparagingly referred to as ‘double-counting’. Here, we analyse these issues, with reference to selected research articles in engineering. Our example studies illustrate more and less controversial practices of model tuning and double-counting, both of which, we argue, can be shown to be legitimate within a Bayesian framework. The question nonetheless remains as to whether the implied scientific assumptions in each case are apt from the engineering point of view. (shrink)

This paper discusses the logical space of alternative conceptual engineering projects, with a specific focus on (1) the processes, (2) the targets and goals, and (3) the methods of such projects. We present an overview of how these three aspects interact in the contemporary literature and discuss those alternative projects that have yet to be explored based on our suggested typology. We show how choices about each element in a conceptual engineering project constrain the possibilities for the others, (...) thereby giving rise to distinct groupings of possible projects under the banner of conceptual engineering. We conclude with a critical reflection on the potential ethical issues that arise as a result of effectively putting conceptual engineering into practice. (shrink)

This paper investigates the connection between two recent trends in philosophy: higher-orderism and conceptual engineering. Higher-orderists use higher-order quantifiers (in particular quantifiers binding variables that occupy the syntactic positions of predicates) to express certain key metaphysical doctrines, such as the claim that there are properties. I argue that, on a natural construal, the higher-orderist approach involves an engineering project concerning, among others, the concept of existence. I distinguish between a modest construal of this project, on which it aims (...) at engineering higher-order analogues of the familiar notion of first-order existence, and an ambitious construal, on which it additionally aims at engineering a broadened notion of existence that subsumes first-order and higher-order existence. After identifying a substantial problem for the ambitious project, I investigate a possible response which is based on adopting a cumulative type theory as the background higher-order logic. While effective against the problem at hand, this strategy turns out to undermine a major reason to embrace higher-orderism in the first place, namely the idea that higher-orderism dissolves a range of otherwise intractable debates in metaphysics. Higher-orderists are therefore best advised to pursue their engineering project on the modest variant and against the background of standard type theory. (shrink)

Topics covered in Discrete Mathematics have become essential tools in many areas of studies in recent years. This is primarily due to the revolution in technology, communications, and cyber security. The book treats major themes in a typical introductory modern Discrete Mathematics course: Propositional and predicate logic, proof techniques, set theory (including Boolean algebra, functions and relations), introduction to number theory, combinatorics and graph theory. An accessible, precise, and comprehensive approach is adopted in the treatment of each topic. The (...) ability of abstract thinking and the art of writing valid arguments are emphasized through detailed proof of (almost) every result. Developing the ability to think abstractly and roguishly is key in any areas of science, information technology and engineering. Every result presented in the book is followed by examples and applications to consolidate its comprehension. The hope is that the reader ends up developing both the abstract reasoning as well as acquiring practical skills. All efforts are made to write the book at a level accessible to first-year students and to present each topic in a way that facilitates self-directed learning. Each chapter starts with basic concepts of the subject at hand and progresses gradually to cover more ground on the subject. Chapters are divided into sections and subsections to facilitate readings. Each section ends with its own carefully chosen set of practice exercises to reenforce comprehension and to challenge and stimulate readers. As an introduction to Discrete Mathematics, the book is written with the smallest set of prerequisites possible. Familiarity with basic mathematical concepts (usually acquired in high school) is sufficient for most chapters. However, some mathematical maturity comes in handy to grasp some harder concepts presented in the book. (shrink)

This paper addresses the methodological problem of analysing what it is to explain observed behaviours of engineered computing systems, focusing on the crucial role that abstraction and idealization play in explanations of both correct and incorrect BECS. First, it is argued that an understanding of explanatory requests about observed miscomputations crucially involves reference to the rich background afforded by hierarchies of functional specifications. Second, many explanations concerning incorrect BECS are found to abstract away from descriptions of physical components and processes (...) of computing systems that one finds below the logic circuit and gate layer of functional specification hierarchies. Third, model-based explanations of both correct and incorrect BECS that are provided in the framework of formal verification methods often involve idealizations. Moreover, a distinction between restrictive and permissive idealizations is introduced and their roles in BECS explanations are analysed. (shrink)

What is the property of being true like? To answer this question, begin with a Canberra-plan analysis of the concept of truth. That is, assemble the platitudes for the concept of truth, and then investigate which property might satisfy them. This project is aided by Friedman and Sheard’s groundbreaking analysis of twelve logical platitudes for truth. It turns out that, because of the paradoxes like the liar, the platitudes for the concept of truth are inconsistent. Moreover, there are so many (...) distinct paradoxes that only small subsets of platitudes for truth are consistent. The result is that there is no property of being true. The failure of the Canberra plan analysis of the concept of truth, points the way toward a new methodology: a conceptual engineering project for the concept of truth. Conceptual engineering is assessing the quality of our concepts, and when they are found defective, offering new and better concepts to replace them for certain purposes. Still, there are many aletheic properties, which are properties satisfied by reasonably large subsets of platitudes for the concept of truth. We can treat these aletheic properties as a guide to the multitude of new aletheic concepts, which are concepts similar to, but distinct from, the concept of truth. Any new aletheic concept or team of concepts might be called on to replace the concept of truth. In particular, the concepts of ascending truth and descending truth are recommended, but the most important point is that we need a full-scale investigation into the space of aletheic properties and new aletheic concepts—that is, we need an Aletheic Principles Project. (shrink)

Climate engineering is subject to the “playing God” critique, which charges that humans should not undertake to control nature in ways that seem to overstep the proper scope of human agency. This argument is easily discredited, and in fact the opposite—that we should “play God”—may be equally valid in some circumstances. To revive the playing God critique, I argue that it functions not on a logical but on a symbolic and emotional level to highlight nostalgia for functional dualisms in (...) the face of the bewildering problem of climate change. It also raises significant questions about the virtue of those who might engineer the climate. These two concerns point to questions about the proper role of human agency. I use the scholarship of Aldo Leopold and H. Richard Niebuhr to argue for a model of human agency based on contextual awareness and responsive, communal responsibility. I conclude with some implications of this view for decision-makers engaging the topic of climate engineering. (shrink)

What is the property of being true like? To answer this question, begin with a Canberra-plan analysis of the concept of truth. That is, assemble the platitudes for the concept of truth, and then investigate which property might satisfy them. This project is aided by Friedman and Sheard’s groundbreaking analysis of twelve logical platitudes for truth. It turns out that, because of the paradoxes like the liar, the platitudes for the concept of truth are inconsistent. Moreover, there are so many (...) distinct paradoxes that only small subsets of platitudes for truth are consistent. The result is that there is no property of being true. The failure of the Canberra plan analysis of the concept of truth, points the way toward a new methodology: a conceptual engineering project for the concept of truth. Conceptual engineering is assessing the quality of our concepts, and when they are found defective, offering new and better concepts to replace them for certain purposes. Still, there are many aletheic properties, which are properties satisfied by reasonably large subsets of platitudes for the concept of truth. We can treat these aletheic properties as a guide to the multitude of new aletheic concepts, which are concepts similar to, but distinct from, the concept of truth. Any new aletheic concept or team of concepts might be called on to replace the concept of truth. In particular, the concepts of ascending truth and descending truth are recommended, but the most important point is that we need a full-scale investigation into the space of aletheic properties and new aletheic concepts—that is, we need an Aletheic Principles Project. (shrink)

Philosophers, scientists, and other researchers have increasingly characterized humanity as having reached an epistemic and technical stage at which “we can control our own evolution.” Moral–philosophical analysis of this outlook reveals some problems, beginning with the vagueness of “we.” At least four glosses on “we” in the proposition “we, humanity, control our evolution” can be made: “we” is the bundle of all living humans, a leader guiding the combined species, each individual acting severally, or some mixture of these three involving (...) a market interpretation of future evolutionary processes. While all of these glosses have difficulties under philosophical analysis, how we as a species handle our fate via technical developments is all-important. I propose our role herein should be understood as other than controllers of our evolution. (shrink)

This article observes the competition between two groups of technocrats in Indonesia during the New Order era that has hitherto afflicted national policy making. The first group is the engineers who advocate technology-based development strategy. The other group is the market-oriented economists who promote a comparative-advantages approach in development policies. The rivalry between these technocratic groups occurs in the arenas of policy-making process and bureaucratic structure. To explain how such a clash has emerged, this article offers a notion of disunity (...) of technocracy to examine different logics, rationalities, and argumentations used by each group. It emphasizes that this confrontation is rooted in the epistemological foundations of technocratic expertise. (shrink)

Drawing on broad definitions of technology and engineering as well as precedents in the philosophical literature, this paper makes the novel argument that the purposeful design of one’s unique good life using existing philosophical concepts is an engineering activity. Whether as a metaphor or as an engineering activity in its own right, a sampling of important benefits and perspectives provided for well-being by the presented “life engineering” framework are highlighted. A key strength of the framework is (...) the conceptual simplicity, with minimal sacrifices in completeness or consistency. This necessitates a tradeoff of limited precision for any one practical implementation. Consistent conceptual definitions for wisdom, virtue and the good life are presented within an informative ethics. Only a descriptive evaluation to aid in conceptual understanding is discussed, no prescriptive normative evaluations are made. The good life is defined to be one in which the minimum requirements are met and then performance is good, but no attempt is made to define what is good. A fundamental limitation of the framework stems from the inherent focus of technology on human utility. Although no novel fundamental conclusions are drawn in this paper, the presented framework is demonstrated to correspond with numerous ethical precepts of many existing philosophical traditions. (shrink)

How do we prepare engineering students to make ethical and responsible decisions in their professional work? This paper presents an approach that enhances engineering students’ engagement with ethical reasoning by simulating decision-making in a complex scenario. The approach has two principal inspirations. The first is Anthony Weston’s scenario-based teaching. Weston’s concept of a scenario is a situation that changes in response to choices made by participants, according to an inner logic. Scenarios can dynamically explore open-ended complex problems (...) without imposing predetermined results, allowing students to apply their ethical reasoning in a more realistic fashion. The second inspiration is Thi Nguyen’s theory of games. According to Nguyen, games are the “art of agency,” meaning that they provide a structure under which some result is agreed to be valuable, along with prescribed ways of achieving that result, in a relatively low-stakes and temporary social arrangement. By playing many games, Nguyen argues, we can develop a “library of agency,” that is to say, a set of values and means to achieving them that can inform how we make high-stakes decisions in real life. Engaging with carefully designed game scenarios, then, can enable students to practice making ethical decisions within a structured framework, which unfolds in response to their choices, while their decisions are driven by some defined goal. This roleplaying game–based approach thus allows students to build their own ethical libraries of agency, in preparation for professional decision-making. The approach is illustrated using a specific example recently deployed in a seminar on engineered living materials (building materials that incorporate living tissues). The scenario uses techniques from tabletop roleplaying games (e.g. Dungeons & Dragons) for outcome resolution, adventure design, and character creation. Through the game, students practice making difficult decisions in a humanitarian context. (shrink)

The first part of this article makes the case that human cognition is an intergenerational project enabled by the inheritance and bequeathal of cognitive technology (Sects. 2–4). The final two sections of the article (Sects. 5 and 6) explore the normative significance of this claim. My case for the intergenerational claim draws results from multiple disciplines: philosophy (Sect. 2), cultural evolutionary approaches in cognitive science (Sect. 3), and developmental psychology and neuroscience (Sect. 4). In Sect. 5, I propose that cognitive (...) technology should be given to future generations in accordance with principles of pluralism and transparency. In the final main section of the article, Sect. 6, I apply these principles to topics such as the preservation of information, environmental offloading of cognition, and thinking itself. (shrink)

Three philosophical accounts of risk dominate the contemporary literature. On the probabilistic account, risk has to do with the probability of a disvaluable event obtaining; on the modal account, it has to do with the modal closeness of that event obtaining; on the normic account, it has to do with the normalcy of that event obtaining. The debate between these accounts has proceeded via counterexample-trading, with each account having some cases it explains better than others, and some cases that it (...) cannot explain at all. In this article, we attempt to break the impasse between the three accounts of risk through a shift in methodology. We investigate the concept of risk via the method of conceptual reverse-engineering, whereby a theorist reconstructs the need that a concept serves for a group of agents in order to illuminate the shape of the concept: its intension and extension. We suggest that risk functions to meet our need to make decisions that reduce disvalue under conditions of uncertainty. Our project makes plausible that risk is a pluralist concept: meeting this need requires that risk takes different forms in different contexts. But our pluralism is principled: each of these different forms are part of one and the same concept, that has a ‘core-to-periphery’ structure, where the form the concept takes in typical cases (at its ‘core’) explains the form it takes in less typical cases (at its ‘periphery’). We then apply our findings to epistemic risk, to resolve an ambiguity in how ‘epistemic risk’ is standardly understood. (shrink)

Reconstruction is a central notion in Dewey’s account of inquiry and in his metaphilosophical commitments. In his work, Dewey made a call for reconstruction of philosophy, in the reconstruction of central notions of the discipline, like knowledge, logic, truth, the good, reason, and experience. Inquiry itself is reconstructive, according to Dewey, involving the transformation of an indeterminate situation into one which is determinate and understood. Dewey’s philosophical views should therefore be of interest to those taking part in the recent (...) turn towards revisionary philosophical methodologies, like conceptual engineering, explication, and amelioration. In light of the recent developments in revisionary methodologies, I aim to explore Dewey’s conception of concepts in relation to the conceptual engineering literature, suggesting that it provides a useful conception of concepts for conceptual engineering, and to suggest a Deweyan model of philosophical inquiry where concepts are the objects of inquiry. In both cases, I hope to show a productive interaction between Dewey’s ideas and contemporary discussions of conceptual engineering. (shrink)

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

Modern approaches to engineering ethics typically involve the systematic application of universal abstract principles, reflecting the culturally dominant paradigm of technical rationality (techne). By contrast, virtue ethics recognizes that sensitivity to context and practical judgment (phronesis) are indispensable in particular concrete situations, and therefore focuses on the person who acts, rather than the action itself. Virtues are identified within a specific social practice in accordance with its proper purpose, its societal role and associated responsibilities, and the internal goods that (...) are unique to it. As a result, ethics is recognized as something integral to engineering, rather than supplemental to it. This is necessary and appropriate, since engineers are often the decision-makers in contexts where the potential beneficiaries and harm-bearers are not the same; even their routine technical choices have ethical ramifications. The reasoning process commonly employed by engineers is similar in structure to that of scientists as articulated by Charles Sanders Peirce, the founder of philosophical pragmatism. As a "logic of ingenuity," it requires retroductively creating a diagrammatic model of a problem and its proposed solution, and then deductively working out the consequences, such that this serves as an adequate substitute for inductively evaluating the actual situation, which does not yet exist. As with ethical deliberation more generally, the key to success is having the ability to discern the significant aspects of reality and consistently capture them, before definitively selecting a way forward from among multiple viable options. This requires a carefully cultivated habit of imagining possibilities, assessing alternatives, and selecting one of them to bring about. (shrink)

The engineer Kirillov, a major character in Dostoevsky's 'Demons', has provoked considerable critical disagreement. In 'The Myth of Sisyphus', Albert Camus argues that he expresses the theme of ‘logical suicide’ with ‘the most admirable range and depth’. Some recent commentators, however, have dismissed Kirillov as a madman in the grip of a mad theory. -/- While dissenting from Camus’s analysis in certain respects, this article offers an interpretation consistent with his basic argument. Kirillov’s suicide is based on a simple, if (...) implacable, logic which convinces him that as long as he kills himself for the right reason, his death will be an act of redemption for all humanity. Kirillov is a wholly ‘metaphysical’ character – one of the earliest in modern fiction – whose ambition to become the ‘man-god’ is explored by Dostoevsky to its ultimate, desolate conclusion. (shrink)

Industrial engineering is a field dealing with optimization of complex processes, systems, or organizations by developing, improving and implementing integrated systems of people, money, knowledge, information, equipment, energy, and materials. Hence, the scope of industrial engineering is wide and includes various fields, from manufacturing, through banking, different types of services, to administration and healthcare. Various industrial engineering tools could be implemented in healthcare settings. The use of such tools is popular in western economies. For example, simulation modelling (...) of services is popular in the US. However, there is still a very limited number of case studies on the application of such tools in healthcare that would consider the Polish economy. The aim of this paper is to present selected successful applications of lean management tools in the Polish healthcare. This may serve as an inspiration for healthcare organizations to search for and implement methodological approaches to improve their services. (shrink)

This paper argues for explanatory eliminativism about topics (and cognates, such as subject matters) relative to the domain of conceptual engineering. It has become usual to think that topics serve an important explanatory role in theories of conceptual engineering, namely, to determine the limits of revision. I argue, first, that such limits can be understood either as thenormative limitspertaining to the justification of conceptual engineering, as themetaphysical limitspertaining to the identity of the concepts in question, or as (...) theterminological limitspertaining to usage of the original terminology. Second, I argue that the metaphysical reading is disputable as a theory of concepts and inconsequential for conceptual engineers, and that neither of the two leading accounts of topics that have been presented in the literature—the samesaying account and functionalism—determine the limits of revision in either of the two remaining senses. In the absence of more promising competitors, I conclude that there is no theoretical role for topics to play in theories of conceptual engineering. An upshot of my argument is that conceptual engineers should stop worrying about things like topic (dis)continuity, and instead shift their attention to the issues that really matter for justifying conceptual revisions or replacements, making terminological choices, and underpinning conceptual engineering with a theory of concepts. (shrink)

We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consists of definable update rules for changing plausibility relations between worlds, which have been proposed independently in the dynamic-epistemic literature on preference change. Our analysis yields two new types of modal result. First, we obtain complete logics for concrete mechanisms of belief revision, based on compositional reduction axioms. Next, we show how various abstract postulates (...) for belief revision can be analyzed by standard modal frame correspondences for model-changing operations. (shrink)

The texts (and talk) of engineers take different forms. In this essay, I present and critique several texts written for different purposes and audiences but all intended to convey to the reader the technical details of whatever they are about—whether a textbook passage describing the fundamental behavior of an electrical component, a journal article about a mathematical technique intended for use in design optimization, a memo to co-workers within a firm about a heat transfer analysis of a remotely sited building, (...) or a general introduction to the field of? ergonomics? My aim is to explore how the ways in which engineers describe and document their problems and projects frame what they accept, display and profess as useful knowledge. In this I am particularly interested in how engineers envision the ‘users’ of, or participants in, their productions. Like science, engineering texts are written as if they were timeless and untainted by socio-cultural features. However, a technical treatise is not devoid of metaphor or creative rendering of events; there is always a narrative within which worldly data and instrumental logic is embedded—but it is a story in which the passive voice prevails, history is irrelevant, and the human actor or agent is painted in quantitative parameters fitting the occasion. Whether this rhetoric can be sustained in the face of challenges to traditional ways of doing engineering is an open question. (shrink)

This paper's first part, reviewed attempts to model real-world problem solving as machine-executable logic. Part 2 considers an alternative model in which the solution of problems is primarily the work of visualization supported by automatized skills. Consciousness operates at the level of goal-setting and monitoring, and of the construction and communication of after-the-event commentaries, not as a problem solver. Engineering designs based on this model have proved convenient and effective. `Structured induction' is now routinely used to recover and (...) articulate expertise that in the human solver remains tacit. A seminal case of computer-mediated superarticulacy is described in which a human problem solver was enabled to transform an elaborate, but largely blind and unconscious, mental skill into a fully aware, communicable and machine-executable theory. (shrink)

An important open problem in Reverse Mathematics is the reduction of the first-order strength of the base theory from IΣ1IΣ1 to IΔ0+expIΔ0+exp. The system ERNA, a version of Nonstandard Analysis based on the system IΔ0+expIΔ0+exp, provides a partial solution to this problem. Indeed, weak Königʼs lemma and many of its equivalent formulations from Reverse Mathematics can be ‘pushed down’ into ERNA, while preserving the equivalences, but at the price of replacing equality with ‘≈’, i.e. infinitesimal proximity . The logical principle (...) corresponding to weak Königʼs lemma is the universal transfer principle from Nonstandard Analysis. Here, we consider the intermediate and mean value theorem and their uniform generalizations. We show that ERNAʼs Reverse Mathematics mirrors the situation in classical Reverse Mathematics. This further supports our claim from Sanders [19] that the Reverse Mathematics of ERNA plus universal transfer is a copy up to infinitesimals of that of WKL0. We discuss some of the philosophical implications of our results. (shrink)

This paper argues for explanatory eliminativism about topics (and cognates, such as subject matters) relative to the domain of conceptual engineering. It has become usual to think that topics serve an important explanatory role in theories of conceptual engineering, namely, to determine the limits of revision. I argue, first, that such limits can be understood either as the normative limits pertaining to the justification of conceptual engineering, as the metaphysical limits pertaining to the identity of the concepts (...) in question, or as the terminological limits pertaining to usage of the original terminology. Second, I argue that the metaphysical reading is disputable as a theory of concepts and inconsequential for conceptual engineers, and that neither of the two leading accounts of topics that have been presented in the literature—the samesaying account and functionalism—determine the limits of revision in either of the two remaining senses. In the absence of more promising competitors, I conclude that there is no theoretical role for topics to play in theories of conceptual engineering. An upshot of my argument is that conceptual engineers should stop worrying about things like topic (dis)continuity, and instead shift their attention to the issues that really matter for justifying conceptual revisions or replacements, making terminological choices, and underpinning conceptual engineering with a theory of concepts. (shrink)

‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall: philosophical logic, philosophy of logic, and pedagogy. We then defuse two distinct objections to the very idea of feminist logic: the irrelevance argument and the independence argument. Having done so, we turn to a particular kind of project in feminist philosophy of logic: Valerie (...) Plumwood's feminist argument for a relevance logic. Plumwood's work serves as our primary case study as we turn to the project of considering three different ways we might understand her argument and revisionist arguments like it: as a priori theorizing, as ameliorative conceptual engineering, or as instances of anti-exceptionalist approaches to logic. After arguing that the anti-exceptionalist approach seems to provide the most promising means of understanding the kind of project undertaken in a feminist challenge to classical logic, we briefly address the consequences that this might have for logic instruction. Here, we argue for the perhaps unexpected conclusion that feminist programs ought to offer more, not less, instruction in logic for those who take interest. (shrink)

In contemporary philosophy there is much focus on conceptual engineering: the enterprise of revising and replacing concepts. In this talk, I focus on a theoretical issue that has not yet received much attention. What principled limits are there to this sort of enterprise? Are there concepts that for principled reasons cannot or should not be revised or replaced? Examples discussed include logical concepts and normative concepts.