Il libro di C., che costituisce il quinto volume della nuova promettente collana diretta da E.V. Maltese, nella quale sono già apparsi importanti contributi ed altri sono annunciati, comprende l'edizione critica e il commento di una parte delle poesie anacreontiche giunte sino a noi nella ben nota raccolta tramandata, mutila, come dimostra l'indice antico dei ff. 1-7, dal codice Barb. gr. 310, e più precisamente i componimenti classicheggianti sopravvissuti nella prima parte del manoscritto, con l'esclusione delle anacreontiche di Sofronio di (...) Gerusalemme, tutte già ripubblicate in edizione critica nel 1957, e dell'anacreontica di Michele Sincello, riedita in anni recenti. Anche i poemetti dei cinque autori scelti da C. — Elia Sincello, Ignazio Diacono, Leone Magistro, Giovanni di Gaza e Giorgio Grammatico — sono stati, per la verità, già pubblicati (e taluni tradotti in italiano) una o più volte, e forse, almeno da un punto di vista utilitaristico, sarebbe valsa la pena di ripubblicare tutta la sezione di anacreontiche classicheggianti della Silloge. Tanto più che questa nuova edizione ha soprattutto il merito di consentire al lettore italiano, anche non bizantinista, una uniforme consultazione di testi complessi ed eterogenei, degli apparati, della traduzione a fronte, accompagnata da note di commento; sebbene l'indice generale del volume, poco dettagliato, e non preceduto da un indice dei nomi, non aiuti il lettore nell'individuazione immediata dei testi e degli argomenti. (shrink)

The proofs of universally quantified statements, in mathematics, are given as “schemata” or as “prototypes” which may be applied to each specific instance of the quantified variable. Type Theory allows to turn into a rigorous notion this informal intuition described by many, including Herbrand. In this constructive approach where propositions are types, proofs are viewed as terms of λ-calculus and act as “proof-schemata”, as for universally quantified types. We examine here the critical case of Impredicative Type Theory, i. e. Girard's (...) system F, where type-quantification ranges over all types. Coherence and decidability properties are proved for prototype proofs in this impredicative context. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Triumphus in PalatioJohn F. MillerAs one of the many tokens of its symbolic centrality in Roman culture, the Capitoline Hill received the triumphator at the end of his ceremonial return to Rome. For centuries generals who had been granted a triumphus concluded the elaborate sacral procession through the city with a sacrifice at the Temple of Jupiter Optimus Maximus, the god most intimately associated with this religious institution.1 The (...) strongly local character of Roman cults made it nearly unthinkable to celebrate the solemn event anywhere else in Rome, but artistic imagination feels itself less bound by religious scruples. Two such ingenious revisions of the triumphal parade displace its endpoint to the Temple of Apollo on the Palatine Hill. Virgil imagines Octavian's great triple triumph of 29 B.C. taking place there, while other ancient evidence leads us to believe that the victor really proceeded to the Capitoline like countless imperatores triumphantes before him.2 The poet sets the celebration at the shrine of the deity credited with the victory at Actium, the shrine which Octavian built adjacent to his own house. The Palatine was becoming the imperial palace complex, the triumph a prerogative of the imperial family.3 When these developments had been fully realized, Nero in December A.D. 674 staged an eccentric victory procession which likewise climaxed at Apollo's Palatine temple. As returning victor in the festivals [End Page 409] of Greece he aimed to align himself with Apollo as patron of the arts, expressing now in topographical terms his frequent association with that deity.5 The lyre-playing god greeted the lyre-playing emperor, and vice versa. On the other hand, it is not irrelevant that one whom Pliny termed imperator scaenicus, "an actor-emperor" (Pan. 46.4), rode in the path of Virgil's fictional Augustus. The present essay explores the phenomenon triumphus in Palatio by explicating the two instances in the light of their ideological impulses. A further aim is to throw into relief the Augustan dimensions of Nero's triumphal ceremony, to show how the emperor in effect acted the part of Octavian riding in triple triumph.On the shield in Aeneid 8 Virgil inventively describes the triple triumph which Octavian celebrated in August 29 B.C. for victories in Illyricum, Actium, and Egypt:at Caesar, triplici invectus Romana triumphomoenia, dis Italis votum immortale sacrabat,maxima ter centum totam delubra per urbem.laetitia ludisque viae plausuque fremebant;omnibus in templis matrum chorus, omnibus arae;ante aras terram caesi stravere iuvenci.ipse sedens niveo candentis limine Phoebidona recognoscit populorum aptatque superbispostibus; incedunt victae longo ordine gentes...(8.714-22)One finds here familiar features of any triumphus: the imperator triumphans formally entering the city precinct (714-15), bystanders en route applauding the procession (717), the sacrifice of bulls (719), concluding dedications at a temple (720-22), and the display of captives, placards, and models illustrating the victor's conquests (722-28). But Virgil has also rewritten this triumph to take in a wider sacral and historical context. In verse 719 the general prayers and sacrifices and the prominent role of women suggest a supplicatio, a ritual often associated with but [End Page 410] formally distinct from triumphs.6 While triumphing commanders fulfilled vows which they made on the Capitol before their campaigns, Octavian's triumph is marked by the impressive votum of numerous mighty shrines throughout the city (715-16).7 Caesar's celebration looks ahead as well as backwards; it in effect announces the emergent leader's vast program of building and restoring temples, which was especially prominent in the period immediately after the triumph of 29.8 For Virgil, Caesar's triumphus inaugurates the religious renewal of Rome.By far the most momentous changes to the regular triumph occur in the scene at Apollo's gleaming temple, which in this context must be the new Palatine shrine.9 Whether dona... populorum (721) are the [End Page 411] ceremonial crowns which captives presented to the victor or euphemistically denote battle spoils from various peoples, the act of affixing them to the temple suggests that the triumphator has reached the triumph's end point. So does... (shrink)

Since the discovery of incommensurability in ancient Greece, arithmeticism and geometricism constantly switched roles. After ninetieth century arithmeticism Frege eventually returned to the view that mathematics is really entirely geometry. Yet Poincaré, Brouwer, Weyl and Bernays are mathematicians opposed to the explication of the continuum purely in terms of the discrete. At the beginning of the twenty-first century ‘continuum theorists’ in France (Longo, Thom and others) believe that the continuum precedes the discrete. In addition the last 50 years witnessed (...) the revival of infinitesimals (Laugwitz and Robinson—non-standard analysis) and—based upon category theory—the rise of smooth infinitesimal analysis and differential geometry. The spatial whole-parts relation is irreducible (Russell) and correlated with the spatial order of simultaneity. The human imaginative capacities are connected to the characterization of points and lines (Euclid) and to the views of Aristotle (the irreducibility of the continuity of a line to its points), which remained in force until the ninetieth century. Although Bolzano once more launched an attempt to arithmetize continuity, it appears as if Weierstrass, Cantor and Dedekind finally succeeded in bringing this ideal to its completion. Their views are assessed by analyzing the contradiction present in Grünbaum’s attempt to explain the continuum as an aggregate of unextended elements (degenerate intervals). Alternatively a line-stretch is characterized as a one-dimensional spatial subject, given at once in its totality (as a whole) and delimited by two points—but it is neither a breadthless length nor the (shortest) distance between two points. The overall aim of this analysis is to account for the uniqueness of discreteness and continuity by highlighting their mutual interconnections exemplified in the nature of a line as a one-dimensional spatial subject, while acknowledging that points are merely spatial objects which are always dependent upon an extended spatial subject. Instead of attempting to reduce continuity to discreteness or discreteness to continuity, a third alternative is explored: accept the irreducibility of number and space and then proceed by analyzing their unbreakable coherence. The argument may be seen as exploring some implications of the view of John Bell, namely that the “continuous is an autonomous notion, not explicable in terms of the discrete.” Bell points out that initially Brouwer, in his dissertation of 1907, “regards continuity and discreteness as complementary notions, neither of which is reducible to each other.”. (shrink)

Os sistemas de cômputo do tempo na Índia são extremamente complexos, devido a dois factores: em primeiro lugar a coexistência não só de diversas teorias e tabelas astronómicas mas também de diferentes calendários, que em parte resulta de a Índia raramente ao longo da sua história ter constituído uma unidade política; em segundo lugar uma grande preocupação, quiçá de origem mágica, com a objectividade astronómica dos dados utilizados no cômputo do tempo. Do primeiro factor indicado resultam, por exemplo, a (...) coexistência de calendários solares, predominantes em certas regiões, com calendários luni-solares nas restantes, a contagem dos meses a partir da lua-nova ou da lua-cheia, consoante as zonas, etc. Do segundo resultam por exemplo: a adopção de estranhas unidades de tempo, como o tithi (que se pode definir como a trigésima parte de uma lunação, ou, em outros termos, o tempo que, após uma conjunção com o Sol ou seja uma lua-nova, a Lua demora a afastar-se deste 12° sobre o zodíaco); a entrada em conta da precessão dos equinócios para efeitos de determinação do início dos signos do zodíaco; etc. O presente artigo procura resumir e explicar essa diversidade de uma perspectiva histórica, pondo-a em relação com a evolução da astronomia indiana. (shrink)

O artigo em questão procurará pensar o tratamento dado por Gilles Deleuze ao Discurso Indireto Livre [DIL] ao longo de sua obra, escrita ou não em parceria com Félix Guattari. Compreendido como uma estratégia discursiva, partimos da hipótese que o DIL possui um papel singular do exercício filosófico de Deleuze em relação à História da Filosofia.; permitindo-lhe escapar da função repressora que essa exerceria sobre o pensamento. Por permitir uma despersonificação do próprio filosofar, ademais, o DIL possibilitaria transmutar a (...) filosofia em atividade criativa e não reflexiva. Em tempos em que Deleuze é cada vez mais lido e comentado, no qual trabalhos de cunho exegético – ou de cunho experimental – surgem em profusão nas áreas de saber as mais diversas, recuperar o uso estratégico do discurso indireto livre por parte do filósofo francês talvez se demonstre uma tarefa profícua. (shrink)

Esta coletânea é um tributo a Peter Frederick Strawson pelo centenário de seu nascimento (1919-2019). Diferentemente de outras coletâneas, esta propõe colocar em relevo a interlocução de Strawson com a tradição filosófica. Em outras palavras, por um lado, queremos evidenciar as discussões que Strawson travou com os seus contemporâneos (Austin, Quine, Russell e Wittgenstein), e, por outro, a influência que recebeu e as críticas que dirigiu àqueles que o precederam na história da filosofia (Aristóteles, Descartes, Hume, Kant). Poderíamos ter enriquecido (...) a lista acima com o nome de muitos outros filósofos com os quais Strawson teve contato, mas julgamos que o trabalho ficaria bastante extenso. Por esse motivo, optamos por aqueles nomes mais significativos que figuram na construção da história intelectual de Strawson. O presente volume reúne nove capítulos que levam como título o nome de Strawson e do filósofo com o qual ele dialogou ao longo de suas obras. Essa opção na nomeação dos capítulos por si só já permite colocar em evidência os principais filósofos pelos quais Strawson se interessou e com os quais se confrontou ao longo de seu trabalho filosófico. Com exceção do capítulo sobre Wittgenstein, que é uma versão revisada de um texto publicado anteriormente, todos os outros capítulos são inéditos e foram escritos especialmente para esta coletânea. O volume inclui na abertura a tradução de “Um fragmento de autobiografia intelectual”, de P. F. Strawson. Quando elegemos como título desta obra, Strawson e a tradição filosófica, não estamos insinuando que Strawson é um historiador da filosofia e muito menos que se interesse por historiografia. O título desta obra apenas quer indicar que Strawson, por um lado, transita na história da filosofia com alguma facilidade, além de nutrir um grande apreço por ela e, por outro, que ele discute com os principais nomes da história da filosofia no que concerne aos temas de seu interesse. A sua proposta filosófica é alimentada e irrigada por esse conhecimento, o que lhe dá a possibilidade de assumir na maioria das vezes posições ponderadas e equilibradas acerca de temas complexos por ele tratados. ​ ISBN: 978-85-5696-689-6. Nº de pág.: 244. (shrink)

Considerando retrospectivamente os desdobramentos da filosofia, é possível observar que, antes de reconhecer e reafirmar as singularidades de seu exercício, o discurso filosófico tem sua origem intimamente associada à poesia. Evidenciando alguns momentos de cisão e outros momentos de contato entre o discurso poético e o discurso filosófico, o presente ensaio visa abordar e refletir sobre o diálogo entre esses dois discursos ao longo do tempo. Nesse horizonte, consideraremos estrategicamente os trabalhos de autores como Homero, Platão, Goethe, F. Schlegel (...) e Schelling, a fim de evidenciar as oscilações e salientar alguns movimentos específicos dentro desse longo diálogo. (shrink)

Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe the structure of their instances by the following equational principle: if two generic programs, viewed as terms of type , are equal at any given instance A[T], then they are equal at all instances. They proved that this rule is admissible in a certain extension of System F, but finding a (...) semantically motivated model satisfying this principle remained an open problem.In the present paper, we construct a categorical model of polymorphism, based on game semantics, which contains a large collection of generic types. This model builds on two novel constructions:•A direct interpretation of variable types as games, with a natural notion of substitution of games. This allows moves in games A[T] to be decomposed into the generic part from A, and the part pertaining to the instance T. This leads to a simple and natural notion of generic strategy.•A “relative polymorphic product” which expresses quantification over the type variable Xi in the variable type A with respect to a “universe” which is explicitly given as an additional parameter B. We then solve a recursive equation involving this relative product to obtain a universe in a suitably “absolute” sense.Full Completeness for ML types is proved for this model. (shrink)

RESUMO O artigo pretende mostrar como o esforço de Benjamin no sentido de fundar uma nova crítica de arte remonta ao mesmo tempo ao primeiro Romantismo de Iena e à Filosofia de Hegel. Enquanto Hegel proclama o fim da estética e da obra de arte tradicional, os românticos, na figura de F. Schlegel e Novalis, apontam para a continuação de um discurso filosófico da arte que prescinde dos pressupostos tradicionais, utilizando-se de conceitos tais como crítica imanente e médium-de-reflexão. A partir (...) disso, o artigo procura mostrar como essa dupla herança permanece ao longo das principais obras de Benjamin, com destaque para o “Drama trágico alemão” e a obra das “Passagens”, em cujo centro se situa o conceito de montagem. Por fim, recorrendo à influência marxista, o texto esboça algumas consequências políticas dessa crítica de arte que, desenvolvida desde a juventude, permanece nos textos de maturidade. ABSTRACT The article aims to show how Benjamin's effort to found a new art criticism goes back to the first romanticism of Iena and to Hegel's philosophy. While Hegel proclaims the end of aesthetics and of the traditional work of art, the romantics, in the figure of F. Schlegel and Novalis, point to the continuation of a philosophical art discourse that ignores the traditional presuppositions, using concepts such as immanent criticism and medium-of-reflection. Based on that, this article seeks to show how this double heritage remains throughout the main works of Benjamin, especially the “German Tragic Drama” and the work of the “Passages”, at the center of which is the concept of montage. Finally, resorting to Marxist influence, the text outlines some political consequences of this art criticism that, developed from youth, remains in the texts of maturity. (shrink)

Este artigo propõe uma releitura do artigo Other Minds de J. L. Austin, um exemplo clássico e central do realismo de Oxford, que é hoje exponenciado por autores tão distintos entre si como John McDowell, Timothy Williamson, M. G. F. Martin, Paul Snowdon ou Charles Travis. Um objectivo da leitura é pôr em relevo algumas características da abordagem das questões epistemológicas no seio dessa corrente. Começo por contextualizar o estatuto da investigação epistemológica num quadro de filosofia da linguagem comum. Segue-se (...) uma análise do artigo Other Minds em cinco passos. Finalmente exploro a aplicação ao problema das outras mentes das considerações performativas sobre conhecimento desenvolvidas ao longo do artigo, focando em particular o caso do testemunho. (shrink)

Bernardi Perini, G. Aceto italico e poesia luciliana: Hor. Sat. I 7.--Bernardinello, S. Bessarione riassume la Fisica di Aristotele.--Bottecchia, M. E. I Mechanicha di Aristotele nel Parisinus graecus 2507.--Bottin, L. La tradizione araba della Retorica di Aristotele e il problema dell'exemplar decurtatum.--Chiereghin, F. Analogie di struttura tra la metodologia della storiografia filosofica di Platone e di Kant.--Ciani, M. G. Poesia come enigma.--Degani, E. Hippon. fr. 40 Med.--Donaldi, F. Note preparatorie all'edizione dell'Encomio di Elena gorgiano nella traduzione latina inedita di Pietro (...) Bembo.--Fumarola, V. Euripide e la tetralogia della femminilità.--Gentilini, A. Una consolatoria inedita del Bessarione.--Ghinatti, F. I culti greci di Paestum.--Longo, O. Note all'Elena e alle Nuvole.--Lunelli, A. Solis rota.--Meschini, A. Su alcuni luoghi del Reso.--Mignucci, M. In margine al concetto aristotelico di esistenza.--Mioni, E. L'Antologia greca da Massimo Planude a Marco Musuro.--Pianezzola, E. Haurio=ferio, perfodio. Un calco omerico mediato dagli scolii.--Pontani, F. M. La distruzione di Melos di Ghiannis Ritsos.--Rinaldi Mioni, G. Aspetto verbale nel greco classico e strutturalismo.--Riondato, E. Problematicità semantica ed etica nell'Etica a Nicomaco.--Serra, G. Alcune osservazioni sulle traduzioni dall'arabo in ebraico e in latino del De generatione et corruptione di Aristotele e dello pseudo-aristotelico Liber de causis.--Traina, A. Convexo nutantem pondere mundum (Verg. Ecl. 4,50).--Valentini, R. La reintroduzione dell'onciale e la datazione dei manoscritti greci in minuscola. (shrink)

V nastoi︠a︡shchem izdanii raskryvaetsi︠a︡ biografii︠a︡, a takzhe publikuetsi︠a︡ znachitelʹnai︠a︡ chastʹ ėpistoli︠a︡rnogo nasledii︠a︡ poluzabytogo filosofa Adolʹfa Markovicha Lazareva (1872-1944), odnogo iz blizhaĭshikh druzeĭ, edinomyshlennika i uchenika Lʹva Shestova, istolkovateli︠a︡ ego filosofskikh ideĭ. V knigu vkli︠u︡cheny takzhe statʹi A. Lazareva o L. Shestove -- kak opublikovannye, tak i neizvestnye, sokhranivshiesi︠a︡ v ego arkhive. Prinadlezha k t.n. "shestovskomu" krugu -- k chislu tekh, dli︠a︡ kogo byla blizka i nesomnenna, govori︠a︡ ego sobstvennymi slovami, "volnui︠u︡shchai︠a︡ ubeditelʹnostʹ" mysli velikogo filosofa, A. Lazarev okazalsi︠a︡ fakticheski vne issledovatelʹskogo (...) i chitatelʹskogo vnimanii︠a︡. Dannai︠a︡ kniga i︠a︡vli︠a︡etsi︠a︡, po sushchestvu, pervym opytom privlechʹ interes k ego lichnosti i trudam. (shrink)

Traduçáo do original alemáo: Schelling, F. W. J. "Einleitung zu dem Entwurf eines Systems der Naturphilosophie oder über den Begriff der speculativen Physik und die innere Organisation eines Systems dieser Wissenschaft". In: Schelling, K. F. A. (Org.). Sämmtliche Werke. 14 Bdn. 1 Abt. I-X; 2 Abt. I-IV, Stuttgart/Augsburg: Cota, 1856-1861.

Originally published in 1920 as part of a series of handbooks for teachers, this book of advice to history teachers is still full of practical information on the use of historical sources and possible classroom exercises designed to engage children with the study of the past. This book will be useful to anyone with an interest in the history of education, historical education in particular.