Special issues of Logic Journal of the IGPL ”Non-Classical Modal and Predicate Logics”

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F19%3A00512111" target="_blank" >RIV/67985807:_____/19:00512111 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Special issues of Logic Journal of the IGPL ”Non-Classical Modal and Predicate Logics”

Popis výsledku v původním jazyce

SOURCE: Logic Journal of the IGPL. Roč. 27, č. 4 (2019), s. 385-386. ISSN 1367-0751. ABSTRACT: There was a time when modal logic—any modal logic—was ‘non-classical’. In the early 1950s, someone as influential as Quine was still arguing that quantifying into modal contexts is incoherent (see, e.g. (4)). Today, modal logic is not only widely accepted but also a thriving, crowded research topic, having become a tool applicable in a vast array of areas. The notion that using modal operators at all is non-classical (which, in the mid-20th century, meant the same thing as deviant) now seems almost quaint. To be ‘non-classical’ in modal logic today means taking a much larger step beyond the narrow confines of two-valued classical logic than it did when Quine wrote.

Název v anglickém jazyce

Special issues of Logic Journal of the IGPL ”Non-Classical Modal and Predicate Logics”

Popis výsledku anglicky

SOURCE: Logic Journal of the IGPL. Roč. 27, č. 4 (2019), s. 385-386. ISSN 1367-0751. ABSTRACT: There was a time when modal logic—any modal logic—was ‘non-classical’. In the early 1950s, someone as influential as Quine was still arguing that quantifying into modal contexts is incoherent (see, e.g. (4)). Today, modal logic is not only widely accepted but also a thriving, crowded research topic, having become a tool applicable in a vast array of areas. The notion that using modal operators at all is non-classical (which, in the mid-20th century, meant the same thing as deviant) now seems almost quaint. To be ‘non-classical’ in modal logic today means taking a much larger step beyond the narrow confines of two-valued classical logic than it did when Quine wrote.

Druh

O - Ostatní výsledky

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2019

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů