English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

In  Formale Logik , published in 1956, J. M. Bocheński presented his first proposal for the solution to the liar paradox, which he related to Paul of Venice's argumentation from  Logica Magna . A formalized version of this solution was then presented in  Formalisierung einer scholastischen Lösung der Paradoxie des ‘Lügners’  in 1959. The historical references of the resulting formalism turn out to be closer to Albert de Saxon's argument and the later solution by John Buridan. Bocheński did not pose the question of the consistency of his theory. The case was taken up by B. Sobociński in his private letter to Bocheński from 12 August 1954. Sobociński used a smart translation of the language of Bocheński's theory into the classical propositional language with the notions of truth and falsehood inverted. The translation preserves the structure of the formalized solution. We explore Sobociński's idea and reconstruct his original proof.

The Consistency of a Certain Medieval-Like Solution to the Liar Paradox. Proof Given by Bolesław Sobociński