ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-08
    Description: This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail. It is shown that important notions, including logical answerhood and dependency, emerge as facets of the fundamental notion of entailment once logic is extended to questions, and can therefore be treated with the logician’s toolkit, including model-theoretic constructions and proof systems. After motivating the enterprise, the book describes how classical propositional and predicate logic can be made inquisitive—i.e., extended conservatively with questions—and what the resulting logics look like in terms of meta-theoretic properties and proof systems. Finally, the book discusses the tight connections between inquisitive logic and dependence logic.
    Keywords: Logic of Questions ; Inquisitive Logic ; Information Semantics ; Logic of Dependency ; Dependence Logic ; Intuitionistic Logic ; Proofs-as-Programs ; Information Types ; role of questions in logic ; Questions in propositional logic ; reasoning with questions ; Questions in first-order logic ; Questions in modal logic ; Connections with intuitionistic logic ; Connections with dependence logic ; how classical logic can be made inquisitive ; connection inquisitive, intuitionistic, dependence logic ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    facet.materialart.
    Unknown
    Oxford University Press
    Publication Date: 2024-03-24
    Description: There is an age-old tradition in linguistics and philosophy to identify the meaning of a entence with its truth-conditions. This can be explained by the fact that linguistic and philosophical investigations are usually carried out in a logical framework that was originally designed to characterize valid reasoning. Indeed, in order to determine whether an argument is valid, it suffices to know the truth-conditions of the premises and conclusion. However, argumentation is neither the sole, nor the primary function of language. One task that language more widely and ordinarily fulfils is to enable the exchange of information between conversational participants. Inquisitive semantics is a new logical framework for the analysis of this fundamental usage of language. Information exchange can be seen as a process of raising and resolving issues. Inquisitive semantics provides a new formal notion of issues, which makes it possible to model various concepts that are crucial for the analysis of linguistic information exchange in a more refined and more principled way than has been possible in previous frameworks. This book provides a detailed exposition of inquisitive semantics, and demonstrates its benefits with a range of applications in the semantic analysis of questions, coordination, modals, conditionals, and intonation.
    Keywords: inquisitive semantics ;  questions ;  coordination ;  modals ;  conditionals ;  intonational meaning ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFA Philosophy of language ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFG Semantics, discourse analysis, stylistics ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFK Grammar, syntax and morphology ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...