Abstract
Abstract In this paper I propose a version of interrogative logic as a form of representation of the underlying logic of scientific practices—a kind of model-based reasoning, since it takes into account an oracle or model that can be consulted—by means of modified tableaux that can represent a game with two types of moves: logical steps and queries, governed by (modified) tales and a query rule, respectively. In this way, the process of acquiring knowledge is analogous to the justification of a thesis through the method of modified tableaux.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.