22 research outputs found
One-Variable Fragments of First-Order Many-Valued Logics
In this thesis we study one-variable fragments of first-order logics. Such a one-variable fragment consists of those first-order formulas that contain only unary predicates and a single variable. These fragments can be viewed from a modal perspective by replacing the universal and existential quantifier with a box and diamond modality, respectively, and the unary predicates with corresponding propositional variables. Under this correspondence, the one-variable fragment of first-order classical logic famously corresponds to the modal logic S5.
This thesis explores some such correspondences between first-order and modal logics. Firstly, we study first-order intuitionistic logics based on linear intuitionistic Kripke frames. We show that their one-variable fragments correspond to particular modal Gödel logics, defined over many-valued S5-Kripke frames. For a large class of these logics, we prove the validity problem to be decidable, even co-NP-complete. Secondly, we investigate the one-variable fragment of first-order Abelian logic, i.e., the first-order logic based on the ordered additive group of the reals. We provide two completeness results with respect to Hilbert-style axiomatizations: one for the one-variable fragment, and one for the one-variable fragment that does not contain any lattice connectives. Both these fragments are proved to be decidable. Finally, we launch a much broader algebraic investigation into one-variable fragments. We turn to the setting of first-order substructural logics (with the rule of exchange). Inspired by work on, among others, monadic Boolean algebras and monadic Heyting algebras, we define monadic commutative pointed residuated lattices as a first (algebraic) investigation into one-variable fragments of this large class of first-order logics. We prove a number of properties for these newly defined algebras, including a characterization in terms of relatively complete subalgebras as well as a characterization of their congruences
The Nature and Logic of Vagueness
The PhD thesis advances a new approach to vagueness as dispersion, comparing it with the main philosophical theories of vagueness in the analytic tradition
What the heck is Logic? Logics-as-formalizations, a nihilistic approach
Logic is about reasoning, or so the story goes. This thesis looks at the concept of logic, what it is, and what claims of correctness of logics amount to. The concept of logic is not a settled matter, and has not been throughout the history of it as a notion. Tools from conceptual analysis aid in this historical venture. Once the unsettledness of logic is established we see the repercussions in current debates in the philosophy of logic. Much of the battle over the âone true logicâ is conceptually talking past each other. The theory of logics-as-formalizations is presented as a conceptually open theory of logic which is Carnapian in flavour and grounding. Rudolf Carnapâs notions surrounding âexternalâ and âpseudo-questionsâ about linguistic frameworks apply to formalizations, thus logics, as well. An account of what formalizations are, a more structured sub-set of modelling, is given to ground the claim that logics are formalizations. Finally, a novel account of correctness, the COFE framework, is developed which allows the notions of logical monism, pluralism and nihilism to be more precisely formulated than
they currently are in the discourse
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
This work is the first exploration of proof-theoretic semantics for a substructural logic. It focuses on the base-extension semantics (B-eS) for intuitionistic multiplicative linear logic (IMLL). The starting point is a review of Sandqvistâs B-eS for intuitionistic propositional logic (IPL), for which we propose an alternative treatment of conjunction that takes the form of the generalized elimination rule for the connective. The resulting semantics is shown to be sound and complete. This motivates our main contribution, a B-eS for IMLL
, in which the definitions of the logical constants all take the form of their elimination rule and for which soundness and completeness are established
Worlds and Objects of Epistemic Space : A study of Jaakko Hintikka's modal semantics
This study focuses on meaning and knowledge by assessing a distinctive view
regarding their relation, namely the modal view of Jaakko Hintikka. The
development of this view has not been previously scrutinized. By paying close
attention to the texts of Hintikka, I show that, despite the extensive deployment of
mathematical tools, the articulation of the view remained intuitive and vague. The
study calls attention to several points at which Hintikka omits relevant details or
disregards foundational questions. Attempts are made to articulate Hintikkaâs
certain ideas in a more specific manner, and new problems that result are
identified. The central claim argued for is that Hintikkaâs exposition was
unsatisfactory in many respects and hence the view, as it stands, falls short in its
explanatory scope compared to current theories in the intersection of logic,
semantics, and epistemology. However, I argue that, despite its shortcomings, the
prospects of the modal view are not exhausted. This is verified by introducing a
new interpretation of the framework and by sketching new applications relevant in
philosophy of language and in epistemology. It is also pointed out that certain
early advances of the view closely resemble, and therefore anticipate, the central
tenets of the currently influential two-dimensional approaches in logic and
semantics.Tutkimus paneutuu merkityksen ja tiedon kÀsitteisiin tarkastelemalla Jaakko Hintikan työtÀ modaalisen semantiikan parissa. Tutkimus osoittaa, ettÀ Hintikka jÀtti modaalisen semantiikan kehitystyössÀÀn avoimeksi useita perustavia kysymyksiÀ ja yksityiskohtia. Tutkimuksessa pyritÀÀn artikuloimaan tÀsmÀllisemmin joitakin Hintikan nÀkemyksiÀ, ja tunnistetaan uusia syntyviÀ ongelmia. KeskeisenÀ vÀitteenÀ on, ettÀ Hintikan teoreettinen työ jÀi monilta osin epÀtyydyttÀvÀksi, ja siten hÀnen modaalinen nÀkemyksensÀ ei yllÀ selitysvoimaltaan ja sovelluspotentiaaliltaan samalle tasolle kuin nykyiset filosofiset teoriat, jotka operoivat logiikan, semantiikan ja epistemologian risteyskohdissa. TÀstÀ huolimatta tutkimuksessa argumentoidaan, ettÀ Hintikan teoreettinen viitekehys tarjoaa myös uusia kiinnostavia nÀköaloja. TÀmÀ todennetaan tarjoamalla Hintikan viitekehykselle uusi tulkinta, ja soveltamalla sitÀ uusiin kielifilosofisiin kysymyksiin. Tutkimus nostaa myös esiin kirjallisuudessa ohitetun tosiasian, ettÀ Hintikan työ ennakoi tÀrkeÀllÀ tavalla nykyisin vaikutusvaltaisia kaksi-dimensionaalisia lÀhestymistapoja logiikassa ja semantiikassa
Révision automatique de théories écologiques
Ă lâorigine, ce sont des difficultĂ©s en biologie Ă©volutive qui ont motivĂ© cette thĂšse. AprĂšs des
décennies à tenter de trouver une théorie basée sur la sélection capable de prédire la diversité
gĂ©nomique, les thĂ©oriciens nâont pas trouvĂ© dâalternatives pratiques Ă la thĂ©orie neutre. AprĂšs
avoir Ă©tudiĂ© la relation entre la spĂ©ciation et la diversitĂ© (Annexes A, B, C), jâai conclu que
lâapproche traditionnelle pour construire des thĂ©ories serait difficile Ă appliquer au problĂšme
de la biodiversité. Prenons par exemple le problÚme de la diversité génomique, la difficulté
nâest pas que lâon ignore les mĂ©canismes impliquĂ©s, mais quâon ne rĂ©ussit pas Ă construire
de thĂ©ories capable dâintĂ©grer ces mĂ©canismes. Les techniques en intelligence artificielle, Ă
lâinverse, rĂ©ussissent souvent Ă construire des modĂšles prĂ©dictifs efficaces justement lĂ oĂč les
théories traditionnelles échouent. Malheureusement, les modÚles bùtis par les intelligences arti-
ficielles ne sont pas clairs. Un rĂ©seau de neurones peut avoir jusquâĂ un milliard de paramĂštres.
Lâobjectif principal de ma thĂšse est dâĂ©tudier des algorithmes capable de rĂ©viser les thĂ©ories
Ă©cologiques. LâintĂ©gration dâidĂ©es venant de diffĂ©rentes branches de lâĂ©cologie est une tĂąche
difficile. Le premier défi de ma thÚse est de trouver sous quelle représentation formelle les
thĂ©ories Ă©cologiques doivent ĂȘtre encodĂ©es. Contrairement aux mathĂ©matiques, nos thĂ©ories
sont rarement exactes. Il y a Ă la fois de lâincertitude dans les donnĂ©es que lâon collecte, et un
flou dans nos thĂ©ories (on ne sâattend pas Ă que la thĂ©orie de niche fonctionne 100% du temps).
Contrairement Ă la physique, oĂč un petit nombre de forces dominent la thĂ©orie, lâĂ©cologie a un
trÚs grand nombre de théories. Le deuxiÚme défi est de trouver comment ces théories peuvent
ĂȘtre rĂ©visĂ©es automatiquement. Ici, le but est dâavoir la clartĂ© des thĂ©ories traditionnelles et la
capacité des algorithmes en intelligence artificielle de trouver de puissants modÚles prédictifs
Ă partir de donnĂ©es. Les tests sont faits sur des donnĂ©es dâinteractions dâespĂšces
Replacing truth
Kevin Scharp proposes an original account of the nature and logic of truth, on which truth is an inconsistent concept that should be replaced for certain theoretical purposes. He argues that truth is best understood as an inconsistent concept; develops an axiomatic theory of truth; and offers a new kind of possible-worlds semantics for this theory
AbstraktnĂ studium Ășplnosti pro infinitĂĄrnĂ logiky
V tĂ©to dizertaÄnĂ prĂĄci se zabĂœvĂĄme studiem vlastnostĂ Ășplnosti infinitĂĄrnĂch vĂœrokovĂœch logik z pohledu abstraktnĂ algebraickĂ© logiky. CĂlem prĂĄce je pochopit, jak lze zĂĄkladnĂ nĂĄstroj v dĆŻkazech uplnosti, tzv. Lindenbaumovo lemma, zobecnit za hranici finitĂĄrnĂch logik. Za tĂmto ĂșÄelem studujeme vlastnosti Ășzce souvisejĂcĂ s LindenbaumovĂœm lemmatem (a v dĆŻsledku takĂ© s vlastnostmi Ășplnosti). UvidĂme, ĆŸe na zĂĄkladÄ tÄchto vlastnostĂ lze vystavÄt novou hierarchii infinitĂĄrnĂch vĂœrokovĂœch logik. TakĂ© se zabĂœvĂĄme studiem tÄchto vlastnostĂ v pĆĂpadÄ, kdy naĆĄe logika mĂĄ nÄjakĂ© (pĆĂpadnÄ hodnÄ obecnÄ definovanĂ©) spojky implikace, disjunkce a negace. Mimo jinĂ© uvidĂme, ĆŸe pĆĂtomnost danĂœch spojek mĆŻĆŸe zajist platnost Lindenbaumova lemmatu. Keywords: abstraktnĂ algebraickĂĄ logika, infinitĂĄrnĂ logiky, Lindenbau- movo lemma, disjunkce, implikace, negaceIn this thesis we study completeness properties of infinitary propositional logics from the perspective of abstract algebraic logic. The goal is to under- stand how the basic tool in proofs of completeness, the so called Linden- baum lemma, generalizes beyond finitary logics. To this end, we study few properties closely related to the Lindenbaum lemma (and hence to com- pleteness properties). We will see that these properties give rise to a new hierarchy of infinitary propositional logic. We also study these properties in scenarios when a given logic has some (possibly very generally defined) connectives of implication, disjunction, and negation. Among others, we will see that presence of these connectives can ensure provability of the Lin- denbaum lemma. Keywords: abstract algebraic logic, infinitary logics, Lindenbaum lemma, disjunction, implication, negationKatedra logikyDepartment of LogicFaculty of ArtsFilozofickĂĄ fakult