World Library  


QR link for A Modal Logic for Gödelian Intuition
Open EEWOWW
Add to Book Shelf
Flag as Inappropriate
Email this Book

A Modal Logic for Gödelian Intuition

By Khudairi, Hasen

Click here to view

Book Id: WPLBN0100003194
Format Type: PDF (eBook)
File Size: 153.28 KB.
Reproduction Date: 9/22/2018

Title: A Modal Logic for Gödelian Intuition  
Author: Khudairi, Hasen
Volume:
Language: English
Subject: Non Fiction, Philosophy
Collections: Authors Community, Philosophy
Historic
Publication Date:
2018
Publisher: Self-published
Member Page: Hasen Khudairi

Citation

APA MLA Chicago

Khudairi, H. (2018). A Modal Logic for Gödelian Intuition. Retrieved from http://www.self.gutenberg.org/


Description
This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the axioms of a dynamic provability logic, which embeds GL within the modal $\mu$-calculus. Via correspondence results between modal logic and first-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages.


 

Click To View

Additional Books


  • Родени Убийци (by )
  • Small Lie, Big Trouble (by )
  • Partners in Crime (by )
  • The Middle Grounds (by )
  • The Demon from Under the Deep (by )
  • Survival (by )
  • Jessica Marks (by )
  • Lead US to the Light (by )
  • Lost Souls (by )
  • Power Watcher (by )
  • Running from Home (by )
  • The Time Keeper (by )
Scroll Left
Scroll Right

 



Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.