If we take "experimental philosophy" in a wider sense, it is almost the same as methodological naturalism in philosophy. Experiments of this kind would be available and also fruitful in the philosophy of mathematics. They surely will have a substantial contribution to epistemology of mathematics. At present, however, the phrase "experimental philosophy" is used in a much narrower sense. It refers exclusively to a branch of naturalized philosophy that uses the data gathered through questionnaire surveys to investigate the intuitions of (...) ordinary people. We claim that experimental philosophy in this narrower sense will have little relevance to the philosophy of mathematics, since the philosophy of mathematics is not engaged in conceptual analysis despite of its appearance. (shrink)

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

Lucas-Penrose type arguments have been the focus of many papers in the literature. In the present paper we attempt to evaluate the consequences of Gödel’s incompleteness theorems for the philosophy of the mind. We argue that the best answer to this question was given by Gödel already in 1951 when he realized that either our intellectual capability is not representable by a Turing Machine, or we can never know with mathematical certainty what such a machine is. But his considerations became (...) known only in recent times when many scholars were already aware of Benacerraf’s and Chihara’s analyses on the consequences of Gödel’s incompleteness theorems for the philosophy of the mind. Benacerraf and Chihara, in fact, discussing Lucas’ paper, arrived at the same conclusions as Gödel in the sixties, but in a more formal way. After Penrose’s provocative arguments, Shapiro again shed light on the question. In our paper, after a broad and simple presentation of the contributions to the debate made by different authors, we show how to present Gödel’s argument in a rigorous way, highlighting the necessary philosophical premises of Gödel’s argument and more in general of Gödelian arguments. (shrink)

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

After C. L. Hamblin's groundbreaking work Fallacies, re-interpreting what used to be known as "mistakes in reasoning" or "bad arguments" since Aristotle, the study of fallacies started to bloom, coming up with ever new perspectives and conceptualizations of what should count as a mistake in reasoning and argumentation, and why a certain kind of reasoning should at all be considered a mistake. This paper will be concerned with two questions. First, an epistemological one: do we commit fallacies, or do we (...) use them? Secondly, a methodological one: when we detect a fallacy, on what conceptual grounds do we differentiate between committed and used fallacies? Aren't we forced to commit "fallacies" whenever we talk about other people, their views, or their work? Examples from Critical Discourse Analysis will be used to extensively illustrate this point. (shrink)

The algorithm, a building block of computer science, is defined from an intuitive and pragmatic point of view, through a methodological lens of philosophy rather than that of formal computation. The treatment extracts properties of abstraction, control, structure, finiteness, effective mechanism, and imperativity, and intentional aspects of goal and preconditions. The focus on the algorithm as a robust conceptual object obviates issues of correctness and minimality. Neither the articulation of an algorithm nor the dynamic process constitute the algorithm itself. Analysis (...) for implications in computer science and philosophy reveals unexpected results, new questions, and new perspectives on current questions, including the relationship between our informally construed algorithms and Turing machines. Exploration in terms of current computational and philosophical thinking invites further developments. (shrink)

A series of papers on different aspects of practical knowledge by Roderick Chisholm, Rudolf Haller, J. C. Nyiri, Eva Picardi, Joachim Schulte Roger Scruton, Barry Smith and Johan Wrede.

Real-world agents do not know all consequences of what they know. But we are reluctant to say that a rational agent can fail to know some trivial consequence of what she knows. Since every consequence of what she knows can be reached via chains of trivial cot be dismissed easily, as some have attempted to do. Rather, a solution must give adequate weight to the normative requirements on rational agents’ epistemic states, without treating those agents as mathematically ideal reasoners. I’ll (...) argue that agents can fail to know trivial consequences of what they know, but never determinately. Such cases are epistemic oversights on behalf of the agent in question, and the facts about epistemic oversights are always indeterminate facts. As a result, we are never in a position to assert that such-and-such constitutes an epistemic oversight for agent i (for we may rationally assert only determinate truths). I then develop formal epistemic models according to which epistemic accessibility relations are vague. Given these models, we can show that epistemic oversights always concern indeterminate cases of knowledge. (shrink)

In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans and computers are (...) semiotic systems. Finally, I suggest that minds can be considered as virtual machines implemented in certain semiotic systems, primarily the brain, but also AI computers. In doing so, I take issue with Fetzer’s arguments to the contrary. (shrink)

This paper is dedicated to Alonzo Church, who died in August 1995 after a long life devoted to logic. To Church we owe lambda calculus, the thesis bearing his name and the solution to the Entscheidungsproblem.His well-known book Introduction to Mathematical LogicI, defined the subject matter of mathematical logic, the approach to be taken and the basic topics addressed. Church was the creator of the Journal of Symbolic Logicthe best-known journal of the area, which he edited for several decades This (...) paper is in three sections. The first is written in journalistic style:the story of the life of AlonzoChurch is told, including some of the many anecdotes I have collected from different sources. The secondpart is devoted to his work, but is far from being exhaustive. The last part is more original; in it I attempto show that Church’s great discovery was lambda calculus and that his remaining contributions weremainly inspired afterthoughts in the sense that most of his contributions as well as some of his pupils derivefrom that initial achievement. Included are Kleene’s Recursion Theory and the completeness proof ofHenkin. I have added an appendix in which is presented the typed lambda calculus and a proof of theundecidability of first-order logic. (shrink)

One of the most striking differences between Frege's Begriffsschrift (logical system) and standard contemporary systems of logic is the inclusion in the former of the judgement stroke: a symbol which marks those propositions which are being asserted , that is, which are being used to express judgements . There has been considerable controversy regarding both the exact purpose of the judgement stroke, and whether a system of logic should include such a symbol. This paper explains the intended role of the (...) judgement stroke in a way that renders it readily comprehensible why Frege insisted that this symbol was an essential part of his logical system. The key point here is that Frege viewed logic as the study of inference relations amongst acts of judgement , rather than – as in the typical contemporary view – of consequence relations amongst certain objects (propositions or well-formed formulae). The paper also explains why Frege's use of the judgement stroke is not in conflict with his avowed anti-psychologism, and why Wittgenstein's criticism of the judgement stroke as 'logically quite meaningless' is unfounded. The key point here is that while the judgement stroke has no content , its use in logic and mathematics is subject to a very stringent norm of assertion. (shrink)

It is well understood and appreciated that Gödel’s Incompleteness Theorems apply to sufficiently strong, formal deductive systems. In particular, the theorems apply to systems which are adequate for conventional number theory. Less well known is that there exist algorithms which can be applied to such a system to generate a gödel-sentence for that system. Although the generation of a sentence is not equivalent to proving its truth, the present paper argues that the existence of these algorithms, when conjoined with Gödel’s (...) results and accepted theorems of recursion theory, does provide the basis for an apparent paradox. The difficulty arises when such an algorithm is embedded within a computer program of sufficient arithmetic power. The required computer program (an AI system) is described herein, and the paradox is derived. A solution to the paradox is proposed, which, it is argued, illuminates the truth status of axioms in formal models of programs and Turing machines. (shrink)

A survey of the field of hypercomputation, including discussion of a variety of objections.

A myth has arisen concerning Turing's paper of 1936, namely that Turing set forth a fundamental principle concerning the limits of what can be computed by machine - a myth that has passed into cognitive science and the philosophy of mind, to wide and pernicious effect. This supposed principle, sometimes incorrectly termed the 'Church-Turing thesis', is the claim that the class of functions that can be computed by machines is identical to the class of functions that can be computed by (...) Turing machines. In point of fact Turing himself nowhere endorses, nor even states, this claim (nor does Church). I describe a number of notional machines, both analogue and digital, that can compute more than a universal Turing machine. These machines are exemplars of the class of _nonclassical_ computing machines. Nothing known at present rules out the possibility that machines in this class will one day be built, nor that the brain itself is such a machine. These theoretical considerations undercut a number of foundational arguments that are commonly rehearsed in cognitive science, and gesture towards a new class of cognitive models. (shrink)

Cognitive science has been dominated by the computational conception that cognition is computation across representations. To the extent to which cognition as computation across representations is supposed to be a purposive, meaningful, algorithmic, problem-solving activity, however, computers appear to be incapable of cognition. They are devices that can facilitate computations on the basis of semantic grounding relations as special kinds of signs. Even their algorithmic, problem-solving character arises from their interpretation by human users. Strictly speaking, computers as such — apart (...) from human users — are not only incapable of cognition, but even incapable of computation, properly construed. If we want to understand the nature of thought, then we have to study thinking, not computing, because they are not the same thing. (shrink)

In his PhD thesis (1938) Turing introduced what he described as 'a new kind of machine'. He called these 'O-machines'. The present paper employs Turing's concept against a number of currently fashionable positions in the philosophy of mind.

This paper introduces two languages and associated logics designed to afford perspicuous representations of a range of natural language arguments involving adverbs and the like: first-order logic with basic adverbs (FOL-BA) and first-order logic with scoped adverbs (FOL-SA). The guiding logical idea is that an adverb can come between a term and the rest of the statement it is a part of, resulting in a logically stronger statement. I explain various interesting challenges that arise in the attempt to implement the (...) guiding idea, and provide solutions for some but not all of them. I conclude by outlining some directions for further research. (shrink)

Textbook for students in mathematical logic. Part 1. Total formalization is possible! Formal theories. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux method. Resolution method. Herbrand's theorem.

The aim of this article is to discuss the extent to which certain substructural logics are related through the phenomenon of duality. Roughly speaking, metainferences are inferences between collect...

ریاضیدانان هرروز با مجموعههای ناشمارا، مجموعهی توانی، خوشترتیبی، تناهی و ... سروکار دارند و با این تصور که این مفاهیم همان چیزهایی هستند که در ذهن دارند، کتابها و اثباتهای ریاضی را میخوانند و میفهمند و درمورد آنها صحبت میکنند. اما آیا این مفاهیم همان چیزهایی هستند که ریاضیدانان تصور میکنند؟ اولینبار اسکولم با بیان یک پارادوکس شک خود را به این موضوع ابراز کرد. بنابر قضیهی لوونهایم اسکولم رو به پایین، نظریه مجموعهها مدلی شمارا دارد. این مدل قضیهی کانتور (...) را که بیان میکند مجموعهای ناشمارا وجود دارد برآورده میکند؛ ولی مدل شمارا دارای دامنهای شامل شمارا عضو است. پس برای بیان وجود مجموعهای ناشمارا مانند ℝ تنها شمارا عضو داریم. این جمالت به پارادوکس اسکولم مشهور شدند. بنابرین مجموعهی ناشمارایمان در واقع شمارا بهنظر میرسد. از زمانی که پارادوکس فهمیده شد تا به امروز بحث های زیادی در رد و تایید آن بوده است. گروهی تا آنجا پیش رفتند که ادعا کردند همهی مجموعهها شمارا هستند. در این پایان نامه پرسش های مقابل بررسی شدهاند: آیا مجموعههای ناشمارا واقعا وجود دارند؟ آیا پارادوکس اسکولم نشان میدهد که نظریههای مرتبه دوم برای مدل کردن کاربرد ریاضیات مناسبتر هستند؟ پارادوکس اسکولم درمورد درک ما از نظریه مجموعهها و سمانتیک آن چه نتیجهای دارد؟ خواهیم دید بهتر است درمورد وجود مجموعههای ناشمارا، موضع الادری را برگزینیم، پارادوکس اسکولم نتیجه نمیدهد نظریههای مرتبه دوم برای مدل کردن کاربرد ریاضیات مناسب هستند و درمورد درک ما از نظریه مجموعهها نتیجهای نخواهد داشت. (shrink)

Is identity fundamental to formal systems? Even if a system have no the identity relation, is that concept is not assumed in any way – whether in a metalinguistic or intuitive level? In this paper we shall discuss this issue. Otávio Bueno (2014, 2016) argues against the elimination of identity, holding that this concept is fundamental and non-eliminable (even in does systems that claim to do so). Décio Arenhart Krause and Jonas (2015), by the other hand, have a number of (...) objections to Bueno’s thesis. Firstly, we look at how the concept of identity was accounted in the philosophical tradition, as well as part of its formal account. We will also examine the notion of indiscernibility that, according to the traditional approach to identity, is equivalent to the notion of identity, but (arguably) is not it logically equivalent. Thus, we shall state Krause and Arenhart’s strategy, according to, in a formal system we can eliminate identity in favor of the indiscernibility notion. Finally, we shall expose Bueno’s criticism to such strategy, and then to put forward some objections against it. (shrink)

The prevailing viewpoint concerning conditionals asserts two claims: (1) conditionals featuring non-assertive acts in their consequents, such as commands and promises, cannot plausibly be construed as assertions of material implication; (2) the most promising hypothesis for such sentences is conditional-assertion theory, which defines a conditional as a conditional speech act, i.e., the performance of a speech act given the assumption of the antecedent. This hypothesis carries significant and far-reaching implications, as conditional speech acts are not synonymous with a proposition possessing (...) truth conditions. This paper opposes such a view in two steps. Firstly, it presents a battery of objections against conditional-assertion theory. Secondly, it advances the argument that such examples can indeed be convincingly construed as assertions of material implication. (shrink)

ABSTRACTIn this paper, we consider non-associative generalisations of Hájek's logics BL and psBL. As it was shown by Cignoli, Esteva, Godo, and Torrens, the former is the logic of continuous t-norms and their residua. Botur introduced logic naBL which is the logic of non-associative continuous t-norms and their residua. Thus, naBL can be viewed as a non-associative generalisation of BL. However, Botur has not presented axiomatization of naBL. We fill this gap by constructing an adequate Hilbert-style calculus for naBL. Although, (...) as was shown by Flondor, Georgescu, and Iorgulescu, there are no non-commutative continuous t-norms, Hájek's psBL can be viewed as BL's non-commutative generalisation. We present the logic psnaBL of psnaBL-algebras which can be viewed as naBL's non-commutative generalisation as well as psBL's non-associative generalisation and BL's both non-commutative and non-associative generalisation. (shrink)

A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.

O'Brien & Opie's (O&O's) theory demands a view of unconscious processing that is incompatible with virtually all current PDP models of neural activity. Relative to the alternatives, the theory is closer to an AI than a parallel distributed processing (PDP) perspective, and its treatment of phenomenology is ad hoc. It raises at least one important question: Could features of network relaxation be the “switch” that turns an unconscious into a conscious network?

It is easy to construct pairs of sentences X, Y that lead many people to ascribe higher probability to the conjunction X-and-Y than to the conjuncts X, Y. Whether an error is thereby committed depends on reasoners’ interpretation of the expressions “probability” and “and.” We report two experiments designed to clarify the normative status of typical responses to conjunction problems. © 2004 Cognitive Science Society, Inc. All rights reserved.

In this paper we elaborate a conception of entailment based on what we call the Ackermann principle, which explicates valid entailment through a logical connection between sentences depending on their informational content. We reconstruct Dunn’s informational semantics for entailment on the basis of Restall’s approach, with assertion and denial as two independent speech acts, by introducing the notion of a ‘position description’. We show how the machinery of position descriptions can effectively be used to define the positive and the negative (...) information carried by sentences of a given language and to present a formalized version of the Ackermann principle as an inclusion relationship between the informational contents of the conclusions and the premises of a valid entailment. Being so interpreted, the entailment relation exhibits certain properties, including the property of transitivity. Whereas properties such as Anderson and Belnap’s variable sharing property or Parry’s proscriptive principle are normally presented as imposing a relevance requirement on valid entailment, the suggested formalization of the Ackermann principle supports all of Gentzen’s structural rules, including weakening, a rule that is normally given up in sequent-style proof systems for relevance logics. In this way we propose an Ackermann-inspired explication of the nature of entailment as a relation between the informational contents of sentences. (shrink)

Arnold Cusmariu ABSTRACT: The Cogito formulation in Discourse on Method attributes properties to one conceptual category that belong to another. Correcting the error ends up defeating Descartes’ response to skepticism. His own creation, the Evil Genius, is to blame. Download PDF.

We argue that abduction does not work in isolation from other inference mechanisms and illustrate this through an inference scheme designed to evaluate multiple hypotheses. We use game theory to relate the abductive system to actions that produce new information. To enable evaluation of the implications of this approach we have implemented the procedures used to calculate the impact of new information in a computer model. Experiments with this model display a number of features of collective belief-revision leading to consensus-formation, (...) such as the influence of bias and prejudice. The scheme of inferential calculations invokes a Peircian concept of ‘belief’ as the propensity to choose a particular course of action. (shrink)

This article presents a sequent calculus for a negative free logic with identity, called N . The main theorem (in part 1) is the admissibility of the Cut-rule. The second part of this essay is devoted to proofs of soundness, compactness and completeness of N relative to a standard semantics for negative free logic.

For over a decade, the hypercomputation movement has produced computational models that in theory solve the algorithmically unsolvable, but they are not physically realizable according to currently accepted physical theories. While opponents to the hypercomputation movement provide arguments against the physical realizability of specific models in order to demonstrate this, these arguments lack the generality to be a satisfactory justification against the construction of any information-processing machine that computes beyond the universal Turing machine. To this end, I present a more (...) mathematically concrete challenge to hypercomputability, and will show that one is immediately led into physical impossibilities, thereby demonstrating the infeasibility of hypercomputers more generally. This gives impetus to propose and justify a more plausible starting point for an extension to the classical paradigm that is physically possible, at least in principle. Instead of attempting to rely on infinities such as idealized limits of infinite time or numerical precision, or some other physically unattainable source, one should focus on extending the classical paradigm to better encapsulate modern computational problems that are not well-expressed/modeled by the closed-system paradigm of the Turing machine. I present the first steps toward this goal by considering contemporary computational problems dealing with intractability and issues surrounding cyber-physical systems, and argue that a reasonable extension to the classical paradigm should focus on these issues in order to be practically viable. (shrink)

-/- A schema (plural: schemata, or schemas), also known as a scheme (plural: schemes), is a linguistic template or pattern together with a rule for using it to specify a potentially infinite multitude of phrases, sentences, or arguments, which are called instances of the schema. Schemas are used in logic to specify rules of inference, in mathematics to describe theories with infinitely many axioms, and in semantics to give adequacy conditions for definitions of truth. -/- 1. What is a Schema? (...) 2. Uses of Schemas 3. The Ontological Status of Schemas 4. Schemas in the History of Logic Bibliography. (shrink)

Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer’s solipsistic attitude to logic, there remain points of disagreement to this day. Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the (...) developments following Turing’s ground-breaking linkage of computation and the machine, the resulting birth of complexity theory, the innovations of Kolmogorov complexity and resolving the dissonances between proof theoretical semantics and canonical proof feasibility. Finally, it explores one of the most fundamental questions concerning the interface between constructivity and computability: whether the theory of recursive functions is needed for a rigorous development of constructive mathematics. This volume contributes to the unity of science by overcoming disunities rather than offering an overarching framework. It posits that computability’s adoption of a classical, ontological point of view kept these imperatives separated. In studying the relationship between the two, it is a vital step forward in overcoming the disagreements and misunderstandings which stand in the way of a unifying view of logic. (shrink)

König, D. [1926. ‘Sur les correspondances multivoques des ensembles’, Fundamenta Mathematica, 8, 114–34] includes a result subsequently called König's Infinity Lemma. Konig, D. [1927. ‘Über eine Schlussweise aus dem Endlichen ins Unendliche’, Acta Litterarum ac Scientiarum, Szeged, 3, 121–30] includes a graph theoretic formulation: an infinite, locally finite and connected graph includes an infinite path. Contemporary applications of the infinity lemma in logic frequently refer to a consequence of the infinity lemma: an infinite, locally finite tree with a root has (...) a infinite branch. This tree lemma can be traced to [Beth, E. W. 1955. ‘Semantic entailment and formal derivability’, Mededelingen der Kon. Ned. Akad. v. Wet., new series 18, 13, 309–42]. It is argued that Beth independently discovered the tree lemma in the early 1950s and that it was later recognized among logicians that Beth's result was a consequence of the infinity lemma. The equivalence of these lemmas is an easy consequence of a well known result in graph theory: every connected, locally finite graph has among its partial subgraphs a spanning tree. (shrink)

Because the conjunction pandq implies p, the value of a bet on pandq cannot exceed the value of a bet on p at the same stakes. We tested recognition of this principle in a betting paradigm that (a) discouraged misreading p as pandnotq, and (b) encouraged genuinely conjunctive reading of pandq. Frequent violations were nonetheless observed. The findings appear to discredit the idea that most people spontaneously integrate the logic of conjunction into their assessments of chance.

Real-world agents do not know all consequences of what they know. But we are reluctant to say that a rational agent can fail to know some trivial consequence of what she knows. Since every consequence of what she knows can be reached via chains of trivial cot be dismissed easily, as some have attempted to do. Rather, a solution must give adequate weight to the normative requirements on rational agents’ epistemic states, without treating those agents as mathematically ideal reasoners. I’ll (...) argue that agents can fail to know trivial consequences of what they know, but never determinately. Such cases are epistemic oversights on behalf of the agent in question, and the facts about epistemic oversights are always indeterminate facts. As a result, we are never in a position to assert that such-and-such constitutes an epistemic oversight for agent i (for we may rationally assert only determinate truths). I then develop formal epistemic models according to which epistemic accessibility relations are vague. Given these models, we can show that epistemic oversights always concern indeterminate cases of knowledge. (shrink)

The problem of epistemic opacity in Artificial Intelligence is often characterised as a problem of intransparent algorithms that give rise to intransparent models. However, the degrees of transparency of an AI model should not be taken as an absolute measure of the properties of its algorithms but of the model’s degree of intelligibility to human users. Its epistemically relevant elements are to be specified on various levels above and beyond the computational one. In order to elucidate this claim, I first (...) contrast computer models and their claims to algorithm-based universality with cybernetics-style analogue models and their claims to structural isomorphism between elements of model and target system. While analogue models aim at perceptually or conceptually accessible model-target relations, computer models give rise to a specific kind of underdetermination in these relations that needs to be addressed in specific ways. I then undertake a comparison between two contemporary AI approaches that, although related, distinctly align with the above modelling paradigms and represent distinct strategies towards model intelligibility: Deep Neural Networks and Predictive Processing. I conclude that their respective degrees of epistemic transparency primarily depend on the underlying purposes of modelling, not on their computational properties. (shrink)

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

We consider a family of logical systems for representing entailment relations of various kinds. This family has its root in the logic of first-degree entailment formulated as a binary consequence system, i.e. a proof system dealing with the expressions of the form \, where both \ and \ are single formulas. We generalize this approach by constructing consequence systems that allow manipulating with sets of formulas, either to the right or left of the turnstile. In this way, it is possible (...) to capture proof-theoretically not only the entailment relation of the standard four-valued Belnap’s logic, but also its dual version, as well as some of their interesting extensions. The proof systems we propose are, in a sense, of a hybrid Hilbert–Gentzen nature. We examine some important properties of these systems and establish their completeness with respect to the corresponding entailment relations. (shrink)