Essays about: "mathematical logic"

Showing result 1 - 5 of 21 essays containing the words mathematical logic.

  1. 1. Influence of Bold Text on Decision-Making within Formal Argumentation

    University essay from Umeå universitet/Institutionen för psykologi

    Author : Leo Evijärvi; [2023]
    Keywords : formal argumentation; nudging; choice architecture; bold text;

    Abstract : Formal argumentation aims to provide a structured framework for cognitively compatible automated reasoning in the context of artificial intelligence; however, due to its roots in mathematical logic, formal argumentation research is typically focused on formal, ‘object-level’ aspects. It has yet to be studied how environmental, ‘meta-level’ structures, can affect human intuitions regarding the formalized model. READ MORE

  3. 2. Abstract Logics and Lindström's Theorem

    University essay from Uppsala universitet/Algebra, logik och representationsteori

    Author : Niclas Bengtsson; [2023]
    Keywords : model theory; abstract model theory; logic; mathematical logic; abstract logic; Lindström s Theorem; infinitary logics; strength of logics; cardinality quantifiers; modellteori; abstrakt modellteori; logik; matematisk logik; abstrakt logik; Lindströms sats;

    Abstract : A definition of abstract logic is presented. This is used to explore and compare some abstract logics, such as logics with generalised quantifiers and infinitary logics, and their properties. Special focus is given to the properties of completeness, compactness, and the Löwenheim-Skolem property. READ MORE

  4. 3. On Russell’s Paradox and Attempted Resolutions

    University essay from Umeå universitet/Institutionen för idé- och samhällsstudier

    Author : Hannes Salin; [2023]
    Keywords : Russell’s paradox; paradoxes; set theory; sets; collections; logic;

    Abstract : This thesis explores Russell’s Paradox and the comparative analysis of Zermelo-Fraenkel set theory, von Neumann-Bernays-Gödel set theory, and Russell’s Type Theory from a mathematical Platonist perspective, focusing on the ontology of sets. Our conclusion posits that, although these theories have made significant attempts in addressing Russell’s paradox and other inconsistencies of naïve set theory, we currently lack a proper language for expressing set theory that fully captures the underlying Platonic world of sets. READ MORE

  5. 4. RF Compressor (SLED) Phase-Modulation to Reduce Peak Fields in the MAX IV Linear Accelerator

    University essay from Lunds universitet/Institutionen för elektro- och informationsteknik

    Author : Joel Ekström; [2023]
    Keywords : Accelerator; MAX IV; LINAC; Phase-modulation; SLED; Pulse compression; Technology and Engineering;

    Abstract : Modern particle accelerators need strong electric fields in order to produce high energy particles. Such high voltages are typically reached by injecting pulsed radio frequency power through several steps of amplification. At the end, pulse compression is used to further improve the energy gain at the cost of pulse-length. READ MORE

  6. 5. Control System Simulator for MIMO Tank Level using Self-tuning PID-Fuzzy Adaptive Controller

    University essay from Högskolan i Gävle/Avdelningen för elektroteknik, matematik och naturvetenskap

    Author : Sinan Ibrahim; [2022]
    Keywords : ;

    Abstract : According to Oxford dictionary, the word intelligence is derived fromintellect, which is the ability of knowing, reasoning and understanding.Intelligent behaviour is thus the ability to reason, plan and learn, which in turnrequires access to knowledge. READ MORE