We discuss Smirnovs problem of finding a common background for classifying implicational logics. We formulate and solve the problem of extending, in an appropriate way, an implicational fragment H of the intuitionistic propositional logic to an implicational fragment TV of the classical propositional logic. As a result we obtain logical constructions having the form of Boolean lattices whose elements are implicational logics. In this way, whole classes of new logics can be obtained. We also consider the transition from implicational logics (...) to full logics. On the base of the lattices constructed, we formulate the main classification principles for propositional logics. (shrink)

This paper discusses the reports in Diogenes Laertius and in Sextus Empiricus concerning the classification of propositions. It is argued that the material in Sextus uses a source going back to the Dialectical school whose most prominent members were Diodorus Cronus and Philo of Megara. The material preserved in Diogenes Laertius, on the other hand, goes back to Chrysippus.

In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper as opposed to proper ones. Improper inference rules are more complicated than proper ones and more difficult to understand. In 2022, we provided a sequent system based solely on the application of proper rules. In the present paper, on the basis of our system from 2022, we classify improper inference (...) rules. (shrink)

We investigate and classify the notion of final derivability of two basic inconsistency-adaptive logics. Specifically, the maximal complexity of the set of final consequences of decidable sets of premises formulated in the language of propositional logic is described. Our results show that taking the consequences of a decidable propositional theory is a complicated operation. The set of final consequences according to either the Reliability Calculus or the Minimal Abnormality Calculus of a decidable propositional premise set is in general undecidable, and (...) can be -complete. These classifications are exact. For first order theories even finite sets of premises can generate such consequence sets in either calculus. (shrink)

We develop conceptions of arguments and of argument types that will, by serving as the basis for developing a natural classification of arguments, benefit work in artificial intelligence. Focusing only on arguments construed as the semantic entities that are the outcome of processes of reasoning, we outline and clarify our view that an argument is a proposition that represents a fact as both conveying some other fact and as doing so wholly. Further, we outline our view that, with respect to (...) arguments that are propositions, (roughly) two arguments are of the same type if and only if they represent the same relation of conveyance and do so in the same way. We then argue for our conceptions of arguments and argument types, and compare them to alternative positions. We also illustrate the need for, and some of the strengths of, our approach to classifying arguments through an examination of aspects of two prominent and recent attempts to classify arguments using argumentation schemes, namely those of M. Kienpointner and D. Walton. Finally, we clarify how our conception of arguments and of argument types can assist in developing an exhaustive classification of arguments. (shrink)

Propositional attitude verbs, such as think and want, have long held interest for both theoretical linguists and language acquisitionists because their syntactic, semantic, and pragmatic properties display complex interactions that have proven difficult to fully capture from either perspective. This paper explores the granularity with which these verbs’ semantic and pragmatic properties are recoverable from their syntactic distributions, using three behavioral experiments aimed at explicitly quantifying the relationship between these two sets of properties. Experiment 1 gathers a measure of 30 (...) propositional attitude verbs’ syntactic distributions using an acceptability judgment task. Experiments 2a and 2b gather measures of semantic similarity between those same verbs using a generalized semantic discrimination task and an ordinal scale task, respectively. Two kinds of analyses are conducted on the data from these experiments. The first compares both the acceptability judgments and the semantic similarity judgments to previous classifications derived from the syntax and semantics literature. The second kind compares the acceptability judgments to the semantic similarity judgments directly. Through these comparisons, we show that there is quite fine-grained information about propositional attitude verbs’ semantics carried in their syntactic distributions—whether one considers the sorts of discrete qualitative classifications that linguists traditionally work with or the sorts of continuous quantitative classifications that can be derived experimentally. (shrink)

Since logic in the 13th century is focussed on syllogistics as its main subject, textbooks on logic provide us with large and detailed treatments of the proposition as the immediate and constitutive basis of the syllogism. In the present paper I will give a survey of these treatments and pay special attention to a certain side-issue, namely to non-assertive sentences and to some difficulties concerning their classification. I will focus on William of Sherwood's apporach to the subject and compare it (...) with the conceptions of Roger Bacon, Peter of Spain and Lambert of Lagny, who are the auhtors of the three main logic compendia besides William of Sherwood's in the thirteenth century. (shrink)

This paper is in three sections. In the first I describe and illustrate three uses of indices of truth in semantics. The way I illustrate this classification is not completely uncontroversial, but I expect that my intuitions on this matter are generally shared. In the second section I broach a question which is central to the metaphysics of time, namely: how should certain temporal indices of truth - times - be fitted within this classificatory scheme? I sketch three proposals as (...) to how this might be done, and show how they constitute different metaphysical conceptions of the nature of time. Finally, in the third section I turn to a specific problem with the classification of times (as indices of truth) I call 'non-indexical'. Mellor (1981) thinks this problem insoluble, and argues that it shows this classification to be absurd. However, by appealing to the modal analogues of the issues involved, I first show that Mellor's argument is question- begging, and then go on to show how the non-indexical classification of times might undermine the presuppositions on which his argument rests. The paper attempts to contribute to a discussion of the question raised in section II, not to provide a definitive answer to it. (shrink)

The intermediate logics have been classified into slices (cf. Hosoi [1]), but the detailed structure of slices has been studied only for the first two slices (cf. Hosoi and Ono [2]). In order to study the structure of slices, we give a method of a finer classification of slices & n (n 3). Here we treat only the third slice as an example, but the method can be extended to other slices in an obvious way. It is proved that each (...) subslice contains continuum of logics. A characterization of logics in each subslice is given in terms of the form of models. (shrink)

In this article, I shall describe the influence of theistic thought on variant dimensions of knowledge through classification and analysis of Mutahhari’s writings. In particular, I shall develop two criteria which have been inspired from 2: 156. These criteria are “from-him-ness” and “toward-him-ness” and they can be counted as a basis for normative propositions. I believe that divine orders have been manifested both in reason and revelation. Meanwhile, rational normative propositions can be divided into propositions of moral (...) obligation and that of non-moral obligation. A further criterion, which is the spirit of human actions, is godly motivation. Hence, putting these criteria together, we will have sixteen cases, seven cases of which, I shall argue, would be a recommended action in theistic thought. (shrink)

A study of the reception of Aristotle's Prior Analytics in the first half of the twelfth century. It is shown that Peter Abaelard was perhaps acquainted with as much as the first seven chapters of Book I of the Prior Analytics but with no more. The appearance at the beginning of the twelfth century of a short list of dialectical loci which has puzzled earlier commentators is explained by noting that this list formalises the classification of extensional relations between general (...) terms and that this classification had already be put forward by Boethius in his de Syllogismo Categorico and Introductio ad Syllogismos Categoricas . It is pointed out the kind of text referred to as an ` Introductio ' at the beginning of the twelfth-century follows very closely the structure of Boethius own Introductio and adds to it material drawn from his accounts of loci and the conditional propositions. It is argued that the reception of the Prior Analytics has to be understood against the background of this well developed tradition of treating together syllogisms, loci , and conditional propostions. Referring to a challenge to the formal validity of Darapti in the Ars Meliduna the paper concludes by illustrating that the theory of the syllogism presented in Prior Analytics was still controversial in the middle of the twelfth-century. (shrink)

In this work Ockham proposes a theory of simple predication, which he uses in explicating the truth conditions of progressively more complicated kinds of propositions. His discussion includes what he takes to be the correct semantic treatment of quantified propositions, past tense and future tense propositions, and modal propositions, all of which are receiving much attention from contemporary philosophers. He also illustrates the use of exponential analysis to deal with propositions that prove troublesome in both (...) semantic theory and other disciplines, such as metaphysics, physics, and theology. This type of analysis plays an essential role in his substantive philosophical and theological works, and in many cases then can hardly be understood without a prior acquaintance with this section of the Summa. An introduction by Alfred J. Freddoso clarifies and summarizes Ockham's theory, discusses certain philosophical problems which it engenders, and proposes new interpretations for parts of it. The essay will be helpful both to those interested in Ockham as a historical figure and to those interested in his substantive systematic contributions to logical theory. (shrink)

The last 14 chapters of book 1 of Aristotle's "Prior Analytics" are concerned with the representation in the formal language of syllogistic of propositions and arguments expressed in more or less everyday Greek. In his commentary on those chapters, Alexander of Aphrodisias explains some of Aristotle's more opaque assertions and discusses post-Aristotelian ideas in semantics and the philosophy of language. In doing so he provides an unusual insight into the way in which these disciplines developed in the Hellenistic era. (...) He also shows a more sophisticated understanding of these fields than Aristotle himself, while remaining a staunch defender of Aristotle's emphasis on meaning as opposed to Stoics concern with verbal formulation. In his commentary on the final chapter of book 1 Alexander offers a thorough discussion of Aristotle's distinction between denying that something is, e.g., white and asserting that it is non-white. (shrink)

Aristotle considers all examples, as far as they are used as rhetorical arguments, to be inductions . On the other hand, he finds it worthwhile to distinguish different kinds of examples . Moreover, comparisons and fables are said to be “made” by the orator, whereas historical examples are not . The present article attempts to explain this opposition.A close examination of what can be meant by “induction” reveals that this term applies differently to historical examples and to comparisons and fables. (...) In a broader sense, all examples can be called inductions, insofar as a certain logical relation, different from the syllogistic one, obtains between conclusion and premises. This relation, however, is unable to explain why examples can serve as arguments. Applied to historical examples only, the term “induction” preserves its original meaning of checking samples in a number sufficient to yield generalization. In its narrow sense, “induction” gives a satisfactory account of how historical examples work. As for comparisons and fables — to which “induction” applies in a broader sense only — Aristotle fails to explain what makes them arguments. The explanation, missing in Rhetoric 2, 20, can, however, be given according to the general lines of Aristotelian dialectics and rhetorics. The main task of comparison and fable is to elaborate a so far unconsidered middle term meeting the following conditions: the hearer is prepared to agree that M applies to the subject of the conclusion and that the predicate of the conclusion applies to M. All examples make use of a general proposition from which their conclusion can be inferred. Historical examples produce instances, in order to confirm a proposition previously admitted as suitable premise, provided that its truth can be proved. Comparison and fables, by introducing a new middle term, try to form a premise susceptible of being admitted without proof. (shrink)

A concrete proposal is presented as to how semantics should be naturalized. Rather than attempting to naturalize propositions, they are treated as abstract entities that index concrete cognitive states. In turn the relevant concrete cognitive states are identified via perceptual classifications of worldly states, with the aid of an interactive theory of perception. The approach enables a broadly realist theory of propositions, truth and cognitive states to be preserved, with propositions functioning much as abstract mathematical constructs (...) do in the nonsemantic sciences, but with a much more specific propositional indexing scheme than previous naturalistic proposals were able to achieve. (shrink)

The article discusses the formal classification of natural sciences, which is based on several propositions: (a) natural sciences can be separated onto independent and dependent sciences based on the gnosiologic criterion and irreducibility criteria (principal and technical); (b) there are four independent sciences which form a hierarchy: physics ← chemistry ← terrestrial biology ← human psychology; (c) every independent science except for physics has already developed or will develop in the future a set of final paradigms formulated in the (...) terms of the science one step above it in the hierarchy; (d) some paradigms in physics will never become final; (e) each independent natural science has dependent sciences with paradigms already expressed in the terms of the respective independent sciences. Existing paradigms of independent natural sciences are listed and discussed with respect to the degree of their approach to the final state. Normal 0 false false false EN-US X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;}. (shrink)

Within this paper, we argue that Audi’s transmission principle for testimony-based knowledge is untenable, while proposing an alternative route for him to take. We will first set out the core tenets of Audi’s general epistemology before we examine his account of testimony more specifically. Then, we proceed by showing that Audi’s transmission principle for testimony-based knowledge falls prey to a number of prominent counterexamples discussed in the recent literature. In reaction to this, we will put forward the thesis that in (...) cases of testimonial knowledge propositional justification, in contrast to knowledge, is being transmitted. Finally, we conclude that Audi loses sight of this option due to his overly strict classification of knowledge in externalist and justification in internalist terms. (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)

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)

This paper challenges the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief cannot be understood referentially, his ignorance of the coins in his pocket (...) shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (shrink)

Bare plural generic sentences pervade ordinary talk. And yet it is extremely controversial what semantics to assign to such sentences. In this paper, I achieve two tasks. First, I develop a novel classification of the various standard uses to which bare plurals may be put. This “variety data” is important—it gives rise to much of the difficulty in systematically theorizing about bare plurals. Second, I develop a novel account of bare plurals, the radical account. On this account, all bare plurals (...) fail to express propositions. The content of a bare plural has to be pragmatically “completed” by a speaker in order for her to make an assertion. At least the content of a quantifier expression has to be supplied. But sometimes, the content of a sentential operator or modal verb is also supplied. The radical account straightforwardly explains the variety data: Speakers’ communicative intentions vary wildly across different contexts. (shrink)

"A valuable collection both for original source material as well as historical formulations of current problems."-- The Review of Metaphysics "Much more than a mere collection of papers . . . a valuable addition to the literature."-- Mathematics of Computation An anthology of fundamental papers on undecidability and unsolvability by major figures in the field, this classic reference opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by (...) Godel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. Additional papers by Church, Turing, and Post cover unsolvable problems from the theory of abstract computing machines, mathematical logic, and algebra, and material by Kleene and Post includes initiation of the classification theory of unsolvable problems. Suitable for graduate and undergraduate courses. 1965 ed. (shrink)

No fruitful discussion of the logic of religious belief can afford to ignore George Mavrodes' classification of propositional concepts, i.e. concepts predicable of propositions singly or in sets , as an analytical tool for pinning down the ‘person-oriented’ and ‘content-oriented’ factors in such ‘epistemic activities’ as religious proving, experiencing, and verifying. Mavrodes shows in particular that the formal model of logical soundness, i.e. valid form and true premises, has but limited application to proving, experiencing, and verifying as ways of (...) giving good reasons for religious belief. In this essay, I will show how Mavrodes' analysis of the logic of religious belief can be extended by substituting a procedural model of logical soundness for the truth-functionally formal model that he adopts. I will show further why it is desirable and, in certain instances, vital to extend his analysis in this manner. Along the way, I will explain why the extension that I am advocating augments Mavrodes' original analysis without substantially altering it or sacrificing any of its original analytical virtues. (shrink)

This paper presents an integralist approach to Jaina logic. This is built around an analysis of the pivotal notion of antarvyāpti in Jaina logic. It is shown in this connection why antarvyāpti needs to be considered the ‘Core Perspective/problem’ of Jaina logic. Next, it is shown how all the salient features of Jaina logic (as viewed from its language-oriented perspective and the epistemic perspective respectively) stand intimately related to the so-called core perspective. In the remaining sections of the paper topics (...) like relationship of the core perspective i) to various non-standard systems of logic [DL, FL, NMR etc.,], ii) to the four pillars and to the eight MPC’s of Jaina philosophy, iii) to some bluntly unimaginative ways of looking at Jaina logic [e.g., Ducko-Rabbitism], iv) to the scheme of classification of propositions in Jaina logic, v) to the resulting conceptual economies related to methodology, and especially to a unified theory of Hetvābhāsa and, finally, vi) to a re-assessment of Frege-Husserl discord in the light of the significance of Jñānātmakatā vs Vākyātmakatā in Jaina logic, etc., have been discussed. (shrink)

A first-order structure $\mathfrak {A}$ is called monadically stable iff every expansion of $\mathfrak {A}$ by unary predicates is stable. In this paper we give a classification of the class $\mathcal {M}$ of $\omega $ -categorical monadically stable structure in terms of their automorphism groups. We prove in turn that $\mathcal {M}$ is the smallest class of structures which contains the one-element pure set, is closed under isomorphisms, and is closed under taking finite disjoint unions, infinite copies, and finite index (...) first-order reducts. Using our classification we show that every structure in $\mathcal {M}$ is first-order interdefinable with a finitely bounded homogeneous structure. We also prove that every structure in $\mathcal {M}$ has finitely many reducts up to interdefinability, thereby confirming Thomas’ conjecture for the class $\mathcal {M}$. (shrink)

ABSTRACT: This paper traces the earliest development of the most basic principle of deduction, i.e. modus ponens (or Law of Detachment). ‘Aristotelian logic’, as it was taught from late antiquity until the 20th century, commonly included a short presentation of the argument forms modus (ponendo) ponens, modus (tollendo) tollens, modus ponendo tollens, and modus tollendo ponens. In late antiquity, arguments of these forms were generally classified as ‘hypothetical syllogisms’. However, Aristotle did not discuss such arguments, nor did he call any (...) arguments ‘hypothetical syllogisms’. The Stoic indemonstrables resemble the modus ponens/tollens arguments. But the Stoics never called them ‘hypothetical syllogisms’; nor did they describe them as ponendo ponens, etc. The tradition of the four argument forms and the classification of the arguments as hypothetical syllogisms hence need some explaining. In this paper, I offer some explanations by tracing the development of certain elements of Aristotle’s logic via the early Peripatetics to the logic of later antiquity. I consider the questions: How did the four argument forms arise? Why were there four of them? Why were arguments of these forms called ‘hypothetical syllogisms’? On what grounds were they considered valid? I argue that such arguments were neither part of Aristotle’s dialectic, nor simply the result of an adoption of elements of Stoic logic, but the outcome of a long, gradual development that begins with Aristotle’s logic as preserved in his Topics and Prior Analytics; and that, as a result, we have a Peripatetic logic of hypothetical inferences which is a far cry both from Stoic logic and from classical propositional logic, but which sports a number of interesting characteristics, some of which bear a cunning resemblance to some 20th century theories. (shrink)

In the second half of Book One of the Prior Analytics, Aristotle reflects on the application of the formalized logic has developed in the first half, focusing particularly on the non-modal or assertoric syllogistic developed in the first seven chapters. These reflections lead Alexander of Aphrodisias, who was a great exponent of Aristotelianism in the late second century, to explain and sometimes argue against subsequent developments of Aristotle's logic and alternatives and objections to it, ideas associated mainly with his colleague (...) Theophrastus and with the Stoics. The other main topic of this part of the Prior Analytics is the specification of a method for discovering true premises needed to prove a given proposition. Aristotle's presentation is sometimes difficult to follow, and Alexander's discussion is extremely helpful to the uninitiated reader. In his commentary on the final chapter translated in this volume, Alexander provides an insightful account of Aristotle's criticism of Plato's method of division. (shrink)

. In the XIXth century there was a persistent opposition to Aristotelian logic. Nicolai A. Vasiliev (1880–1940) noted this opposition and stressed that the way for the novel – non-Aristotelian – logic was already paved. He made an attempt to construct non-Aristotelian logic (1910) within, so to speak, the form (but not in the spirit) of the Aristotelian paradigm (mode of reasoning). What reasons forced him to reassess the status of particular propositions and to replace the square of opposition (...) by the triangle of opposition? What arguments did Vasiliev use for the introduction of new classes of propositions and statement of existence of various levels in logic? What was the meaning and role of the “method of Lobachevsky” which was implemented in construction of imaginary logic? Why did psychologism in the case of Vasiliev happen to be an important factor in the composition of the new ‘imaginary’ logic, as he called it? (shrink)

In the Hanafī madhab (school law), al-hukm al-taklifī have been determined in different categories, taking into account that the relevant evidence is conjecture-conclusive in terms of certitude-dalāla and whether the request is binding or not. In general terms, it is stated in the usūlworks that the orders and prohibitions that are fixed with definite evidence are fard and haram, and the binding provisions in which there is suspicion and doubt in their evidence are wājib and tahrīman makrūh. However, some “fards” (...) have been identified, which have stronger effects than “wājib” in the Hanafi fiqh doctrine, and which are subject to suspicion and doubt in their evidence, and therefore there is disagreement about their ruling among fiqh scholars. The Hanafī jurists of the later period adopted the concept of “al-fard al-amalī (al-zannī)” for such judgments. In addition, while examining the propositional provisions in the Hanafī Usūl literature, the wājib is generally compared with the fard. However, in some of the later usūl works and in many other issues in fiqh, wājib is compared with sunnah, and its connection with sunnah or its distinction from sunnah is considered as an important issue. In this article, it is aimed to clarify the nature of the “al-fard al-amalī”, which expresses an intermediate category in the classification of propositional provisions in the Hanafī school, and similarly, attention is drawn to the existence of some “haram” in the Hanafī school of which there is doubt. Some of the evaluations made by Hanafi jurists regarding the distinction between wajib and sunnah, taking into account the quality of the evidence, have been discussed and it has been tried to determine what is the ruling of abandoning the muakkad sunnah, which is often not explicitly included in the proposed judgment classifications made depending on the nature of the relevant evidence. In this study, it has been tried to make a comparative and chronological reading between the usūl and furū works in Hanafī school. (shrink)

In this paper I defend the existence of a Dialectical school proper against criticisms brought forward by Klaus Döring and by Jonathan Barnes. Whereas Döring claims that there was no Dialectical school separate from the Megarians, Barnes takes issue with my claim (argued for in “Dialektiker und frühe Stoiker bei Sextus Empiricus”) that most of the reports in Sextus on the dialecticians refer to members of the Dialectical school. Barnes contends that these dialecticians are in fact Stoic logicians. As against (...) Döring, I argue that the passage in Diogenes Laertius II 113 (first drawn attention to by David Sedley) which talks of a the Megarian Stilpo winning over disciples from the Dialecticians is not refuted by Döring’s arguments. It clearly shows that the Dialecticians and the Megarians at the time were taken to be different philosophical sects. As against Barnes I insist on the differences between the report in Ps.-Galen’s Historia 9 and the Sextan report on the theory of sign in AM VIII. These reports offer incompatible definitions of the indicative sign. Moreover, the classification of simple propositions reported by Sextus at AM VIII 96f. cannot be a truncated version of the (Stoic) list to be found in Diogenes Laertius VII 69f. since in Sextus’ report one of the three classes of simple propositions is labelled middle (meson). This is a certain sign that we are dealing with a triad, and hence that this list is meant to be complete. Therefore the classification found in Sextus and attributed to the dialecticians and the one in Diogenes Laertius reporting Stoic material do come from different sources. (shrink)

One important distinction in the debate over the nature of epistemic justification is the one between propositional and doxastic justification. Roughly, while doxastic justification is a property of beliefs, propositional justification is a property of propositions. On a rather common view, which accounts for doxastic justification in terms of propositional justification plus the so-called ‘basing relation’, propositional justification is seen as the prior notion, and doxastic justification is explained in terms of it. According to the opposing view, the direction (...) of explanation needs to be reversed, and doxastic justification should be seen as primary. I distinguish between two notions of priority, and I argue that they give different verdicts with respect to the issue of which notion of justification comes first. The lesson may be taken to be that propositional and doxastic justification are in a relation of intertwinement. (shrink)

Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and (...) additionally two types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

Chapter 1 First Person Access to Mental States. Mind Science and Subjective Qualities -/- Abstract. The philosophy of mind as we know it today starts with Ryle. What defines and at the same time differentiates it from the previous tradition of study on mind is the persuasion that any rigorous approach to mental phenomena must conform to the criteria of scientificity applied by the natural sciences, i.e. its investigations and results must be intersubjectively and publicly controllable. In Ryle’s view, philosophy (...) of mind needs to adopt an antimentalist stance to achieve this aim. Antimentalism not only definitively rejects the idea that mind is a substance separated from the body, it also denies that mental phenomena radically differ from physical phenomena by virtue of several unique features. Most problematically, mental phenomena have a conscious character (mental states are related to specific qualitative feelings) and are accessible only to the first-person (only the subject knows directly what s/he is experiencing inside his/her mind). Ryle takes a strong stance on antimentalism going so far as to maintain that an approach to mind which aims to meet the criteria of scientificity set by the natural sciences must avoid any reference to internal, unobservable mental states. In his view (which is considered a specifically philosophical version of psychological behaviorism and also addresses questions put forward in psychological research), mental states can be redescribed in terms of behavioral dispositions. In this chapter, we address the historical roots of the antimentalist view and analyze its relation to the later tradition of research on mind. We show that, compared to the antimentalist stance, functionalism and cognitivism take a step back when they maintain that direct reference to mental states is necessary since mental states cause and therefore explain human behavior. This step backwards is often interpreted as a return to mentalism. However, this is only partially true. Indeed, we suggest that these later traditions retain one important element of Ryle’s antimentalism, i.e. the idea that mental states must be uniquely identified using external and publicly observable criteria, while excluding any reference to introspection and those qualitative dimensions of a mental state, which are accessible only to the first-person. According to the perspective we put forward, this epistemological stance has continued to influence contemporary research on mind and current philosophical and psychological theories which both tend to exclude the subjective qualities of human experience from their accounts of how the mind works. The issue we raise here is whether this is legitimate or whether subjective qualities do play a role with respect to the way our mind works. The conclusion of this chapter anticipates the argument the book makes in in favor of this latter position, starting from a particular angle, i.e. the problem of how we categorize concepts related to our internal states. -/- Chapter 2 The Misleading Aspects of the Mind/Computer Analogy. The Grounding Problem and the Thorny Issue of Propriosensitive Information -/- Abstract. After the crisis of behaviorism, cognitivism and functionalism became the predominant models in the field of psychology and of philosophy, respectively. Their success is mainly due to the new key they use for interpreting mental processes: the mind/computer analogy. On the basis of this analogy, mental operations are seen as cognitive processes based on computations, i.e. on manipulations of abstract symbols which are in turn understood as informational unities (representations). This chapter identifies two main problems with this model. The first is how these symbols can relate to and communicate with perception and thus allow us to identify and classify what we perceive through the senses. Here we limit ourselves to presenting this issue in relation to the classical symbol grounding problem originally put forward by Harnad on the basis of Searle’s Chinese room argument. An attempt to address the problem raised here will be made in chap. 3. The second point we discuss in relation to the mind/computer analogy concerns the idea of information it fosters. Indeed, following this analogy, information is something available in the external world which can be captured by the senses and transmitted to the central system without being influenced or modified by the procedures of transmission. This perspective does not take into account that – unlike computers – in living beings information is acquired by means of the body. As Ulric Neisser has already pointed out, the body is itself an informational source that provides us with additional sensory experience that influences (modifies or complements) the information extracted from the external world by the senses. To develop this line of analysis and to determine exactly what information is provided by the body and how this might influence cognition, we examine Sherrington’s and Gibson’s positions. Moving on from their views, we qualify bodily information in terms of ‘proprioception’. We use ‘proprioception’ in a broad sense to describe any kind of experience we have of our internal states (including postural information as well as sensations related to the general state of the body and its parts). Following Damasio’s and Craig’s studies, we further elaborate this position, arguing that living beings are equipped with an internal propriosensitive monitoring system which maps all the changes that constantly occur in our body and that give us perceptual (‘proprioceptive’ or propriosensitive) information about what happens inside us. Moreover, relying on Goldie’s and Ratcliffe’s view, we show that emotional information can also be considered as a form of ‘proprioception’ which contributes to determining everything we perceive. This analysis leads us to the second main thesis of this book: ‘proprioception’ is a form of internal perception and it is an essential component of the sensory information we can access and use for all cognitive purposes. -/- Chapter 3 Semantic Competence from the Inside: Conceptual Architecture and Composition -/- Abstract. Concepts are essential constituents of thought: they are the instruments we use to categorize our experience, i.e. to classify things and group them together in homogeneous sets. Here we define concepts as the internal mental information (representations) that allows us, among other things, to master words in natural language. By analyzing the way in which individuals master word meanings we explore a number of hypotheses regarding the nature of concepts. Following Diego Marconi’s research, we differentiate between two kind of abilities that underpin lexical competence – so-called ‘referential’ and ‘inferential competence’ – and we suggest that, in order to support these abilities, concepts must also include two corresponding kinds of information, i.e. inferential and referential information. We point out that the most widely used and acknowledged theories of concepts do not make this distinction, instead broadly characterizing the information used for categorization in terms of propositionally described feature lists. However, we show that while feature lists can explain inferential competence, they do not account for referential competence. To address the issue of referential competence we examine Ray Jackendoff’s hypothesis that to account for the possibility of linking perceptual and conceptual information we need to assume the existence of a (visual) representation that encodes the geometric and topological properties of objects and bridges the gap between the percept and the concept. Furthermore, we analyze the extension of this work by Jesse Prinz who introduced the notion of a proxytype, a perceptual representation of a class of objects that incorporates structural and parametric information related to their appearance. However, as we point out, proxytypes can only explain the relationship between perception and concepts with respect to instances that can be perceived through the senses and that belong to the same class by virtue of their physical similarity. We suggest that this notion be extended to include larger conceptual classes. To accomplish this, we further develop Mark Johnson, George Lakoff and Jean Mandler’s idea of a schematic image and argue that conceptual representations include a perceptual schema. Perceptual schemata are non-linguistic, structured experiential gestalts (patterns or maps) that make use of information taken from all sensory modalities, including body perception. They accomplish a quasi-conceptual function: they allow us to recognize and to classify different instances. In this work, we hypothesize that perceptual schemata are an essential component of concepts, but not identical to them. Instead, we suggest that concepts include both perceptual and propositional information with perceptual schemata providing the ‘perceptual core concept’ that grounds related propositional information. -/- Chapter 4 In the Beginning There Were Categories. The Bodily Origin of Prelinguistic Categorical Organization: The Example of Folkbiological Taxonomies -/- Abstract. Studies of categorization in psychology and the cognitive sciences have made use of the notions of ‘category’ and ‘concept’ without precisely defining what is meant by either; in fact, often these terms have been used as synonyms, making it difficult to address specific issues related to conceptual development. This chapter begins by discussing the definitions of, as well as the distinctions between, ‘categories’ and ‘concepts’ in the classical philosophical tradition (Aristotle, Kant and Husserl). We introduce our view of categories with reference to Husserl. Categorization is defined as the way in which our experience is originally (pre-linguistically) organized in a passive and fully unconscious manner on the basis of universal structuring principles. Conceptualization is explained as a later process in which the earlier categorical macro-classes are further subdivided into more specific and detailed sets; this later process also relies on linguistic learning and exposure to culture. On the basis of Ray Jackendoff, Jean Mandler, George Lakoff and Mark Johnson’s work, we hypothesize that categorization is a two-step process that begins with the formation of homogeneous sets of entities partitioned into regions that describe the ontological boundaries of the objects that humans perceive (categories) and continues at a later stage with the development of more specific classifications (concepts). In this chapter, we mainly address three related issues: Why should we assume that there is categorical organization which precedes the development of a conceptual system? How do categories and concepts relate to each other? Shall we hypothesize that categories are innate or that they are formed before concepts on the basis of information and organizational structure available at a very early developmental stage? We show that categorical partitions are necessary for categorization and, following Mandler, that the general categories we form at an early age do not match our adult superordinate concepts. As for the third issue, we argue that there might be no need to assume that categories are innately present in the human mind, since their formation can be explained – at least in certain cases – by basic mechanisms that work on body (propriosensitive) information. This hypothesis will not be discussed in general, but in relation to a particularly relevant example of categorical partition, i.e. the folk-biological dichotomy between ANIMATE/INANIMATE. This is compared with other dichotomies that derive from it, but are not directly categorical such as LIVING/NON-LIVING and BIOLOGICAL/NON-BIOLOGICAL. -/- Chapter 5 Internal States: From Headache to Anger. Conceptualization and Semantic Mastery -/- Abstract. Here we ask if we can also apply the distinction between referential and inferential competence we introduced in Chapter 3 to words that do not refer to things that are perceived using the external senses, especially to words/concepts that denote bodily experiences (such as pain, thirst, hunger, etc.) or emotions. We introduce and discuss the hypothesis that – even though such words/concepts do not refer to intersubjectively identifiable entities in the external world – they do have a kind of referent that can be accessed via direct perception, more specifically ‘proprioception’, as we have defined it in terms of all propriosensitive information we can consciously access. In the first part of the chapter, we specifically consider terms denoting bodily experiences such as ‘pain’ or ‘hunger’ and argue that their referents are identified and classified from a first-personal point of view on the basis of four main characteristics: their specific intensity, their localization in the body, their co-occurrence with other signals and above all their specific qualitative sensations. Emotions are addressed in the second part of the chapter. We suggest that there is a continuity between bodily experiences and emotions. In particular, we argue for a perceptual theory of emotions in line with that proposed by James and Lange at the end of the 19th century and developed more recently by authors such as Damasio (see also chap. 2§5, §6). The hypothesis we put forward is that the referential information that supports the categorization of emotions and therefore also our mastery of terms referring to emotions consists in the perception (i.e. the ‘proprioception’) of those bodily states and changes in bodily states which constitute our emotional experience. In the context of this discussion we examine some objections to this line of reasoning that arise from a cognitivist perspective and following authors such as Oatley, Johnson-Laird and Frijda, we distinguish between basic emotions that can be identified and classified solely on the basis on how they feel and complex emotions whose identification and classification additionally depends on cognitive factors. To describe how emotions are identified and classified on the basis of how they feel, we rely on Marcel and Lambie’s distinction between an ‘emotion state’ and an ‘emotion experience’. Both notions indicate kinds of feelings that we consciously experience. However, they describe first-order and second order emotion awareness respectively. The emotion state is the feeling we have of the bodily states and changes that occur when we are experiencing an emotion, while the emotion experience is the fully developed and integrated emotion we both experience and are, with reflection, aware of experiencing. On the basis of this differentiation, we also show that the same characteristics that aid in the identification and classification of bodily experiences (specific qualitative sensations; somatic localization; specific intensity; presence/absence of specific concomitant sensations) can also be used for the identification and classification of emotions – at least basic emotions. In the last two sections of the chapter we present some clinical evidence on the semantic competence of people who suffer from Alexithymia and Autism Spectrum Disorder which supports the conclusions of our preceding analyses. -/- Chapter 6 The ‘Proprioceptive’ Component of Abstract Concepts -/- Abstract. In this chapter, we address the issue of whether the mastery of abstract words requires only inferential knowledge and thus, if the concepts that support the mastery of abstract words include only linguistic information. We start by differentiating the notions of ‘abstract’ and ‘general’ which are often erroneously confused. We then identify a strict definition of abstract, as contrasted with ‘concrete’, that applies to words or concepts whose referent cannot be experienced by the senses. We argue that abstract words/concepts would be better described as theoretical, because they are usually conceived as structured sets of inferential knowledge expressed linguistically; that is, as small theories. Pointing out parallels with Carnap’s analysis of this issue in philosophy of science, we hypothesize that words/concepts denoting non-observable entities are not all ‘equally theoretical’, because their link to sensory experience can be stronger or weaker. We revive the distinction, inspired by Quine, between theoretical and intertheoretical concepts/words. This distinction relies on the fact that the former – unlike the latter – retains a strong, although indirect, connection with perception. In Quine’s discussion, perception is understood uniquely in terms of observability, i.e. of external sensory experience. Here we argue, however, that bodily, ‘proprioceptive’ (i.e. propriosensitive) experience can also serve to referentially ground theoretical (i.e. abstract) concepts/words. We frame this issue using the example of the theoretical concept ‘freedom’ and Lakoff’s hypothesis that this concept is developed on the basis of bodily information. We contrast this with the example of ‘democracy’ which more closely resembles an intertheoretical concept/word. Furthermore, we show that one of the classical views put forward in psycholinguistic research to explain how abstract concepts are mentally represented – i.e. Paivio’s Dual Coding Theory – points in the same direction as our analysis. The same is true of Barsalou’s work suggesting that we use internal information to understand at least some abstract words. To sustain this position, we put forward two lines of evidence: the first comes from psycholinguistic studies while the second examines deficits of semantic competence exhibited by people with Autism Spectrum Disorder. On the basis of our analysis, we put forward a classification that distinguishes between different kinds of concreteness and different degrees of abstraction: concepts/words referring to body experiences and basic emotions are described as analogous to concrete concepts/words because they are grounded in perceptual (i.e. propriosensitive) experience, while abstract concepts/words are considered more or less abstract depending on whether they are intratheoretical (and rely entirely on inferential information) or theoretical (and are partially grounded in perceptual – or more often in propriosensitive perceptual – information). In the last section of the chapter we consider two scales that have been used in psycholinguistic research to measure the degree of concreteness vs. abstractness of words and we show that – used conjointly – they can provide a measure of the internal vs. external grounding of specific words. (shrink)

A classification of the global catastrophic risks of AI is presented, along with a comprehensive list of previously identified risks. This classification allows the identification of several new risks. We show that at each level of AI’s intelligence power, separate types of possible catastrophes dominate. Our classification demonstrates that the field of AI risks is diverse, and includes many scenarios beyond the commonly discussed cases of a paperclip maximizer or robot-caused unemployment. Global catastrophic failure could happen at various levels of (...) AI development, namely, before it starts self-improvement, during its takeoff, when it uses various instruments to escape its initial confinement, or after it successfully takes over the world and starts to implement its goal system, which could be plainly unaligned, or feature-flawed friendliness. AI could also halt at later stages of its development either due to technical glitches or ontological problems. Overall, we identified around several dozen scenarios of AI-driven global catastrophe. The extent of this list illustrates that there is no one simple solution to the problem of AI safety, and that AI safety theory is complex and must be customized for each AI development level. (shrink)

Propositions are items that play certain theoretical roles: (among other things) they serve as objects of belief, fundamental bearers of truth-value, and the semantic contents of sentences. In this paper, I examine the key role Ockham played in the development of later medieval debates about propositions. Unlike contemporary philosophers, who typically assume that propositions are abstract entities of some sort, Ockham holds a nominalist view of propositions according to which token entities—namely, token mental representations—play the proposition (...) role. While Ockham's view generates a great deal of controversy and discussion I argue that it isn't his nominalism about propositions per se that proves objectionable. Indeed, insofar as few medieval philosophers countenance abstract objects, the view that token mental representations function as fundamental bearers of truth and as the semantic content of sentences is fairly standard. What does prove controversial, I claim, is Ockham's contention that token mental states—what he refers to as ‘mental sentences’—serve as objects for propositional attitudes. My discussion in the paper explores both (i) the reasons why Ockham’s attempt to treat mental representations as objects for belief and knowledge proved controversial and (ii) what alternative positions emerged in the subsequent debate about propositional attitudes. -/- . (shrink)

„Errors are the greatest obstacles to the progress of science; to correct such errors is of more practical value than to achieve new knowledge,“ asserted Eugen Bleuler. Basic error of several prevailing classification schemes of pathological conditions, as for example ICD-10, lies in confusing and mixing symptoms with diseases, what makes them unscientific. Considering the need to bring order into the chaos and light into terminological obscureness, I introduce the Causal classification of diseases originating from the notion of bodily wholeness (...) and causality of its loss. (shrink)

Epistemic interactivism, an aspect of the epistemology of representation, is a cognitive intercourse between the subject and person-object of knowledge that underlies the conception of a person in Esan thought. Traditional theories of representation (especially as presented by Descartes and Locke) separated the subject from the object of knowledge, and classified persons and non-persons as object of knowledge. This separation and classification ignored the cognitive and moral values of persons, disengaged the subject from the world and burden the self with (...) solitude and isolation, and created propositional knowledge that dehumanised the relationship between the subject and person-object of knowledge. Within the theoretical framework of Hegel's epistemic interactivism (meliorated by Bowne's personalism) and Esan epistemology (in African philosophy), this book exposes the epistemic interactivism of Esan thought which unified the subject and person-object of knowledge on cognitive and moral grounds; thus providing adequate basis for personhood and resolving the dehumanised relationship between the subject and person-object of knowledge in the traditional theories of representation. Within the context of epistemic injustices, this book analyses the interactivist epistemology of indigenous Esan thought as an alternative epistemological conception of the person-object of knowledge which resolves the deficiency of the traditional theories of representation. (shrink)