The goal of this paper is to figure out whether Aristotle's response to the argument for fatalism in De Interpretatione 9 is a success. By "response" it is meant not simply the reasons Aristotle offers to highlight why fatalism does not accord with how we conduct our lives, but also the solution he devises to block the argument for fatalism. This paper finds that a) Aristotle's argument for fatalism is essentially bivalence plus that the truth of a proposition implies necessity, (...) b) that Aristotle's solution is to restrict bivalence, c) that this solution is coherent, and d) that while this solution does not rule out the possibility of fatalism, it does succeed in blocking the argument for fatalism offered within chapter 9. El objetivo de este trabajo es esclarecer si la respuesta de Aristóteles al argumento a favor del fatalismo en De Interpretatione 9 resulta exitosa. Por "respuesta" se entienden no solo las razones que da Aristóteles para destacar porqué el fatalismo no concuerda con la manera en que llevamos nuestras vidas, sino también la solución que ofrece para bloquear el argumento a favor del fatalismo. El artículo plantea a) que el argumento de Aristóteles respecto del fatalismo consiste esencialmente en la bivalencia más el hecho de que la verdad de una proposición implica necesidad; b) que la solución de Aristóteles es restringir la bivalencia; c) que esta solución es coherente, y d) que si bien esta solución no elimina la posibilidad del fatalismo, sí logra bloquear el argumento a favor del fatalismo ofrecido en el capítulo 9. O objetivo deste trabalho é esclarecer se a resposta de Aristóteles ao argumento a favor do fatalismo em De Interpretatione 9 é bem-sucedida. Por "resposta" se entendem não somente as razões que Aristóteles dá para destacar por que o fatalismo não está de acordo com a maneira em que levamos nossas vidas, mas também a solução que oferece para bloquear o argumento a favor do fatalismo. Este artigo propõe que: a) o argumento de Aristóteles a respeito do fatalismo consiste essencialmente na bivalência mais o fato de que a verdade de uma proposição implica necessidade; b) a solução de Aristóteles é restringir a bivalência; c) essa solução é coerente, e d) embora essa solução não elimine a possiblidade do fatalismo, consegue bloquear o argumento a favor dele oferecido no capítulo 9. (shrink)

Open theists agree that God lacks what is normally called “comprehensive” foreknowledge, but why believe this? Open theists answer in three ways, which I call the narrow road, the wide road, and the shortcut to open theism. Here I argue that (1) the narrow road faces a difficulty concerning the doctrine of divine omniscience which doesn’t arise for the wide road, (2) the wide road is well-motivated and appealing, given certain philosophical commitments, (3) the shortcut is too simple to work, (...) and (4) William Lane Craig’s objections to the wide road fail. I conclude with some observations about the state of the dispute between open theists and their critics. (shrink)

In this article, the author attempts to explicate the notion of the best known Talmudic inference rule called qal wa-omer. He claims that this rule assumes a massive-parallel deduction, and for formalizing it, he builds up a case of massive-parallel proof theory, the proof-theoretic cellular automata, where he draws conclusions without using axioms.

Some authors have talken about the problem of the future contingents Aristotle exposed in De Interpretatione IX. But most of them do not explain the role of that chapter in his own work. Last analysis always try to find a formal solution. And this is very significative because De Interpretatione is a treatise that belongs to the semantic of the Organon. In this article we show that: 1. The aim of the problem of future contigents is not only formal and (...) the frame of the Aristotle’s solution. 2. Its implication with others important concepts in his philosophy like “substance”, “truth” and “dialectics”. (shrink)