This paper focuses on the interpretation of the Italian approximative adverb quasi 'almost' by primarily looking at cases in which it modifies temporal connectives, a domain which, to our knowledge, has been largely unexplored thus far. Consideration of this domain supports the need for a scalar account of the semantics of quasi (close in spirit to Hitzeman's semantic analysis of almost, in: Canakis et al. (eds) Papers from the 28th regional meeting of the Chicago Linguistic Society, 1992). When paired (...) with suitable analyses of temporal connectives, such an account can provide a simple explanation of the patterns of implication that are observed when quasi modifies locational (e. g. quando 'when'), directional (e. g. fino 'until' and da 'since'), and event-sequencing temporal connectives (e. g. prima 'before' and dopo ' after'). A challenging empirical phenomenon that is observed is a contrast between the modification of fino and da by quasi, on the one hand, and the modification of prima and dopo by the same adverb, on the other. While quasi fino and quasi da behave symmetrically, a puzzling asymmetry is observed between quasi prima and quasi dopo. To explain the asymmetry, we propose an analysis of prima and dopo on which the former has the meaning of the temporal comparative più presto 'earlier', while the latter is seen as an atomic predicate denoting temporal succession between events (Del Prete, Nat Lang Semantics 16: 157-203, 2008). We show that the same pattern of implication observed for quasi prima is attested when quasi modifies overt comparatives, and propose a pragmatic analysis of this pattern that uniformly applies to both cases, thus providing new evidence for the claim that prima is underlyingly a comparative. A major point of this paper is a discussion of the notion of scale which is relevant for the semantics of quasi', in particular, we show that the notion of Horn (entailment-based) scale is not well-suited for handling modification of temporal connectives, and that a more general notion of scale is required in order to provide a uniform analysis of quasi as a cross-categorial modifier. (shrink)

FDE, LP and K3 are closely related to each other and admit of an intuitive informational interpretation. However, all these logics are co-NP complete, and so idealized models of how an agent can think. We address this issue by shifting to signed formulae, where the signs express imprecise values associated with two bipartitions of the corresponding set of standard values. We present proof systems whose operational rules are all linear and have only two structural branching rules that express a generalized (...) Principle of Bivalence. Each of these systems leads to defining an infinite hierarchy of tractable approximations to the respective logic, in terms of the maximum number of allowed nested applications of the two branching rules. Further, each resulting hierarchy admits of an intuitive 5-valued non-deterministic semantics. (shrink)

Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various ways (...) can be approximated by finite-valued logics. It is shown that the minimal m-valued logic for which a given calculus is strongly sound can be calculated. It is also investigated under which conditions propositional logics can be characterized as the intersection of (effectively given) sequences of finite-valued logics. (shrink)

The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can be (...) naturally extended to useful nonclassical logics such as First-Degree Entailment (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3 ) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural rule(s), can be used as a direct-proof and a refutation method, and is interesting independently of the approach in that it has an exponential speed-up on its tableau system counterpart. The latter given that we introduce a new class of examples which we prove to be hard for all tableau systems sharing the V/& rules with the classical one, but easy for their analogous KE-style systems. Then we focus on showing that each of our KE/KI-style systems naturally yields a hierarchy of tractable depth-bounded approximations to the respective logic, in terms of the maximum number of allowed nested applications of the branching rule(s). The rule(s) express(es) a generalized rule of bivalence, is (are) essentially cut rule(s) and govern(s) the manipulation of virtual information, which is information that an agent does not hold but she temporarily assumes as if she held it. Intuitively, the more virtual information needs to be invoked via the branching rule(s), the harder the inference is for the agent. So, the nested application the branching rule(s) provides a sensible measure of inferential depth. We also show that each hierarchy approximating FDE, LP, and K3 , admits of a 5-valued non-deterministic semantics; whereas, paving the way for a semantical characterization of the hierarchy approximating IPL, we provide a 3-valued non-deterministic semantics for the full logic that fixes the meaning of the connectives without appealing to “structural” conditions. -/- Moreover, we show a super-polynomial lower bound for the strongest possible version of clausal tableaux on the well-known class of “truly fat” expressions (which are easy for KE), settling a problem left open in the literature. Further, we investigate a hierarchy of tractable depth-bounded approximations to CPL based only on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search. (shrink)

Three influential forms of realism are distinguished and interrelated: realism about the external world, construed as a metaphysical doctrine; scientific realism about non-observable entities postulated in science; and semantic realism as defined by Dummett. Metaphysical realism about everyday physical objects is contrasted with idealism and phenomenalism, and several potent arguments against these latter views are reviewed. -/- Three forms of scientific realism are then distinguished: (i) scientific theories and their existence postulates should be taken literally; (ii) the existence of unobservable (...) entities posited by our most successful scientific theories is justified scientifically; and (iii) our best current scientific theories are at least approximately true. It is argued that only some form of scientific realism can make proper sense of certain episodes in the history of science. -/- Finally, Dummett’s influential formulation of semantic issues about realism considered. Dummett argued that in some cases, the fundamental issue is not about the existence of entities, but rather about whether statements of some specified class (such as mathematics) have an objective truth value, independently of our means of knowing it. Dummett famously argued against such semantic realism and in favor of anti-realism. The relation of semantic realism to the metaphysical construal of realism and Dummett’s main argument against semantic realism is examined. (shrink)

Abstract: We propose a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this semantic view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this (...) theory provides a general framework within which we can understand the relation between vague terms and concepts and the corresponding crisp portions of reality. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. Central to our approach is the idea that judgments about reality involve in every case (1) a separation of reality into foreground and background of attention and (2) the feature of granularity. On this basis we attempt to show that even vague judgments made in naturally occurring contexts are not marked by truth-value indeterminacy. We distinguish, in addition to crisp granular partitions, also vague partitions, and reference partitions, and we explain the role of the latter in the context of judgments that involve vagueness. We conclude by showing how reference partitions provide an effective means by which judging subjects are able to temper the vagueness of their judgments by means of approximations. (shrink)

Shared conceptualization, in the sense we take it here, is as recent a notion as the Semantic Web, but its relevance for a large variety of fields requires efficient methods of extraction and representation for both quantitative and qualitative data. This notion is particularly relevant for the investigation into, and construction of, semantic structures such as knowledge bases and taxonomies, but given the required large, often inaccurate, corpora available for search we can get only approximations. We see fuzzy description logic (...) as an adequate medium for the representation of human semantic knowledge and propose a means to couple it with fuzzy semantic networks via the propositional Łukasiewicz fuzzy logic such that these suffice for decidability for queries over a semantic-knowledge base such as “to what degree of sharedness does it entail the instantiation C(a) for some concept C” or “what are the roles R that connect the individuals a and b to degree of sharedness ε.” . (shrink)

A computer can come to understand natural language the same way Helen Keller did: by using “syntactic semantics”—a theory of how syntax can suffice for semantics, i.e., how semantics for natural language can be provided by means of computational symbol manipulation. This essay considers real-life approximations of Chinese Rooms, focusing on Helen Keller’s experiences growing up deaf and blind, locked in a sort of Chinese Room yet learning how to communicate with the outside world. Using the SNePS (...) computational knowledge-representation system, the essay analyzes Keller’s belief that learning that “everything has a name” was the key to her success, enabling her to “partition” her mental concepts into mental representations of: words, objects, and the naming relations between them. It next looks at Herbert Terrace’s theory of naming, which is akin to Keller’s, and which only humans are supposed to be capable of. The essay suggests that computers at least, and perhaps non-human primates, are also capable of this kind of naming. (shrink)

In the paper, certain rational postulates for protocols describing real communicating are introduced.These rational postulates, on the one hand, allow assigning a certain typology of real systems of interactions, which is consistent with the reality of epistemic argumentation in systems of communicating, and on the other one – defining rules of using argumentation in real situations. Moreover, the presented postulates for protocols characterize information networks and administering knowledge in real interactivity systems. Due to the epistemic character of the considerations, the (...) problem undertaken in the paper concerns working out fundamental assumptions that refer to building of epistemic logics. They allow establishing the correctness of the discourse defined by rational postulates of protocols of real communication. In the context of the presented problem there are the following two research questions distinguished: 1) How do we determine the rule of building of real dynamic epistemic logics? and 2) How should we define semantics for these logics? Within the framework of considerations relating to the research questions asked, certain epistemic operators, relativized to types of communicating, are introduced. Basic logical relations between using these operators are established for these operators. The relations are presented by a diagram called the square of epis temic operators. On the basis of these logical relations some axioms for real dynamic epistemic logics are presented. The semantics of real dynamic epistem ic logics is extended by the methods of lower and upper approximation of formula evaluating. This allows defining ‘approximation Kripke models’. The results of conceptualization of knowledge on real premises of epistemic argum entation presented in this paper can be applied to rhetoric in real systems of interaction. (shrink)

Our ordinary assertions are often imprecise, insofar as the way we represent things as being only approximates how things are in the actual world. The phenomenon of assertoric imprecision raises a challenge to standard accounts of both the norm of assertion and the connection between semantics and the objects of assertion. After clarifying these problems in detail, I develop a framework for resolving them. Specifically, I argue that the phenomenon of assertoric imprecision motivates a rejection of the widely held (...) belief that a semantic theory for a language associates a single semantic value with each of the simple and complex expressions of that language, relative to the contexts in which they occur. Instead, I propose that we adopt a framework I call semantic pluralism. (shrink)

"Semantic dispositionalism" is the theory that a speaker's meaning something by a given linguistic symbol is determined by her dispositions to use the symbol in a certain way. According to an objection by Kripke, further elaborated in Kusch :156–163, 2005), semantic dispositionalism involves ceteris paribus-clauses and idealisations, such as unbounded memory, that deviate from standard scientific methodology. I argue that Kusch misrepresents both ceteris paribus-laws and idealisation, neither of which factually "approximate" the behaviour of agents or the course of (...) events, but, rather, identify and isolate nature's component parts and processes. An analysis of current results in cognitive psychology vindicates the idealisations involved and certain counterfactual assumptions in science generally. In particular, results suggest that there can be causal continuity between the dispositional structure of actual objects and that of highly idealised objects. I conclude by suggesting that we can assimilate ceteris paribus-laws with disposition ascriptions insofar as they involve identical idealising assumptions. (shrink)

In this paper, a special type of polysemantic words, that is, words with multiple meanings for the same part of speech, are analyzed under the name of neutrosophic words. These words represent the most dif cult cases for the disambiguation algorithms as they represent the most ambiguous natural language utterances. For approximate their meanings, we developed a semantic representation framework made by means of concepts from neutrosophic theory and entropy measure in which we incorporate sense related data. We show (...) the advantages of the proposed framework in a sentiment classification task. (shrink)

Analytical philosophy is ruled by the alliance of logic, linguistics and mathematics since its beginnings in the syllogistic calculus of terms and premises in Aristotle's Analytica protera, in the theories of medieval logic that dealt with what are Proprietatis Terminorum (significatio, suppositio, appellatio), in the theological apologetics of argumentation with the combinatorics of symbols by Raymundus Llullus in the work Ars Magna, Generalis et Ultima (1305-08), in what is presented as Theologia Combinata (cf. Tomus II.p.251) in Ars Magna Sciendi sive (...) Combinatoria by Athanasius Kircher (1669), in analytical combinatorics based in Leibniz's dissertation Ars Combinatoria (1666), where language is understood as a lingua characteristica and as a calculus ratiocinator, in the combinatorics of classes that have the meanings 1 or 0 given in the idea of Boolean functions (1854), in Frege's work Begriffschrift, eine der arithmeticeschen nachgebildete Fomelsprache des reinen Denkens (Concept letter, the language of formulas of pure thought made according to the model in arithmetical language), in Cantor's study of set theory / Grundlagen einer allgemeinen Mannigfaltigkeitstheorie (1883) and up to algorithms of fuzzy logic as a "means of approximate thinking that is in the human prior" (Zadeh, 1990) and fuzzy linguistics in computer semantics (Burghard B. Rieger, 1993). These are all the philosophical ideas of mathematicians and logicians that founded what we call logical pragmatism here as a demand that logic be absolutely used in every way in which it will dominate the grammar of language until logic itself becomes the philosophical grammar of the mind!!! (shrink)

This paper argues that knowledge of what it’s like varies along a spectrum from more exact to more approximate, and that phenomenal concepts vary along a spectrum in how precisely they characterize what it’s like to undergo their target experiences. This degreed picture contrasts with the standard all-or-nothing picture, where phenomenal concepts and phenomenal knowledge lack any such degreed structure. I motivate the degreed picture by appeal to (1) limits in epistemic abilities such as recognition, imagination, and inference, and (...) (2) the semantics of ‘knows what it’s like’ expressions. I argue that approximate phenomenal knowledge cannot be explained merely via determinable or vague phenomenal concepts. I develop a framework for systematizing approximate knowledge of phenomenal character. And I explain how my view challenges some standard assumptions about the acquisition conditions, requirements for mastery, and referential mechanisms of phenomenal concepts. (shrink)

ABSTRACTThis discussion note aims to contribute to the ongoing debate over the nature of scientific progress. I argue against the semantic view of scientific progress, according to which scientific progress consists in approximation to truth or increasing verisimilitude. If the semantic view of scientific progress were correct, then scientists would make scientific progress simply by arbitrarily adding true disjuncts to their hypotheses or theories. Given that it is not the case that scientists could make scientific progress simply by arbitrarily adding (...) true disjuncts to their hypotheses or theories, it follows that the semantic view of scientific progress is incorrect. (shrink)

This paper argues for an interpretation of Leibniz’s claim that physics requires both mechanical and teleological principles as a view regarding the interpretation of physical theories. Granting that Leibniz’s fundamental ontology remains non-physical, or mentalistic, it argues that teleological principles nevertheless ground a realist commitment about mechanical descriptions of phenomena. The empirical results of the new sciences, according to Leibniz, have genuine truth conditions: there is a fact of the matter about the regularities observed in experience. Taking this stance, however, (...) requires bringing non-empirical reasons to bear upon mechanical causal claims. This paper first evaluates extant interpretations of Leibniz’s thesis that there are two realms in physics as describing parallel, self-sufficient sets of laws. It then examines Leibniz’s use of teleological principles to interpret scientific results in the context of his interventions in debates in seventeenth-century kinematic theory, and in the teaching of Copernicanism. Leibniz’s use of the principle of continuity and the principle of simplicity, for instance, reveal an underlying commitment to the truth-aptness, or approximate truth-aptness, of the new natural sciences. The paper concludes with a brief remark on the relation between metaphysics, theology, and physics in Leibniz. (shrink)

While we typically think of culture as defined by geography or ethnicity (e.g., American culture, Mayan culture), the term also applies to the practices and expectations of smaller groups of people. Though embedded in the larger culture surrounding them, such subcultures have their own sets of rules like those that scientists do. Philosophy of science has as its main object of studio the scientific activity. A way in which we have tried to explain these scientific practices is from the actual (...) ontological commitments that scientists do through their scientific theories. Certainly, we know scientific theories through some specific scientific language, which is, in its turn, a subset of the natural language developed by a particular culture. This study is conducted to explore and evaluate some of the most important epistemological consequences of these ontological commitments, specially the so-called ‘truth-commitment’ and its relation with a linguistic-cultural framework. There is an interesting debate between advocates and opponents of scientific realistic view of the natural world. Some lines of scientific realism argumentation assure that: (i) Mature scientific theories are approximately true. (ii) There are entities and organisms in the world that correspond with the ontology presupposed by the best scientific theories within a specific domain of scientific research and (iii) The new acceptable scientific theories should explain why past theories were successful predecessors (Colyvan 2008, Cocchiarella 2007 & Laudan 1981). Contrary, anti- realist positions ensure against the realist’s true - claim that is a semantic commitment - that the purpose of scientific theories to found the truth it is simple an unattainable goal, especially if the kind of truth they are looking for is a corresponding relation between scientific theories and the ontology of the world. Anti-realist positions held that this relation could be circular and unknowable. I do believe that there is a deep confusion between the way in which we accede to the knowledge of the constitutive structures, entities and organisms of the world (which is an epistemological matter) and the way these structures, entities and organisms are (which is an ontological matter). It seems that there is a bridge between the epistemological and ontological aspect in need for conceptual clarification. I do propose that the type of link between the two extremes have to be linguistic in nature. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

In this paper I offer a defence of a Russellian analysis of the referential uses of incomplete (mis)descriptions, in a contextual setting. With regard to the debate between a unificationist and an ambiguity approach to the formal treatment of definite descriptions (introduction), I will support the former against the latter. In 1. I explain what I mean by "essentially" incomplete descriptions: incomplete descriptions are context dependent descriptions. In 2. I examine one of the best versions of the unificationist “explicit” approach (...) given by Buchanan and Ostertag. I then show that this proposal seems unable to treat the normal uses of misdescriptions. I then accept the challenge of treating misdescriptions as a key to solving the problem of context dependent descriptions. In 3. I briefly discuss Michael Devitt’s and Joseph Almog’s treatments of referential descriptions, showing that they find it difficult to explain misdescriptions. In 4. I suggest an alternative approach to DD as contextuals, under a normative epistemic stance. Definite descriptions express (i) what a speaker should have in mind in using certain words in a certain context and (ii) what a normal speaker is justified in saying in a context, given a common basic knowledge of the lexicon. In 5. I define a procedure running on contextual parameters (partiality, perspective and approximation) as a means of representing the role of pragmatics as a filter for semantic interpretation. In 6. I defend my procedural approach against possible objections concerning the problem of the boundaries between semantics and pragmatics, relying on the distinction between semantics and theory of meaning. (shrink)

The main objective of this dissertation is to philosophically assess how the use of informational concepts in the field of classical thermostatistical physics has historically evolved from the late 1940s to the present day. I will first analyze in depth the main notions that form the conceptual basis on which 'informational physics' historically unfolded, encompassing (i) different entropy, probability and information notions, (ii) their multiple interpretative variations, and (iii) the formal, numerical and semantic-interpretative relationships among them. In the following, I (...) will assess the history of informational thermophysics during the second half of the twentieth century. Firstly, I analyse the intellectual factors that gave rise to this current in the late forties (i.e., popularization of Shannon's theory, interest in a naturalized epistemology of science, etc.), then study its consolidation in the Brillouinian and Jaynesian programs, and finally claim how Carnap (1977) and his disciples tried to criticize this tendency within the scientific community. Then, I evaluate how informational physics became a predominant intellectual current in the scientific community in the nineties, made possible by the convergence of Jaynesianism and Brillouinism in proposals such as that of Tribus and McIrvine (1971) or Bekenstein (1973) and the application of algorithmic information theory into the thermophysical domain. As a sign of its radicality at this historical stage, I explore the main proposals to include information as part of our physical reality, such as Wheeler’s (1990), Stonier’s (1990) or Landauer’s (1991), detailing the main philosophical arguments (e.g., Timpson, 2013; Lombardi et al. 2016a) against those inflationary attitudes towards information. Following this historical assessment, I systematically analyze whether the descriptive exploitation of informational concepts has historically contributed to providing us with knowledge of thermophysical reality via (i) explaining thermal processes such as equilibrium approximation, (ii) advantageously predicting thermal phenomena, or (iii) enabling understanding of thermal property such as thermodynamic entropy. I argue that these epistemic shortcomings would make it impossible to draw ontological conclusions in a justified way about the physical nature of information. In conclusion, I will argue that the historical exploitation of informational concepts has not contributed significantly to the epistemic progress of thermophysics. This would lead to characterize informational proposals as 'degenerate science' (à la Lakatos 1978a) regarding classical thermostatistical physics or as theoretically underdeveloped regarding the study of the cognitive dynamics of scientists in this physical domain. (shrink)

Scientific realism is the view that the aim of science is to produce true or approximately true theories about nature. It is a view which not only is shared by many philosophers but also by scientists themselves. Regarding Kuhn’s rejection of scientific progress, Steven Weinberg once declared: “All this is wormwood to scientists like myself, who think the task of science is to bring us closer and closer to objective truth.” But such a realist view on scientific theories is not (...) without problems. The paper discusses some arguments for and against the ontological commitments that scientific theories may entail. The upshot is that scientific realism according to which the semantic content of theories should be understood literally is not sustainable. Instead, it is argued that only realism with respect to entities can be reasonably and practically maintained. Finally, the paper discusses structural realism which presents itself as a modern alternative to scientific realism which may meet both the optimistic no-miracle argument and the pessimistic meta-induction argument. My conclusion is that such a position is neither attractive nor defendable. (shrink)

Bu kitapta, Ebû İshâk es-Saffâr’ın (öl. 534/1139) kelâmî görüşleri, Telḫîṣü’l-edille li-ḳavâʿidi’t-tevḥîd adlı eserinde Allah’ın isimlerinin anlamlarını açıklarken yaptığı yorumlar çerçevesinde ele alınmaktadır. Ebû İshâk es-Saffâr, 6./12. yüzyıl Hanefî-Mâtürîdî âlimlerinden biridir. Kelâma dair Telḫîṣü’l-edille eserinde esmâ-i hüsnâ konusuna ayrıntılı olarak yer vermektedir. İki cilt hâlinde yayımlanan bu eserin yaklaşık üçte birlik bir kısmını esmâ-i hüsnâ konusu oluşturmaktadır. Bu kısım incelendiğinde, Saffâr’ın Allah’ın varlığı, birliği ve sıfatları ile ilgili konular başta olmak üzere pek çok konuyu 175 esmâ-i hüsnâya dayanarak izah ettiği görülmektedir. (...) O, esmâ-i hüsnâ bölümünde yer vermediği bazı isimlere ise müstakil başlıklar altında değinmektedir. Örneğin el-Mütekkelim ismi kelâm sıfatını bağlamında ve halku’l-Kur’ân ile icâz’ul-Kur’ân gibi konularla ilişkili bir şekilde ele almaktadır. Bu isimler de listeye dahil edildiğinde sayı 178’e ulaşmaktadır. Bu durumda eserin yarısını esmâ-i hüsnâ konusu teşkil etmektedir. -/- Saffâr, esmâ-i hüsnâ bölümünde alfabetik bir sıra içerisinde ele aldığı ilâhî isimleri öncelikle lugavî (semantik) yönden izah etmektedir. Sonrasında ise değerlendirdiği ilahî ismi, bir kelâm konusu ile bağlantı kurarak kelâmî perspektifle açıklamaktadır Esmâ-i hüsnâ temelinde ele alınan konuların hilâfet meselesi hariç diğer kelâm bahislerini kapsadığı görülmektedir. Saffâr öncesi Hanefî-Mâtürîdî kelâm literatürü içinde esmâ-i hüsnânın bu kadar kapsamlı ele alındığı başka bir eser bilinmemektedir. -/- Bu kitap; üç ana bölümden oluşmaktadır. “Metodolojik Çerçeve” başlıklı giriş bölümünde çalışmanın konusu, önemi, amacı, yöntemi ve kaynakları hakkında bilgi verilmiştir. Birinci bölümde Saffâr’ın yaşadığı sosyokültürel çevre olan Mâverâünnehir bölgesi ile Buhara ve Merv şehirlerinin siyasî, sosyal ve dinî durumu ortaya konulmaya çalışılmıştır. İkinci bölümde esmâ-i hüsna konusunun anlaşılmasına temel oluşturan isim, tesmiye, müsemmâ, sıfat ve vasf gibi kavramlar ile esmâ-i hüsnânın sayısı ve ihsâsı gibi kelâmî tartışmalara değinilmiştir. Sonrasında Saffâr öncesi dönemde kaleme alınan esmâ-i hüsnâ litaratürü hakkında bilgi verilmiştir. Bölüm sonuna Saffâr’ın rivayet ettiği 178 ilahî isme dair ayrıntılı bir tablo eklenmiştir. Üçüncü bölümde öncelikle, Saffâr’ın esmâ-i hüsnâyı izah ederken dikkate aldığı kelâmî ilkeler tespit edilmeye çalışılmıştır. Sonrasında ise Saffâr’ın Telḫîṣü’l-edille’de ilâhî isimleri açıklarken ortaya koyduğu kelâmî görüş ve değerlendirmeler belirlenerek sistematik bir şekilde kategorize edilmiştir. Bu kapsamda ele alınan her konunun sonuna ilgili ilâhî isimleri ve bağlantılı olduğu tartışmaları içeren tablolar eklenmiştir. Sonuç bölümünde ise Saffâr’ın esmâ-i hüsnâ anlayışına dayanan kelâm yöntemine dair ulaştığımız sonuçlara yer verilmiştir. Bu kitapta onun, esmâ-i hüsnânın %75’inde kelâmî yorumlarda bulunduğu ve bilgi-varlık bahsinden âhiret hayatına kadar bütün kelâm konularını esmâ-i hüsnâ ile bağlantılı yorumladığı tespit edilmiştir. Ulaşılan bu sonuçlar, Saffâr’ın kelâm anlayışının ilâhî isimlerin yorumuna dayandığını ortaya koymaktadır. [his book discusses the theological views of Abū Isḥāq al-Ṣaffār d. 534/1139), within the framework of his comments on the meanings of Allah’s names, provided in his work titled Talkhīṣ al-adilla. Abū Isḥāq al-Ṣaffār is one of the Ḥanafite-Māturīdite scholars in the 6th/12th century. In his work titled Talkhīṣ al-adilla li-qawāʿid al-tawḥīd on kalām, he spared extensive space for al-asmāʾ al-husnā. Approximately one third of this work, published in two volumes, is devoted to al-asmāʾ al-husnā. An examination of the related section reveals that al-Ṣaffār explains many issues, particularly those related to the existence, unity and attributes of Allah, based on 175 al-asmāʾ al-husnā. He mentions some of the names that he does not include in the al-asmāʾ al-husnā section under separate headings. For example, the name al-Mutakallim is addressed within the context of the attribute of kalām and in relation to subjects, such as the khalq al-Qurʾān and i‘jaz al-Qurʾān. Upon the addition of these names to the list, the number names reaches 178. This means that half of the work deals with the subject of al-asmāʾ al-husnā. -/- al-Ṣaffār lists the divine names in alphabetical order and explains them semantically in the chapter of al-asmāʾ al-husnā. Then he goes on to clarify each divine name through a theological lens with a specific reference to the subject of kalām. In the pre-Saffar Ḥanafite-Māturīdite theological literature, there is no other work that addresses al-asmāʾ al-husnā in such an extensive way. -/- This book consists of three main sections. The first section titled “Methodological Framework”, elaborates on the focus, significance, purpose and method of the study, along with the sources used. The first part describes the political, social and religious status of Transoxiana (Mā-warāʾ al-Nahr) region and the cities of Bukhara and Marw, the sociocultural environment in which Saffar lived. The second chapter addresses various concepts, which promote the understanding of al-asmāʾ al-husnā, such as name, tasmiya, musammā, attribute and qualification in addition to the theological debates such as the number and iḥṣāʾ of al-asmāʾ al-husnā. Then, it provides information about the al-asmāʾ al-husnā literature produced in the pre- Ṣaffār period. The end of each chapter comes with a detailed table with the 178 divine names mentioned by al-Ṣaffār. In the third chapter, the author initially discusses the theological principles that al-Ṣaffār considered while explaining the essence of al-asmāʾ al-husnā. This section also determines and systematically categorizes the theological views and evaluations put forward by al-Ṣaffār while explaining the divine names in Talkhīṣ al-adilla. The tables with the divine names and the related discussions can be seen at the end of the discussion for each subject. The last section presents the conclusions reached, regarding the kalām method based on al-Ṣaffār’s understanding of the essence of al-asmāʾ al-husnā. The present study revealed that he made theological interpretations in 75% of the al-asmāʾ al-husnā and interpreted all theological issues ranging from the subjects of knowledge and existence to the Afterlife in connection with the al-asmāʾ al-husnā. These results indicate that al-Ṣaffār's understanding of kalām is based on the interpretation of the divine names.]. (shrink)

Could there be a single logical system that would allow us to work simultaneously with classical, paraconsistent, and paracomplete negations? These three negations were separately studied in logics whose negations bear their names. Initially we will restrict our analysis to propositional logics by analyzing classical negation, ¬c, as treated by Classical Propositional Logic (LPC); the paraconsistent negation, ¬p, as treated through the hierarchy of Paraconsistent Propositional Calculi Cn (0 ≤ n ≤ ω); and the paracomplete negation, ¬q, as treated by (...) the hierarchy of Paracomplete Propositional Calculi Pn (0 ≤ n ≤ ω). In “Logics that are both paraconsistent and paracomplete” (1989), Newton da Costa proposed a system with approximate characteristics to what we are looking for. In the hierarchy of Non-Alethical Propositional Calculi Nn (0 ≤ n ≤ ω), only one negation is introduced (as primitive), called a “non-alethic” (¬n), whose operation preserves the properties of classical, or paraconsistent or paracomplete negation -- depending on the well or ill behavior of the formula connected to it. However, as we shall see, in the hierarchy Nn we can not reiterate negations with different behaviors in a same formula (e.g., ¬p¬cα or ¬q¬c¬p α), or even analyze a formula like ¬cα → ¬pα. In view of these problems, can we really say that the hierarchy Nn allows us to understand the relationships and interactions of the three types of negations? In order to deal with this, given the initial problem, we will present four axiomatic systems (KG) in which, unlike Nn, the three negations are directly introduced -- offering a semantics and a method of proofs by analytic tableaux. Through the KG Systems we will show how the negations interact, obtaining non-demonstrable theorems in LPC, Cn, Pn, and Nn (0 ≤ n ≤ ω). Finally, we will also offer a first-order extension for the KG Systems. (shrink)

The meaning of morpheme (a minimal unit of linguistic significance) cannot diverge from what it is taken to mean. But the meaning of a complex expression can diverge without limit from what it is taken to mean, given that the meaning of such an expression is a logical consequence of the meanings of its parts, coupled with the fact that people are not infallible ratiocinators. Nonetheless, given Chomsky’s distinction between competence (ability) and performance (ability to deploy ability), what a complex (...) expression means does, after a fashion, coincide with what it is taken to mean: to the extent that speaker-performance approximates to speaker-competence---i.e. to the extent that people are able to operationalize their linguistic competence---what speakers take complex expressions to mean coincides with they in fact mean; and herein lies an answer to the question “what is linguistic meaning?” that holds with respect to both simple and complex expressions. (shrink)

So far, various approaches have been proposed to explain the progress of science. These approaches, which fall under a fourfold classification, are as follows: semantic, functional, epistemic, and noetic approaches. Each of these approaches, based on the intended purpose of science, defines progress on the same basis. The semantic approach defines progress based on the approximation to the truth, the functional approach based on problem-solving, the epistemic approach based on knowledge accumulation, and the noetic approach based on increased understanding. With (...) a stratified description of the world, Roy Bhaskar sees science as the movement toward deeper layers aimed at discovering productive mechanisms. He also explains progress based on the layering and acquisition of knowledge of the underlying layers. But because he believes in the social nature of science and considers knowledge a social product and subject to change, he acknowledges the fallibility of cognition. Hence, it is believed that moving to a new layer does not necessarily lead to the progress of science. However, it is possible that by acquiring knowledge about the new layer, our previous knowledge will be revised and corrected. In this article, while expressing the Bhaskar theory of scientific progress and explaining its contingency with respect to the fallibility of cognition, we pursue a basic goal. This goal is summarized in the review of all four approaches in order to show their lack of attention to the fallibility of cognition and its effect on explaining progress. What has been done in this article is based on two phases: explaining the contingency of the progress of science for Bhaskar and examining the four approaches to the progress of science in order to show their inattention to the fallibility of cognition. In his philosophy, referring to the two dimensions of transitive and intransitive, Roy Bhaskar considers the purpose of science to be the acquisition of knowledge about intransitive objects, and this knowledge is achieved through a social activity. Since this cognition is a social product and belongs to the transitive dimension of science, it will be fallible and subject to change. Bhaskar concludes with philosophical arguments that the world contains generative mechanisms, but that it is the task of science to discover their nature and exactly what mechanisms are at work. This requires work in two theoretical dimensions, namely the use of conceptual tools and a practical dimension, that is, the use of experimental tools. Now, as the theoretical and technical conditions under which cognition is formed and evaluated are themselves expanding and subject to change and modification, our knowledge may also be expanded or corrected. In this study, it was found that the semantic approach is unaware of the effect of fallibility on the evidence used to estimate the approximation to the truth and, consequently, progress. The functional approach ignores this effect in solving the problems posed by theories. The epistemic approach does not take into account the fallibility of evidence used to justify and validate the evidence, and finally, the noetic approach neglects the effect of the fallibility on what the explanation and prediction are based on. These have led to these approaches, which consider the satisfaction of the criteria in question necessarily leads to progress. (shrink)

Suppose that scientific realists believe that a successful theory is approximately true, and that constructive empiricists believe that it is empirically adequate. Whose belief is more likely to be false? The problem of underdetermination does not yield an answer to this question one way or the other, but the pessimistic induction does. The pessimistic induction, if correct, indicates that successful theories, both past and current, are empirically inadequate. It is arguable, however, that they are approximately true. Therefore, scientific realists overall (...) take less epistemic risk than constructive empiricists. (shrink)

The main question addressed in this paper is whether some false sentences can constitute evidence for the truth of other propositions. In this paper it is argued that there are good reasons to suspect that at least some false propositions can constitute evidence for the truth of certain other contingent propositions. The paper also introduces a novel condition concerning propositions that constitute evidence that explains a ubiquitous evidential practice and it contains a defense of a particular condition concerning the possession (...) of evidence. The core position adopted here then is that false propositions that are approximately true reports of measurements can constitute evidence for the truth of other propositions. So, it will be argued that evidence is only quasi-factive in this very specific sense. (shrink)

Approximation involves representing things in ways that might be close to the truth but are nevertheless false. Given the widespread reliance on approximations in science and everyday life, here we ask whether it is conceptually possible for false approximations to qualify as knowledge. According to the factivity account, it is impossible to know false approximations, because knowledge requires truth. According to the representational adequacy account, it is possible to know false approximations, if they are close enough to the truth for (...) present purposes. In this paper, we adopt an experimental methodology to begin testing these two theories. When an agent provides a false and practically inadequate answer, both theories predict that people will deny knowledge. But the theories disagree about an agent who provides a false but practically adequate answer: the factivity hypothesis again predicts knowledge denial, whereas the representational adequacy hypothesis predicts knowledge attribution. Across two experiments, our principal finding was that people tended to attribute knowledge for false but practically adequate answers, which supports the representational adequacy account. We propose an interpretation of existing findings that preserves a conceptual link between knowledge and truth. According to this proposal, truth is not necessary for knowledge, but it is a feature of prototypical knowledge. (shrink)

This chapter develops a semantic theory for maps and situates it within the broader geography of meaning and semiotic significance. The discussion focuses on three central aspects of map semantics: the use of space, line marking, and linguistic tags. It is argued that the treatment of space in maps must be based on geometrical projection from a viewpoint rather than the traditional analysis in terms of spatial isomorphism. The chapter then shows how to integrate the projection-based semantics of (...) maps and the symbolic semantics of markers and tags, within the framework of possible-world semantics. The resulting account addresses issues of accuracy, viewpoint, orientation, and exhaustivity. (shrink)

This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for a (...) more practice-based approach towards the philosophical understanding of proof systems and their role in structural proof theory. (shrink)

There is a wealth of resources— ideas, insights, discoveries, inventions, traditions, cultures, languages, arts, religions, sciences, narratives, stories, poems, customs and norms, music and songs, games and personal experiences, and advertisements—that we produce, curate, consume, transmit, and inherit as humans. This wealth, which I define as semantic capital, gives meaning to, and makes sense of, our own existence and the world surrounding us. It defines who we are and enables humans to develop an individual and social life. This paper discusses (...) the shift from analog to digital semantic capital, and the extent to which this might affect the semanticisation of our identities, our lives and our realities. -/- . (shrink)

semantic minimalism and moderte contextualism.

The use of highly abstract mathematical frameworks is essential for building the sort of theoretical foundation for semantic integration needed to bring it to the level of a genuine engineering discipline. At the same time, much of the work that has been done by means of these frameworks assumes a certain amount of background knowledge in mathematics that a lot of people working in ontology, even at a fairly high theoretical level, lack. The major purpose of this short paper is (...) provide a (comparatively) simple model of semantic integration that remains within the friendlier confines of first-order languages and their usual classical semantics and logic. (shrink)

Tagging is the phenomenon in which regions of a picture, map, or diagram are annotated with words or other symbols, to provide descriptive information about a depicted object. The interpretive principles that govern tagged images are not well understood, due in part to the difficulty of integrating pictorial and linguistic semantic rules. Rather than directly combining these rules, I propose to use the framework of perspectival feature maps as an intermediary representation of content, in which the outputs of pictorial and (...) linguistic interpretation may be assimilated. The result is a simple and compositional semantics for tagged images. (shrink)

Approximate coherentism suggests that imperfectly rational agents should hold approximately coherent credences. This norm is intended as a generalization of ordinary coherence. I argue that it may be unable to play this role by considering its application under learning experiences. While it is unclear how imperfect agents should revise their beliefs, I suggest a plausible route is through Bayesian updating. However, Bayesian updating can take an incoherent agent from relatively more coherent credences to relatively less coherent credences, depending on (...) the data observed. Thus, comparative rationality judgments among incoherent agents are unduly sensitive to luck. (shrink)

I argue that semantics is the study of the proprietary database of a centrally inaccessible and informationally encapsulated input–output system. This system’s role is to encode and decode partial and defeasible evidence of what speakers are saying. Since information about nonlinguistic context is therefore outside the purview of semantic processing, a sentence’s semantic value is not its content but a partial and defeasible constraint on what it can be used to say. I show how to translate this thesis into (...) a detailed compositional-semantic theory based on the influential framework of Heim and Kratzer. This approach situates semantics within an independently motivated account of human cognitive architecture and reveals the semantics–pragmatics interface to be grounded in the underlying interface between modular and central systems. (shrink)

Some years ago, Hidding et al. suggest that the emergence of intricate and pervasive weblike structure of the Universe on Megaparsec scales can be approximated by a well-known equation from fluid mechanics, the Burgers’ equation. The solution to this equation can be obtained from a geometrical formalism. The resulting Adhesion formalism provides deep insight into the dynamics and topology of the Cosmic Web. It uncovers a direct connection between the conditions in the very early Universe and the complex spatial patterns (...) that emerged out of these under the influence of gravity. In the present paper, we describe a cellular automaton model of the Burgers’ equation, which can be investigated via a fast computer simulation. In the end, this suggests a Cellular Automata Adhesion Model of the Universe. (shrink)

In this paper, I address the idea that certain sentences suffer from what is generally called semantic unspecificity: their meaning is determinate, but their truth conditions are not. While there tends to be agreement on the idea that semantic unspecificity differs from phenomena such as ambiguity and vagueness, some theorists have defended an account which traces it to indexicality, broadly construed. Some authors have tried to vindicate the distinction between unspecificity and indexicality and, in this paper, I pursue the same (...) cause, but with a critical stance towards previously employed strategies. I urge that the central argument employed by Sainsbury to trace this difference fails suitably to set unspecificity apart from indexicality and I propose a new argument, which helps to trace this distinction more perspicuously. The argument is based on embeddings of indexical and unspecific expressions within modal operators and on the ways in which the truth conditions of utterances of the resulting, complex expressions are thereby affected. (shrink)

Relationship between default semantics and modularity of mind (in particular mind reading through the principle of Relevance).

In this paper I will be concerned with the question of the extent to which semantics can be thought of as a purely formal exercise, which we can engage in in a way that is neutral with respect to how our formal system is to be interpreted. I will be arguing, to the contrary, that the features of the formal systems which we use to do semantics are closely linked, in several different ways, to the interpretation that we (...) give to those formal systems. The occasion for this question, and the main example that I will use to illustrate my answer to it, is the close relationship between the formal systems employed in recent statements of apparently competing accounts of epistemic modals with the dynamic, expressivist, and relativist theoretical paradigms. The structure of the paper will be straightforward. In part 1, I will briefly introduce four theories of epistemic modals – one dynamic theory, two expressivist theories, and one relativist theory. Then in part 2 I’ll show that one expressivist theory is formally equivalent to the dynamic theory, that the other is formally equivalent to the relativist theory, and that the two expressivist theories are themselves essentially notational variants. I’ll use these facts to pose our central question: if these theories have so much formally in common, then doesn’t that suggest that we can separate the task of constructing a formal semantics from the task of deciding between competing interpretations of it? Finally, in part 3 I’ll answer that question in the negative. There are at least three reasons why formal semantics cannot be separated from questions of interpretation that are illustrated by the theories I introduce in part 1. (shrink)

Success semantics holds, roughly, that what it is for a state of an agent to be a belief that P is for it to be disposed to combine with her desires to cause behaviour that would fulfill those desires if P. J. T. Whyte supplements this with an account of the contents of an agent's “basic desires” to provide an attractive naturalistic theory of mental content. We argue that Whyte's strategy can avoid the objections raised against it by restricting (...) “basic desires” to sensory inclinations that cause us to do things independently of our beliefs about their contents. -/- La sémantique du succès soutient, en gros, que ce qu'il faut pour qu'un état d'un agent soit une croyance en P, c'est que cet état soit disposé à se combiner avec ses désirs pour provoquer un comportement qui répondrait à ces désirs si P. J. T. Whyte complète cela par un compte-rendu du contenu des « désirs de base » d'un agent pour fournir une théorie naturaliste attrayante du contenu mental. Nous soutenons que la stratégie de Whyte peut éviter les objections qui lui sont faites en restreignant les « désirs de base » aux inclinations sensorielles qui nous font agir indépendamment de nos croyances sur leur contenu. (shrink)

This paper considers a now familiar argument that the ubiquity of context -dependence threatens the project of natural language semantics, at least as that project has usually been conceived: as concerning itself with `what is said' by an utterance of a given sentence. I argue in response that the `anti-semantic' argument equivocates at a crucial point and, therefore, that we need not choose between semantic minimalism, truth-conditional pragmatism, and the like. Rather, we must abandon the idea, familiar from Kaplan (...) and others, that utterances express propositions `relative to contexts' and replace it with the Strawonian idea that speakers express propositions by making utterances in contexts. The argument for this claim consists in a detailed investigation of the particular case of demonstratives, which I argue demand such a Strawsonian treatment. I then respond to several objections, the most important of which allege that the Strawsonian account somehow undermines the project of natural language semantics, or threatens the semantics -pragmatics distinction. Please note that the paper posted here is an extended version of what was published. (shrink)

Definitions I presented in a previous article as part of a semantic approach in epistemology assumed that the concept of derivability from standard logic held across all mathematical and scientific disciplines. The present article argues that this assumption is not true for quantum mechanics (QM) by showing that concepts of validity applicable to proofs in mathematics and in classical mechanics are inapplicable to proofs in QM. Because semantic epistemology must include this important theory, revision is necessary. The one I propose (...) also extends semantic epistemology beyond the ‘hard’ sciences. The article ends by presenting and then refuting some responses QM theorists might make to my arguments. (shrink)

Some epistemologists think that the Bayesian ideals matter because we can approximate them. That is, our attitudes can be more or less close to the ones of our ideal Bayesian counterpart. In this paper, I raise a worry for this justification of epistemic ideals. The worry is this: In order to correctly compare agents to their ideal counterparts, we need to imagine idealized agents who have the same relevant information, knowledge, or evidence. However, there are cases in which one’s (...) ideal counterpart cannot have one’s information, knowledge, or evidence. In these situations, agents cannot compare themselves to their ideal counterpart. (shrink)

According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel semantic account of plurals which dispenses with (...) plural properties and thus undermines the semantic argument in favor of the plural conception of reality. (shrink)

Moeser suggested participants default to linear ordering elements but they can be primed to impose either linear or partial ordering. This study seems problematic insofar as ‘greater than’ might be understood to incline participants to favor linear orderings. Recent follow-up studies strongly suggest participants do not default to linear ordering. It seems plausible, moreover, that the observed priming effect is far more pervasive than Moeser countenanced. The present work explores the extent to which priming for linear or partial orders conflicts (...) with the construction of linear or partial ordering lists. Our two experiments suggest friction between priming and task, and also show once the priming tasks are cleared of potentially confounding semantic content, participants perform equally with respect to constructing linear or partial orders under similar priming conditions. (shrink)

I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant (...) implication. I then investigate ways to add conjunction, disjunction, and negation; and I discuss how to justify contraposition and excluded middle within a truthmaker semantics. (shrink)

Semantic dispositionalism is roughly the view that meaning a certain thing by a word, or possessing a certain concept, consists in being disposed to do something, e.g., infer a certain way. Its main problem is that it seems to have so many and disparate exceptions. People can fail to infer as required due to lack of logical acumen, intoxication, confusion, deviant theories, neural malfunctioning, and so on. I present a theory stating possession conditions of concepts that are counterfactuals, rather than (...) disposition attributions, but which is otherwise similar to inferentialist versions of dispositionalism. I argue that it can handle all the exceptions discussed in the literature without recourse to ceteris paribus clauses. Psychological exceptions are handled by suitably undemanding requirements (unlike that of giving the sum of any two numbers) and by setting the following two preconditions upon someone’s making the inference: that she considers the inference and has no motivating reason against it. The non-psychological exceptions, i.e., cases of neural malfunctioning, are handled by requiring that the counterfactuals be true sufficiently often during the relevant interval. I argue that this accommodates some important intuitions about concept possession, in particular, the intuition that concept possession is vague along a certain dimension. (shrink)

In this paper we present a characterization of hyper-connexivity by means of a relating semantics for Boolean connexive logics. We also show that the minimal Boolean connexive logic is Abelardian, strongly consistent, Kapsner strong and antiparadox. We give an example showing that the minimal Boolean connexive logic is not simplificative. This shows that the minimal Boolean connexive logic is not totally connexive.

The aim of this paper is to reinterpret success semantics, a theory of mental content, according to which the content of a belief is fixed by the success conditions of some actions based on this belief. After arguing that in its present form, success semantics is vulnerable to decisive objections, I examine the possibilities of salvaging the core of this proposal. More specifically, I propose that the content of some very simple, but very important, mental states, the immediate (...) mental antecedents of action, can be explained in this manner. (shrink)