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

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


  • A Guide To the Hidden Wisdom of Kabbalah (by )
  • Attaining the Worlds Beyond (by )
  • Basic Concepts in Kabbalah (by )
  • Kabbalah, Science and the Meaning of Lif... (by )
  • The Kabbalah Experience (by )
  • The Path of Kabbalah (by )
  • The Science of Kabbalah (Pticha) Volume 1 (by )
  • Interview with the Future (by )
  • Introduction to the Book of Zohar Volume 2 (by )
  • The Open Book (by )
  • Selected Poetry 
  • I Was Walking through a Bookstore the Ot... 
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.