Über diesen Artikel
Online veröffentlicht: 01. Nov. 2017
Seitenbereich: 3 - 9
DOI: https://doi.org/10.1515/sh-2017-0023
Schlüsselwörter
© 2017 Guilherme Kubiszeski, published by De Gruyter Open
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
This paper presents a fundamental difference between negative semantics for free logics and positive ones regarding the logical relations between existence and predication. We conclude that this difference is the key to understand why negative free logics are stronger, i.e., they prove more, than positive free logics.