We introduce new first-order languages for the elementary n-dimensional geometry and elementary n-dimensional affine geometry , based on extending equation image and equation image, respectively, with new function symbols. Here, β stands for the betweenness relation and ≡ for the congruence relation. We show that the associated theories admit effective quantifier elimination.

ABSTRACT Reiter's default logic is one of the most prominent and well-studied approaches to nonmonotonic reasoning. Its evolution has resulted in diverse variants enjoying many interesting properties. This process however seems to be diverging because it has led to default logics that are difficult to compare due to different formal characterizations—sometimes even dealing with different objects of discourse. This problem is addressed in this paper in two ways. One the one hand, we elaborate on the relationships between different types of (...) default logics and discuss their differences wrt some basic properties. In particular, we show how two recently proposed variants, namely rational and CA-default logic, are related to each other and existing default logics. As an interesting byproduct, we obtain a cumulative counterpart to Lukasiewicz' variant of default logic. The resulting system is insofar surprising since it necessitates to refine the canonical way of assuring cumulativity in default logics. On the other hand, we pursue an integrating approach. We give a translation embedding rational and CA-default logic into a recently developed framework for default logics. This allows us not only to classify these variants, but it moreover provides us with semantical underpinnings that have been lacking so far. (shrink)

The Tarski T-Schema has a propositional version. If we use ϕ as a metavariable for formulas and use terms of the form that-ϕ to denote propositions, then the propositional version of the T-Schema is: that-ϕ is true if and only if ϕ. For example, that Cameron is Prime Minister is true if and only if Cameron is Prime Minister. If that-ϕ is represented formally as [λ ϕ], then the T-Schema can be represented as the 0-place case of λ-Conversion. If we (...) interpret [λ…] as a truth-functional context, then using traditional logical techniques, one can prove that the propositional version of the T-Schema is a tautology, literally. Given how well-accepted these logical techniques are, we conclude that the T-Schema, in at least one of its forms, is a not just a logical truth but a tautology at that. (shrink)

On the basis of a wide range of historical examples various features of axioms are discussed in relation to their use in mathematical practice. A very general framework for this discussion is provided, and it is argued that axioms can play many roles in mathematics and that viewing them as self-evident truths does not do justice to the ways in which mathematicians employ axioms. Possible origins of axioms and criteria for choosing axioms are also examined. The distinctions introduced aim at (...) clarifying discussions in philosophy of mathematics and contributing towards a more refined view of mathematical practice. (shrink)

Ontological pluralism is the doctrine that there are different ways or modes of being. In contemporary guise, it is the doctrine that a logically perspicuous description of reality will use multiple quantifiers which cannot be thought of as ranging over a single domain. Although thought defeated for some time, recent defenses have shown a number of arguments against the view unsound. However, another worry looms: that despite looking like an attractive alternative, ontological pluralism is really no different than its counterpart, (...) ontological monism. In this paper, after explaining the worry in detail, I argue that considerations dealing with the nature of the logic ontological pluralists ought to endorse, coupled with an attractive philosophical thesis about the relationship between logic and metaphysics, show this worry to be unfounded. (shrink)

This paper concerns Carnap’s early contributions to formal semantics in his work on general axiomatics between 1928 and 1936. Its main focus is on whether he held a variable domain conception of models. I argue that interpreting Carnap’s account in terms of a fixed domain approach fails to describe his premodern understanding of formal models. By drawing attention to the second part of Carnap’s unpublished manuscript Untersuchungen zur allgemeinen Axiomatik, an alternative interpretation of the notions ‘model’, ‘model extension’ and ‘submodel’ (...) in his theory of axiomatics is presented. Specifically, it is shown that Carnap’s early model theory is based on a convention to simulate domain variation that is not identical but logically comparable to the modern account. (shrink)

This paper addresses questions of universality related to ontological engineering, namely aims at substantiating (negative) answers to the following three basic questions: (i) Is there a ‘universal ontology’?, (ii) Is there a ‘universal formal ontology language’?, and (iii) Is there a universally applicable ‘mode of reasoning’ for formal ontologies? To support our answers in a principled way, we present a general framework for the design of formal ontologies resting on two main principles: firstly, we endorse Rudolf Carnap’s principle of logical (...) tolerance by giving central stage to the concept of logical heterogeneity, i.e. the use of a plurality of logical languages within one ontology design. Secondly, to structure and combine heterogeneous ontologies in a semantically well-founded way, we base our work on abstract model theory in the form of institutional semantics, as forcefully put forward by Joseph Goguen and Rod Burstall. In particular, we employ the structuring mechanisms of the heterogeneous algebraic specification language HetCasl for defining a general concept of heterogeneous, distributed, highly modular and structured ontologies, called hyperontologies. Moreover, we distinguish, on a structural and semantic level, several different kinds of combining and aligning heterogeneous ontologies, namely integration, connection, and refinement. We show how the notion of heterogeneous refinement can be used to provide both a general notion of sub-ontology as well as a notion of heterogeneous equivalence of ontologies, and finally sketch how different modes of reasoning over ontologies are related to these different structuring aspects. (shrink)

Each science has its own domain of investigation, but one and the same science can be formalized in different languages with different universes of discourse. The concept of the domain of a science and the concept of the universe of discourse of a formalization of a science are distinct, although they often coincide in extension. In order to analyse the presuppositions and implications of choices of domain and universe, this article discusses the treatment of omega arguments in three very different (...) formalizations of arithmetic. In Peano's formalization the domain is a restricted class of individuals, while the universe of discourse is the unrestricted class of all individuals. In Gödel's formalization the domain is a restricted class of individuals as in Peano's formalization, but the universe of discourse coincides with the domain. In Whitehead-Russell's formalization the domain is a class of logical notions in Tarski's sense, that are necessarily not individuals, whereas the universe of discourse is the unrestricted class of individuals as in Peano's formalization. The present approach emphasizes the viewpoint that the universe of discourse of a given discourse is important in determining which propositions are expressed by which sentences. (shrink)

What accounts for how we know that certain rules of reasoning, such as reasoning by Modus Ponens, are valid? If our knowledge of validity must be based on some reasoning, then we seem to be committed to the legitimacy of rule-circular arguments for validity. This paper raises a new difficulty for the rule-circular account of our knowledge of validity. The source of the problem is that, contrary to traditional wisdom, a universal generalization cannot be inferred just on the basis of (...) reasoning about an arbitrary object. I argue in favor of a more sophisticated constraint on reasoning by universal generalization, one which undermines a rule-circular account of our knowledge of validity. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

Second-order axiomatizations of certain important mathematical theories—such as arithmetic and real analysis—can be shown to be categorical. Categoricity implies semantic completeness, and semantic completeness in turn implies determinacy of truth-value. Second-order axiomatizations are thus appealing to realists as they sometimes seem to offer support for the realist thesis that mathematical statements have determinate truth-values. The status of second-order logic is a controversial issue, however. Worries about ontological commitment have been influential in the debate. Recently, Vann McGee has argued that one (...) can get some of the technical advantages of second-order axiomatizations—categoricity, in particular—while walking free of worries about ontological commitment. In so arguing he appeals to the notion of an open-ended schema—a schema that holds no matter how the language of the relevant theory is extended. Contra McGee, we argue that second-order quantification and open-ended schemas are on a par when it comes to ontological commitment. (shrink)

In this article we discuss what constitutes a good choice of semantic representation, compare different approaches of constructing semantic representations for fragments of natural language, and give an overview of recent methods for employing inference engines for natural language understanding tasks.

Italian translation of "On Logical Relativity" (2002), by Luca Morena.

In John Etchemendy's book, The Concept of Logical Consequence, several arguments are put forth against the standard model‐theoretic account of logical consequence and logical truth. I argue in this article that crucial parts of Etchemendy's attack depend on a failure to distinguish two senses of logic and two correlative senses of being something a logical question. According to one of these senses, the logic of a language, L, is the set of logical truths of L. In the other sense, logic (...) is a theoretical discipline whose aim is to characterize logical properties and it can be identified with the set of sentences on what, and why, the extension of the set of logical truths of a particular language is. Some particular claims by Etchemendy about the status assigned to the axiom of infinity in the model‐theoretic account are criticized and shown to be erroneous because of that conflation. (shrink)

In this sequel to "The logic and meaning of plurals. Part I", I continue to present an account of logic and language that acknowledges limitations of singular constructions of natural languages and recognizes plural constructions as their peers. To this end, I present a non-reductive account of plural constructions that results from the conception of plurals as devices for talking about the many. In this paper, I give an informal semantics of plurals, formulate a formal characterization of truth for the (...) regimented languages that results from augmenting elementary languages with refinements of basic plural constructions of natural languages, and account for the logic of plural constructions by characterizing the logic of those regimented languages. (shrink)

Following Henkin's discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or "cardinality" quantifiers, e.g., "most", "few", "finitely many", "exactly α", where α is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin definition first to a general (...) definition of monotone-increasing (M↑) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwise's 1979 analysis of the basic case of M↑ POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional Ist-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages. (shrink)

Axiomatic characterization results in social choice theory are usually compared either regarding the normative plausibility or regarding the logical strength of the axioms involved. Here, instead, we propose to compare axiomatizations according to the language used for expressing the axioms. In order to carry out such a comparison, we suggest a formalist approach to axiomatization results which uses a restricted formal logical language to express axioms. Axiomatic characterization results in social choice theory then turn into definability results of formal logic. (...) The advantages of this approach include the possibility of non-axiomatizability results, a distinction between absolute and relative axiomatizations, and the possibility to ask how rich a language needs to be to express certain axioms. We argue for formal minimalism, i.e., for favoring axiomatizations in the weakest language possible. (shrink)

We introduce two new belief revision axioms: partial monotonicity and consequence correctness. We show that partial monotonicity is consistent with but independent of the full set of axioms for a Gärdenfors belief revision sytem. In contrast to the Gärdenfors inconsistency results for certain monotonicity principles, we use partial monotonicity to inform a consistent formalization of the Ramsey test within a belief revision system extended by a conditional operator. We take this to be a technical dissolution of the well-known Gärdenfors dilemma.In (...) addition, we present the consequential correctness axiom as a new measure of minimal revision in terms of the deductive core of a proposition whose support we wish to excise. We survey several syntactic and semantic belief revision systems and evaluate them according to both the Gärdenfors axioms and our new axioms. Furthermore, our algebraic characterization of semantic revision systems provides a useful technical device for analysis and comparison, which we illustrate with several new proofs. (shrink)

Proofs of Gödel's First Incompleteness Theorem are often accompanied by claims such as that the gödel sentence constructed in the course of the proof says of itself that it is unprovable and that it is true. The validity of such claims depends closely on how the sentence is constructed. Only by tightly constraining the means of construction can one obtain gödel sentences of which it is correct, without further ado, to say that they say of themselves that they are unprovable (...) and that they are true; otherwise a false theory can yield false gödel sentences. (shrink)

Intuitionists and classical logicians use in common a large number of the logical axioms, even though they supposedly mean different things by the logical connectives and quantifiers — conquans for short. But Wittgenstein says The meaning of a word is its use in the language. We prove that in a definite sense the intuitionistic axioms do indeed characterize the logical conquans, both for the intuitionist and the classical logician.

In this paper we study the relations between the fragment L of classical logic having just conjunction and disjunction and the variety D of distributive lattices, within the context of Algebraic Logic. We prove that these relations cannot be fully expressed either with the tools of Blok and Pigozzi's theory of algebraizable logics or with the use of reduced matrices for L. However, these relations can be naturally formulated when we introduce a new notion of model of a sequent calculus. (...) When applied to a certain natural calculus for L, the resulting models are equivalent to a class of abstract logics (in the sense of Brown and Suszko) which we call distributive. Among other results, we prove that D is exactly the class of the algebraic reducts of the reduced models of L, that there is an embedding of the theories of L into the theories of the equational consequence (in the sense of Blok and Pigozzi) relative to D, and that for any algebra A of type (2,2) there is an isomorphism between the D-congruences of A and the models of L over A. In the second part of this paper (which will be published separately) we will also apply some results to give proofs with a logical flavour for several new or well-known lattice-theoretical properties. (shrink)

A non-monotonic logic, the Logic of Plausible Reasoning (LPR), capable of coping with the demands of what we call complex reasoning, is introduced. It is argued that creative complex reasoning is the way of reasoning required in many instances of scientific thought, professional practice and common life decision taking. For managing the simultaneous consideration of multiple scenarios inherent in these activities, two new modalities, weak and strong plausibility, are introduced as part of the Logic of Plausible Deduction (LPD), a deductive (...) logic specially designed to serve as the monotonic support for LPR. Axiomatics and semantics for LPD, together with a completeness proof, are provided. Once LPD has been given, LPR may be defined via a concept of extension over LPD. Although the construction of LPR extensions is first presented in standard style, for the sake of comparison with existing non-monotonic formalisms, alternative more elegant and intuitive ways for constructing non-monotonic LPR extensions are also given and proofs of their equivalence are presented. (shrink)

The implicational fragment of the relevance logic "ticket entailment" is closely related to the so-called hereditary right maximal terms. I prove that the terms that need to be considered as inhabitants of the types which are theorems of $T_\rightarrow$ are in normal form and built in all but one casefrom B, B' and W only. As a tool in the proof ordered term rewriting systems are introduced. Based on the main theorem I define $FIT_\rightarrow$ - a Fitch-style calculus (related to (...) $FT_\rightarrow$ ) for the implicational fragment of ticket entailment. (shrink)

Inspired by the early Wittgenstein’s concept of nonsense (meaning that which lies beyond the limits of language), we define two different, yet complementary, types of nonsense: formal nonsense and pragmatic nonsense. The simpler notion of formal nonsense is initially defined within Tarski’s semantic theory of truth; the notion of pragmatic nonsense, by its turn, is formulated within the context of the theory of pragmatic truth, also known as quasi-truth, as formalized by da Costa and his collaborators. While an expression will (...) be considered formally nonsensical if the formal criteria required for the assignment of any truth-value (whether true, false, pragmatically true, or pragmatically false) to such sentence are not met, a (well-formed) formula will be considered pragmatically nonsensical if the pragmatic criteria (inscribed within the context of scientific practice) required for the assignment of any truth-value to such sentence are not met. Thus, in the context of the theory of pragmatic truth, any (well-formed) formula of a formal language interpreted on a simple pragmatic structure will be considered pragmatically nonsensical if the set of primary sentences of such structure is not well-built, that is, if it does not include the relevant observational data and/or theoretical results, or if it does include sentences that are inconsistent with such data. (shrink)

In a recent article, P. Roger Turner and Justin Capes argue that no one is, or ever was, even partly morally responsible for certain world-indexed truths. Here we present our reasons for thinking that their argument is unsound: It depends on the premise that possible worlds are maximally consistent states of affairs, which is, under plausible assumptions concerning states of affairs, demonstrably false. Our argument to show this is based on Bertrand Russell’s original ‘paradox of propositions’. We should then opt (...) for a different approach to explain world-indexed truths whose upshot is that we may be morally responsible for some of them. The result to the effect that there are no maximally consistent states of affairs is independently interesting though, since this notion motivates an account of the nature of possible worlds in the metaphysics of modality. We also register in this article, independently of our response to Turner and Capes, and in the spirit of Russell’s aforementioned paradox and many other versions thereof, a proof of the claim that there is no set of all true propositions one can render false. (shrink)

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

This article is about Avicenna’s account of syllogisms comprising opposite premises. We examine the applications and the truth conditions of these syllogisms. Finally, we discuss the relation between these syllogisms and the principle of non-contradiction.

We consider extending the modal logic KD45, commonly taken as the baseline system for belief, with propositional quantifiers that can be used to formalize natural language sentences such as “everything I believe is true” or “there is something that I neither believe nor disbelieve.” Our main results are axiomatizations of the logics with propositional quantifiers of natural classes of complete Boolean algebras with an operator validating KD45. Among them is the class of complete, atomic, and completely multiplicative BAOs validating KD45. (...) Hence, by duality, we also cover the usual method of adding propositional quantifiers to normal modal logics by considering their classes of Kripke frames. In addition, we obtain decidability for all the concrete logics we discuss. (shrink)

The use-mention distinction is elaborated into a four-way distinction between use, formal mention, material mention and pragmatic mention. The notion of pragmatic mention is motivated through the problem of monsters in Kaplanian indexical semantics. It is then formalized and applied in an account of schemata in formalized languages.

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

In this paper, we present a new semantic challenge to the moral error theory. Its first component calls upon moral error theorists to deliver a deontic semantics that is consistent with the error-theoretic denial of moral truths by returning the truth-value false to all moral deontic sentences. We call this the ‘consistency challenge’ to the moral error theory. Its second component demands that error theorists explain in which way moral deontic assertions can be seen to differ in meaning despite necessarily (...) sharing the same intension. We call this the ‘triviality challenge’ to the moral error theory. Error theorists can either meet the consistency challenge or the triviality challenge, we argue, but are hard pressed to meet both. (shrink)

In linguistics, the dominant approach to the semantics of plurals appeals to mereology. However, this approach has received strong criticisms from philosophical logicians who subscribe to an alternative framework based on plural logic. In the first part of the article, we offer a precise characterization of the mereological approach and the semantic background in which the debate can be meaningfully reconstructed. In the second part, we deal with the criticisms and assess their logical, linguistic, and philosophical significance. We identify four (...) main objections and show how each can be addressed. Finally, we compare the strengths and shortcomings of the mereological approach and plural logic. Our conclusion is that the former remains a viable and well-motivated framework for the analysis of plurals. (shrink)

Noncommutative geometries generalize standard smooth geometries, parametrizing the noncommutativity of dimensions with a fundamental quantity with the dimensions of area. The question arises then of whether the concept of a region smaller than the scale—and ultimately the concept of a point—makes sense in such a theory. We argue that it does not, in two interrelated ways. In the context of Connes’ spectral triple approach, we show that arbitrarily small regions are not definable in the formal sense. While in the scalar (...) field Moyal–Weyl approach, we show that they cannot be given an operational definition. We conclude that points do not exist in such geometries. We therefore investigate (a) the metaphysics of such a geometry, and (b) how the appearance of smooth manifold might be recovered as an approximation to a fundamental noncommutative geometry. (shrink)

In an article dating back in 1992, Kosta Došen initiated a project of modal translations in substructural logics, aiming at generalising the well-known Gödel–McKinsey–Tarski translation of intuitionistic logic into S4. Došen's translation worked well for (variants of) BCI and stronger systems (BCW, BCK), but not for systems below BCI. Dropping structural rules results in logic systems without distribution. In this article, we show, via translation, that every substructural (indeed, every non-distributive) logic is a fragment of a corresponding sorted, residuated (multi) (...) modal logic. At the conceptual and philosophical level, the translation provides a classical interpretation of the meaning of the logical operators of various non-distributive propositional calculi. Technically, it allows for an effortless transfer of results, such as compactness and the Löwenheim-Skolem property and it opens up new directions for deducing properties of substructural logic systems by establishing appropriate transfer theorems. (shrink)

Priority Theory is an increasingly popular view in metaphysics. By seeing metaphysical questions as primarily concerned with what explains what, instead of merely what exists, it promises not only an interesting approach to traditional metaphysical issues but also the resolution of some outstanding disputes. In a recent paper, Louis deRosset argues that Priority Theory isn’t up to the task: Priority Theory is committed to there being explanations that violate a formal constraint on any adequate explanation. This paper critically examines deRosset’s (...) challenge to Priority Theory. We argue that deRosset’s challenge ultimately fails: his proposed constraint on explanation is neither well-motivated nor a general constraint. Nonetheless, lurking behind his criticism is a deep problem for prominent ways of developing Priority Theory, a problem which we develop. (shrink)

Este livro se propõe a ser uma introdução fácil e acessível, porém rigorosa e tecnicamente precisa, à lógica. Prioridade é dada à clareza e lucidez na explicação das definições e teoremas, bem como à aplicação prática da lógica na análise de argumentos. O livro foi concebido de forma a permitir sua utilização por qualquer pessoa interessada em aprender lógica, independentemente de sua área de atuação ou bagagem teórica prévia. Em especial, ele deve ser útil a estudantes e professores de filosofia, (...) computação e matemática. (shrink)

Turing and Church formulated two different formal accounts of computability that turned out to be extensionally equivalent. Since the accounts refer to different properties they cannot both be adequate conceptual analyses of the concept of computability. This insight has led to a discussion concerning which account is adequate. Some authors have suggested that this philosophical debate—which shows few signs of converging on one view—can be circumvented by regarding Church’s and Turing’s theses as explications. This move opens up the possibility that (...) both accounts could be adequate, albeit in their own different ways. In this paper, I focus on the question of whether Church’s thesis can be seen as an explication in the precise Carnapian sense. Most importantly, I address an additional constraint that Carnap puts on the explicative power of axiomatic systems—an axiomatisation explicates when it is clear which mathematical entities form the theory’s intended model—and that implicitly applies to axiomatisations of recursion theory used in Church’s account of computability. To overcome this difficulty, I propose two possible clarifications of the pre-systematic concept of “computability” that can both be captured in recursion theory, and I show how both clarifications avoid an objection arising from Carnap’s constraint. (shrink)

Within the context of the Quine–Putnam indispensability argument, one discussion about the status of mathematics is concerned with the ‘Enhanced Indispensability Argument’, which makes explicit in what way mathematics is supposed to be indispensable in science, namely explanatory. If there are genuine mathematical explanations of empirical phenomena, an argument for mathematical platonism could be extracted by using inference to the best explanation. The best explanation of the primeness of the life cycles of Periodical Cicadas is genuinely mathematical, according to Baker (...) :223–238, 2005; Br J Philos Sci 60:611–633, 2009). Furthermore, the result is then also used to strengthen the platonist position :779–793, 2017a). We pick up the circularity problem brought up by Leng Mathematical reasoning, heuristics and the development of mathematics, King’s College Publications, London, pp 167–189, 2005) and Bangu :13–20, 2008). We will argue that Baker’s attempt to solve this problem fails, if Hume’s Principle is analytic. We will also provide the opponent of the Enhanced Indispensability Argument with the so-called ‘interpretability strategy’, which can be used to come up with alternative explanations in case Hume’s Principle is non-analytic. (shrink)

Despre necesitatea şi utilitatea dezvoltării unei filosofii specifice tehnologiei blockchain, accentuând pe aspectele ontologice. După o Introducere în care evidenţiez principalele direcţii filosofice pentru această tehnologie emergentă, în Tehnologia blockchain explicitez modul de funcţionare al blockchain, punând în discuţie direcţiile ontologice de dezvoltare în Proiectarea şi Modelarea acestei tehnologii. Următoarea secţiune este dedicată principalei aplicaţii a tehnologiei blockchain, Bitcoin, cu implicaţiile sociale ale acestei criptovalute. Urmează o secţiune de Filosofie în care identific tehnologia blockchain cu conceptul de heterotopie dezvoltat de (...) Michel Foucault şi o interpretez în lumina tehnologiei notaţionale dezvoltată de Nelson Goodman ca sistem notaţional. În secţiunea Ontologii dezvolt două direcţii de dezvoltare considerate de mine ca importante: Ontologia narativă, bazată pe ideea de ordine şi structură a istoriei transmise prin naraţia istoriei a lui Paul Ricoeur, şi un sistem ontologic bazat pe Ontologiile de intreprindere, bazat pe conceptele şi modelele de intreprindere specifice webului semantic, şi pe care eu îl consider cel mai bine dezvoltat şi cel care va deveni, probabil, sistemul ontologic formal, cel puţin în ceea ce priveşte aspectele economice şi juridice ale tehnologiei blockchain. În Concluzii vorbesc despre direcţiile viitoare de dezvoltare a filosofiei tehnologiei blockchain în general ca o teorie explicativă şi robustă din punct de vedere fenomenologic, consistentă şi care să permită testabilitatea, şi a ontologiilor în special, argumentând pentru necesitatea unei adopţii globale a unui sistem ontologic pentru a dezvolta soluţii transversale şi a rentabiliza tehnologia. -/- Cuvinte cheie: filosofie, blockchain, ontologie, bitcoin, proiectare, modele -/- CUPRINS -/- Abstract Introducere Tehnologia blockchain - - - Proiectare - - - Modele Bitcoin Filosofia Ontologii - - - Ontologii narative - - - Ontologii de intreprindere Concluzii Note Bibliografie -/- DOI: 10.13140/RG.2.2.25492.35204. (shrink)

ABSTRACTCorrespondence and Shalqvist theories for Modal Logics rely on the simple observation that a relational structure is at the same time the basis for a model of modal logic and for a model of first-order logic with a binary predicate for the accessibility relation. If the underlying set of the frame is split into two components,, and, then frames are at the same time the basis for models of non-distributive lattice logic and of two-sorted, residuated modal logic. This suggests that (...) a reduction of the first to the latter may be possible, encoding Positive Lattice Logic as a fragment of Two-Sorted, Residuated Modal Logic. The reduction is analogous to the well-known Gödel-McKinsey-Tarski translation of Intuitionistic Logic into the S4 system of normal modal logic. In this article, we carry out this reduction in detail and we derive some properties of PLL from corresponding properties of First-Order Logic. The reduction we present is extendible to the case of lattices with operators, making use of recent results by this author on the relational representation of normal lattice expansions. (shrink)

The main aim of this work is to evaluate whether Boolos’ semantics for second-order languages is model-theoretically equivalent to standard model-theoretic semantics. Such an equivalence result is, actually, directly proved in the “Appendix”. I argue that Boolos’ intent in developing such a semantics is not to avoid set-theoretic notions in favor of pluralities. It is, rather, to prevent that predicates, in the sense of functions, refer to classes of classes. Boolos’ formal semantics differs from a semantics of pluralities for Boolos’ (...) plural reading of second-order quantifiers, for the notion of plurality is much more general, not only of that set, but also of class. In fact, by showing that a plurality is equivalent to sub-sets of a power set, the notion of plurality comes to suffer a loss of generality. Despite of this equivalence result, I maintain that Boolos’ formal semantics does not committ second-order languages to second-order entities, contrary to standard semantics. Further, such an equivalence result provides a rationale for many criticisms to Boolos’ formal semantics, in particular those by Resnik and Parsons against its alleged ontological innocence and on its Platonistic presupposition. The key set-theoretic notion involved in the equivalence proof is that of many-valued function. But, first, I will provide a clarification of the philosophical context and theoretical grounds of the genesis of Boolos’ formal semantics. (shrink)

How does mathematics apply to something non-mathematical? We distinguish between a general application problem and a special application problem. A critical examination of the answer that structural mapping accounts offer to the former problem leads us to identify a lacuna in these accounts: they have to presuppose that target systems are structured and yet leave this presupposition unexplained. We propose to fill this gap with an account that attributes structures to targets through structure generating descriptions. These descriptions are physical descriptions (...) and so there is no such thing as a solely mathematical account of a target system. (shrink)

The epsilon operator is a term-forming operator which replaces quantifiers in ordinary predicate logic. The application of this undervalued formalism has been hampered by the absence of well-behaved proof systems on the one hand, and accessible presentations of its theory on the other. One significant early result for the original axiomatic proof system for the epsilon-calculus is the first epsilon theorem, for which a proof is sketched. The system itself is discussed, also relative to possible semantic interpretations. The problems facing (...) the development of proof-theoretically well-behaved systems are outlined. (shrink)

Informally, structural properties of mathematical objects are usually characterized in one of two ways: either as properties expressible purely in terms of the primitive relations of mathematical theories, or as the properties that hold of all structurally similar mathematical objects. We present two formal explications corresponding to these two informal characterizations of structural properties. Based on this, we discuss the relation between the two explications. As will be shown, the two characterizations do not determine the same class of mathematical properties. (...) From this observation we draw some philosophical conclusions about the possibility of a ‘correct’ analysis of structural properties. (shrink)

Scientific models are important, if not the sole, units of science. This thesis addresses the following question: in virtue of what do scientific models represent their target systems? In Part i I motivate the question, and lay out some important desiderata that any successful answer must meet. This provides a novel conceptual framework in which to think about the question of scientific representation. I then argue against Callender and Cohen’s attempt to diffuse the question. In Part ii I investigate the (...) ideas that scientific models are ‘similar’, or structurally morphic, to their target systems. I argue that these approaches are misguided, and that at best these relationships concern the accuracy of a pre-existing representational relationship. I also pay particular attention to the sense in which target systems can be appropriately taken to exhibit a ‘structure’, and van Fraassen’s recent argument concerning the pragmatic equivalence between representing phenomena and data. My next target is the idea that models should not be seen as objects in their own right, but rather what look like descriptions of them are actually direct descriptions of target systems, albeit not ones that should be understood literally. I argue that these approaches fail to do justice to the practice of scientific modelling. Finally I turn to the idea that how models represent is grounded, in some sense, in their inferential capacity. I compare this approach to anti-representationalism in the philosophy of language and argue that analogous issues arise in the context of scientific representation. Part iii contains my positive proposal. I provide an account of scientific representation based on Goodman and Elgin’s notion of representation-as. The result is a highly conventional account which is the appropriate level of generality to capture all of its instances, whilst remaining informative about the notion. I illustrate it with reference to the Phillips-Newlyn machine, models of proteins, and the Lotka-Volterra model of predator-prey systems. These examples demonstrate how the account must be understood, and how it sheds light on our understanding of how models are used. I finally demonstrate how the account meets the desiderata laid out at the beginning of the thesis, and outline its implications for further questions from the philosophy of science; not limited to issues surrounding the applicability of mathematics, idealisation, and what it takes for a model to be ‘true’. (shrink)

Recent work in the philosophy of mathematics has suggested that mathematical structuralism is not committed to a strong form of the Identity of Indiscernibles (II). José Bermúdez demurs, and argues that a strong form of II can be warranted on structuralist grounds by countenancing identity properties, or haecceities, as legitimately structural. Typically, structuralists dismiss such properties as obviously non-structural. I will argue to the contrary that haecceities can be viewed as structural but that this concession does not warrant Bermúdez’s version (...) of II but, rather, another easily falsified version. I close with some reflections on reference vis-à-vis structurally indiscernible objects. (shrink)