#jsDisabledContent { display:none; } My Account | Register | Help

 Add to Book Shelf Flag as Inappropriate This book will be permanently flagged as inappropriate and made unaccessible to everyone. Are you certain this book is inappropriate?          Excessive Violence          Sexual Content          Political / Social Email this Book Email Address:

# A Modal Logic for Gödelian Intuition

## By Khudairi, Hasen

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: Collections: 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://worldlibrary.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.