This is an introductory handbook for some of the main themes around the notion of predication in Aristotle. It does not aim at being exhaustive, but only sketches some important lines about the subject; it contains an introductory essay, besides the translation (into Portuguese) and commentary of basic texts (such as Posterior Analytics I-22, Categories 1-5, Interpretation 1-6 etc.).

Commentaries on Aristotle's writings have been produced since the 2nd century AD. This edition contains Greek commentaries on his work from the 3rd to the 8th centuries AD by, among others, Alexander of Aphrodiensias, Themistios, Joh. Philoponus, Simplicius in Greek.

This paper is a critical exposition of Prior’s theory of truth as expressed by the following truth locutions: (1) ‘it is true that’ prefixed to sentences; (2) ‘true proposition’; (3) true belief’, ‘true assertion’, ‘true statement’, etc.; (4) ‘true sentence’.

In recent years, speech-act theory has mooted the possibility that one utterance can signify a number of different things. This pluralist conception of signification lies at the heart of Thomas Bradwardine’s solution to the insolubles, logical puzzles such as the semantic paradoxes, presented in Oxford in the early 1320s. His leading assumption was that signification is closed under consequence, that is, that a proposition signifies everything which follows from what it signifies. Then any proposition signifying its own falsity, he showed, (...) also signifies its own truth and so, since it signifies things which cannot both obtain, it is simply false. Bradwardine himself, and his contemporaries, did not elaborate this pluralist theory, or say much in its defence. It can be shown to accord closely, however, with the prevailing conception of logical consequence in England in the fourteenth century. Recent pluralist theories of signification, such as Grice’s, also endorse Bradwardine’s closure postulate as a plausible constraint on signification, and so his analysis of the semantic paradoxes is seen to be both well-grounded and plausible. (shrink)

Thomas Bradwardine makes much of the fact that his solution to the insolubles is in accordance with Aristotle's diagnosis of the fallacy in the Liar paradox as that of secundum quid et simpliciter. Paul Spade, however, claims that this invocation of Aristotle by Bradwardine is purely "honorary" in order to confer specious respectability on his analysis and give it a spurious weight of authority. Our answer to Spade follows Bradwardine's response to the problem of revenge: any proposition saying of itself (...) that it is false says more than does Bradwardine's proposition saying of it that it is false, and so follows from that other proposition only in respect of part of what it says, and not simpliciter. (shrink)

A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

The syntax of Frege's scientific language is commonly taken to be characterized by two oddities: the representation of the intended illocutionary role of sentences by a special sign, the judgement-stroke, and the treatment of sentences as a species of singular terms. In this paper, an alternative view is defended. The main theses are: the syntax of Frege's scientific language aims at an explication of the logical form of judgements; the judgement-stroke is, therefore, a truth-operator, not a pragmatic operator; in Frege's (...) first system, '⊦ Δ' expresses that the circumstance Δ is a fact, and in his second system that the truth-value - Δ is the True; in both systems, the judgement-stroke is construed as a sign sui generis, not as a genuine predicate; its counterpart in natural language is the syntactic "form of assertoric sentences", not the truth-predicate; neither in Frege's first nor in his second system sentences are treated as singular terms. (shrink)

Mesmo reconhecido por diversos autores recentes como precursor dos modernos conceitos de produtores de verdade e de produção de verdade, nenhum tratamento destes conceitos na obra de Aristóteles ainda foi apresentado. O presente artigo procura fazer uma apresentação introdutória destes conceitos no pensamento do mestre do Liceu através da análise de algumas passagens retiradas de Categorias e da Metafísica, mostrando que o conceito de produtor de verdade é determinado pela noção de estado de coisas e a relação de produção de (...) verdade por meio dos conceitos de fundação ontológica e de dependência ontológica. (shrink)

Two periods in the history of logic and philosophy are characterized notably by vivid interest in self-referential paradoxical sentences in general, and Liar sentences in particular: the later medieval period (roughly from the 12th to the 15th century) and the last 100 years. In this paper, I undertake a comparative taxonomy of these two traditions. I outline and discuss eight main approaches to Liar sentences in the medieval tradition, and compare them to the most influential modern approaches to such sentences. (...) I also emphasize the aspects of each tradition that find no counterpart in the other one. It is expected that such a comparison may point in new directions for future research on the paradoxes; indeed, the present analysis allows me to draw a few conclusions about the general nature of Liar sentences, and to identify aspects that would require further investigation. (shrink)

la82 12.00 Normal 0 21 false false false PT-BR X-NONE X-NONE MicrosoftInternetExplorer4 /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Tabela normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin-top:0cm; mso-para-margin-right:0cm; mso-para-margin-bottom:10.0pt; mso-para-margin-left:0cm; line-height:115%; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-fareast-language:EN-US;} Este artigo mostra que o princípio primário da ciência do ente enquanto ente, apresentado e defendido por Aristóteles no Livro IV da Metafísica , é constituído pela bi-implicaçáo necessária (modal) entre os princípios de náo-contradiçáo e do terceiro excluído, (...) e náo somente, como na interpretaçáo tradicional, pelo primeiro destes princípios. Tal é mostrado através de uma interpretaçáo de uma parte do capítulo 3 e, em especial, de três partes do capítulo 4 deste escrito, onde Aristóteles desenvolve o que chamou "demonstraçáo refutativa", que consiste na demonstraçáo indireta do princípio primário por meio da refutaçáo da tese que nega (de modo forte) este mesmo princípio. A interpretaçáo apresentada no artigo mostra que neste procedimento lógico Aristóteles está defendendo tanto o princípio de náo-contradiçáo quanto o princípio do terceiro excluído, assumindo ambos como formulações equivalentes do princípio primário da ciência do ser enquanto ser.  . (shrink)