O viziune asupra logicii conexive

Titlul original:

A View of Connexive Logics

Conținutul cărții:

Această carte este prima monografie pe tema logicii conexive, o familie de logici non-clasice, bazată pe intuiția conform căreia o propoziție nu poate implica în mod valid și nici nu poate fi implicată prin propria sa negație.

Asemenea logicii relevanței, logica conexă necesită o legătură de sens între antecedentul și consecventul unei implicații valide. Interacțiunea dintre negație și condiționale, precum și cu alte conective, este mai apropiată de anumite utilizări ale acestora în limbile naturale.

Cartea nu este un studiu complet al logicii conexive; mai degrabă, ea prezintă propria viziune a autorului asupra acestor logici, cu accent pe fațetele acestor logici care îl interesează pe autor. Cu toate acestea, ea conține suficient material pentru a familiariza cititorul cu aceste logici, pentru a înțelege cum își au originea și cum sunt motivate, precum și principiile de teorie a probelor și de teorie a modelelor care stau la baza lor.

Se speră că această carte va contribui la popularizarea logicii conexive și la creșterea comunității, în prezent mică, interesată de acestea.

Nissim Francez este profesor emerit de informatică la Technion, Israel Institute.

Of Technology. La un moment dat în cariera sa a trecut de la cercetarea legată de sistemele concurente și.

Programarea distribuită și verificarea programelor la cercetarea în lingvistica computațională, în special semantica formală a limbajului natural. În ultimii ani, a lucrat la semantica teoretică a probelor, în special pentru limbajul natural. Mai recent, a lucrat, de asemenea, asupra logicii non-clasice, inclusiv asupra logicii conexive.