[图书][B] Shadows of syntax: Revitalizing logical and mathematical conventionalism
J Warren - 2020 - books.google.com
What is the source of logical and mathematical truth? This volume revitalizes
conventionalism as an answer to this question. Conventionalism takes logical and …
conventionalism as an answer to this question. Conventionalism takes logical and …
Implicit and explicit stances in logic
J van Benthem - Journal of Philosophical Logic, 2019 - Springer
We identify a pervasive contrast between implicit and explicit stances in logical analysis and
system design. Implicit systems change received meanings of logical constants and …
system design. Implicit systems change received meanings of logical constants and …
The dynamics of argumentative discourse
AW Kocurek, C Pavese - Journal of Philosophical Logic, 2022 - Springer
Arguments have always played a central role within logic and philosophy. But little attention
has been paid to arguments as a distinctive kind of discourse, with its own semantics and …
has been paid to arguments as a distinctive kind of discourse, with its own semantics and …
Relational patterns, partiality, and set lifting in modal semantics
J Van Benthem - Saul Kripke on Modal Logic, 2021 - Springer
Relational patterns, partiality, and set lifting in modal semantics Page 103 Chapter 5 Relational
Patterns, Partiality, and Set Lifting in Modal Semantics Johan van Benthem Abstract We …
Patterns, Partiality, and Set Lifting in Modal Semantics Johan van Benthem Abstract We …
Relational Patterns, Partiality, and Set Lifting in Modal Semantics
J Benthem - Saul Kripke on Modal Logic, 2024 - Springer
Relational Patterns, Partiality, and Set Lifting in Modal Semantics | SpringerLink Skip to
main content Advertisement SpringerLink Account Menu Find a journal Publish with us …
main content Advertisement SpringerLink Account Menu Find a journal Publish with us …
Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
L Humberstone, ST Kuhn - Notre Dame Journal of Formal Logic, 2022 - projecteuclid.org
A notable early result of David Makinson establishes that every monotone modal logic can
be extended to LI, LV, or LF, and every antitone logic can be extended to LN, LV, or LF …
be extended to LI, LV, or LF, and every antitone logic can be extended to LN, LV, or LF …
Expressive Power and Intensional Operators
P Cubides Kovacsics, D Rey - Journal of Logic, Language and Information, 2024 - Springer
Abstract In Entities and Indices, MJ Cresswell argued that a first-order modal language can
reach the expressive power of natural-language modal discourse only if we give to the …
reach the expressive power of natural-language modal discourse only if we give to the …
On the Comparisons of Logics in Terms of Expressive Power
DP Fernandes - Manuscrito, 2023 - SciELO Brasil
This paper investigates the question “when is a logic more expressive than another?” In
order to approach it,“logic” is understood in the model-theoretic sense and, contrary to other …
order to approach it,“logic” is understood in the model-theoretic sense and, contrary to other …
Expressive Power and Intensional Operators
PC Kovacsics, D Rey - 2024 - philpapers.org
Abstract In Entities and Indices, MJ Cresswell argued that a first-order modal language can
reach the expressive power of natural-language modal discourse only if we give to the …
reach the expressive power of natural-language modal discourse only if we give to the …
The Dynamics of Argumentative Discourse
C Pavese, AW Kocurek - 2021 - philpapers.org
Arguments have always played a central role within logic and philosophy. But little attention
has been paid to arguments as a distinctive kind of discourse, with its own semantics and …
has been paid to arguments as a distinctive kind of discourse, with its own semantics and …