Dissertations / Theses on the topic 'Classical and postclassical languages'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Classical and postclassical languages.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Wingren, Jakob. "“Bridging the Lonely Distances”: A Study of Metaphorical and Physical Voice in Don DeLillo’s The Names from the Perspective of Post-Classical Narratology." Thesis, Malmö universitet, Fakulteten för kultur och samhälle (KS), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-21627.
Full textAtzemoglou, George Philip. "Higher-order semantics for quantum programming languages with classical control." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:9fdc4a26-cce3-48ed-bbab-d54c4917688f.
Full textAlfozan, Abdulrahman Ibrahim. "Assimilation in classical Arabic : a phonological study." Thesis, University of Glasgow, 1989. http://theses.gla.ac.uk/1144/.
Full textLamberto, Katie Ann. "The power dynamics of sound in Dionysiac cult and myth." Thesis, State University of New York at Buffalo, 2015. http://pqdtopen.proquest.com/#viewpdf?dispub=3725944.
Full textA particular range of sounds express the presence and power of the god Dionysos. &Bgr;ϱóμιoς, an epithet almost exclusively applied to Dionysos, especially connotes powerful sounds from the natural world, frenetic sounds, and sounds construed as foreign. The kind of noise conveyed by the name &Bgr;ϱóμιoς is created in the ecstatic worship of Dionysos, generating an aurally-defined mobile and temporary Dionysiac space that blurs boundaries and infringes upon other types of spaces. Dionysiac sound conveys the vitality associated with Dionysos and provides a mechanism for his epiphany.
Accounting for Dionysos’ relationship with sound allows for new readings of Bacchae and Frogs. The aural aspects of Bacchae provide a counterpoint to its rich visual imagery. Pentheus threatens to silence Dionysos and remains oblivious to the importance of sound in Dionysiac worship. When he dresses as a maenad, he assumes only the visual aspects of the cult. Pentheus’ screams are incorporated into the Dionysiac soundscape before he dies, silenced forever. Aristophanes’ Frogs subverts the usual relationship between Dionysos and sound in a way that emphasizes the comical stereotype of the god as weak and incompetent. In particular, both choruses present Dionysiac sound to an oblivious Dionysos. He is irritated by the frogs and enthralled by the initiates.
Johnson-Freyd, Philip. "Properties of Sequent-Calculus-Based Languages." Thesis, University of Oregon, 2018. http://hdl.handle.net/1794/23191.
Full textMwepu, Patrick Kabeya. "Idéologie et esthétique littéraire dans l'Œvre d'Henri Lopes." Doctoral thesis, University of Cape Town, 2001. http://hdl.handle.net/11427/7902.
Full textHenri Lopes, from Congo Brazzaville, is one of the most fully rounded writers in the field of modern African literature. This research is concerned with an analysis of the way in which the ideology, which he has embraced, has permeated all his work, with the result that he expresses an ongoing, unequivocal opposition to part of his own society, while it is in the midst of mutating from its traditional origins to a form of Western modernity.
Margerison, Angus. "Le Français en Afrique du sud :étude portant sur la province du cap occidental." Master's thesis, University of Cape Town, 1999. http://hdl.handle.net/11427/9985.
Full textIt is not unusual for a student to study French from secondary school to university level and still not be able to cornrnunicate effectively with a native speaker. In addition, for many years, apart from translation diplomas, the traditional Bachelor of Arts degree in French prepared students for little more an teaching the language. In South African universities, the introduction of courses in Business French is relatively recent. An individual might be motivated to learn a foreign language because of its aesthetic value or practical use. However, in South Africa, the decision to allocate state funds and school-learning hours towards the promotion and teaching of a foreign language has deeper implications, particularly when there are eleven official languages competing for recognition. In India in early 1900, Michael West had attempted to establish why Indian people should learn English ("in order to read") and how they should learn English ("through reading"). Abbot (1981: 12) called this random teaching of a foreign language "TENOR (teaching English for no obvious reason)". Similarly, the question as to why South Africans should be taught French or) any other foreign language needs to be answered. If not, we risk falling into he same trap as "TENOR" except in this case we will be teaching French for no apparent reason. While the purpose of this research is not to discredit those students who desire to learn French for personal reasons, the main argument presented in this thesis is based on whether South Africans should learn French in order to trade more effectively with Francophone countries. Combining qualitative and quantitative research, preliminary conclusions indicate that an in-depth cost and benefits analysis might prove the link: French language acquisition with economic expansion. However, within the limitations of this research, there is insufficient justification for the allocation of state funding for foreign language acquisition over and above the need for other mainstrearn school disciplines. A more viable solution would be to train and to empploy South Africa's new language resource, that of the Francophone refugees currently living in the country, assuming that they are willing to remain in this country.
Bentley, Gillian Granville. "Post-classical performance culture and the Ancient Greek novel." Thesis, King's College London (University of London), 2014. http://kclpure.kcl.ac.uk/portal/en/theses/postclassical-performance-culture-and-the-ancient-greek-novel(a9f2b1a7-b48d-4686-9f99-62fadb0422bd).html.
Full textSharland, Suzanne Jane. "Horace in dialogue : a Bakhtinian study of speakers, interlocutors, addressees and audiences in the moralising satires of horace sermones books one and two." Doctoral thesis, University of Cape Town, 2000. http://hdl.handle.net/11427/7824.
Full textThis thesis examines a selection of poems from both books of Horace's Satires against a backdrop of the dialogic theoretical system conceptualised by the Russian thinker Mikhail Mikhailovich Bakhtin (1895-1975). The thesis proposes examining Horatian satire or sermo, as Horace himself termed his genre, as the 'conversation' that this name implies it is. Bakhtin himself observed that Horace's Satires were one of the works that could be considered ancient forebears of modern novelistic dialogic discourse, although he failed to elaborate on this. The thesis takes its cue from here, and seeks to explore the ways in which Bakhtinian theory can elucidate the many dialogic facets of the Satires of Horace.
Yung, Lawrence Kwan-chee. "The China which is here : translating classical Chinese poetry." Thesis, University of Warwick, 1998. http://wrap.warwick.ac.uk/36378/.
Full textScarborough, Julia Crosser. "The Silent Shepherd: Pastoral as a Tragic Strategy in Virgil's Aeneid." Thesis, Harvard University, 2014. http://dissertations.umi.com/gsas.harvard:11611.
Full textThe Classics
Belz, Elisabeth Helen Rosemarie. "Styles and Themes Supporting a Feminist Perspective in 'Verfuehrungen.' by Marlene Streeruwitz." The University of Montana, 2008. http://etd.lib.umt.edu/theses/available/etd-05302008-131609/.
Full textMottram, Robert Earl. "Material and Social Relations in Friedrich von Hardenberg's Heinrich von Afterdingen." The University of Montana, 2008. http://etd.lib.umt.edu/theses/available/etd-06172008-150908/.
Full textChandler, Clive. "Philodemus on Rhetoric books 1 and 2 : translation and exegetical essays." Doctoral thesis, University of Cape Town, 2000. http://hdl.handle.net/11427/10252.
Full textThis thesis attempts to elucidate Philodemus' approach to one aspect of paideia, that of rhetoric as treated in the first two books of his On Rhetoric, and to account for this approach within the broader tradition of Epicurean thiking on this discipline. As a preliminary to the investigation of this topic a complete English translation is provided of the most recent edition of the text (Longo Auricchio [1977]). The subsequent study takes the form of series of three essays which seek to clarify Philodemus' conception of the problem and through a close reading, to provide an exegetical commentary on the most important features of Philodemus' approach, especially the way he manages citations from the works of the Founders of Epicureanism in support of his own views.
Rainsberg, Bethany Rose Banister. "Rewriting the Greeks: The Translations, Adaptations, Distant Relatives and Productions of Aeschylus’ Tragedies in the United States of America from 1900 to 2009." The Ohio State University, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=osu1274473610.
Full textWright, Mark B. "The Liber Amicus: Studies in Horace Sermones I." The Ohio State University, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=osu1406208303.
Full textHarrison, Elizabeth Anne. "Instructional choices of Mississippi foreign language teachers." Diss., Mississippi State : Mississippi State University, 2006. http://library.msstate.edu/etd/show.asp?etd=etd-11082006-165055.
Full textGuvelioglu, Recep. "The Practice Of Pr In The Public Sector, The Case Of Turkish Airlines: A Critical Appraisal." Master's thesis, METU, 2006. http://etd.lib.metu.edu.tr/upload/12607817/index.pdf.
Full textt the case all of the time in the public sector. THY is taken as a case in order to provide clear examples of the mentality and practices in public relations in the public sector. The detailed information about the corporation and its public relations units are given to explain the PR activities of the corporation. THY as a state economic corporation, has a socially responsible approach in its service
on the other hand, it is a profit-making entity as well. From the number of assigned personnel to the sub-structural matters and the principles of promotional activities, THY administrationÕ
s approach to public relations is evaluated in this study. v In the selected year of 2003, THY administration was at the edge of changing mentality in public relations issues. Three cases such as the Diyarbak&
#221
r plane crash, SARS crisis and the starting flights to New Delhi are taken to explain the traditional mentality and the new business like mentality in public relations. The public relations in THY is compared with British Airways and Lufthansa in their websites.
Vendel, Agnes. "Discontinuous Noun Phrases in Classical Latin Prose : A Case Study of Cicero's Pro Milone." Thesis, Stockholms universitet, Romanska och klassiska institutionen, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-163275.
Full textRoussou, Stephanie. "Pseudo-Arcadius' Epitome of Herodian's Περὶ καθολικῆς προσῳδίας : with a critical edition and notes on Books 1-8." Thesis, University of Oxford, 2011. http://ora.ox.ac.uk/objects/uuid:235409a4-7f6c-4495-83b3-41f8291f46d4.
Full textKritz, Hanna. "Nadrat al-afaq fi jaza'ir al-waqwaq : At the border of knowledge in classical Arabic literature." Thesis, Stockholms universitet, Avdelningen för mellanösternstudier, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-42480.
Full textFrancès, Guillem. "Effective planning with expressive languages." Doctoral thesis, Universitat Pompeu Fabra, 2017. http://hdl.handle.net/10803/456319.
Full textLa planificació clàssica consisteix en trobar una seqüència d’accions que meni d’un cert estat inicial fins a un estat desitjat, on les accions són deterministes, els estats perfectament coneguts, i ambdós elements són descrits en algun llenguatge formal. En aquest treball desenvolupem mitjans efectius de tractar amb llenguatges expressius de planificació clàssica. Primer, mostrem que un llenguatge més expressiu no només permet obtenir representacions compactes, sinó que permet capturar també estructura del problema aprofitable mitjançant mètodes heuristics, desenvolupem heurístiques que suporten funcions i quantificació existencial en la definició del problema, i demostrem empíricament que poden ser més informades i efectives. En segon lloc, desenvolupem un nou algorisme que ofereix rendiment similar a l’estat de l’art sense necessitat de cap representació declarativa de les accions. Això suposa una innovació significativa respecte a la recerca anterior, i un avenç en l’ús de llenguatges expressius i en l’abast i efectivitat dels planificadors clàssics.
Ghūl, Maḥmūd Alī Al-Ghul Omar. "Early southern Arabian languages and classical Arabic sources a critical examination of literary and lexicographical sources by comparison with the inscriptions /." Irbid, Jordan : Yarmouk University Publications, Deanship of Research and Graduate Studies, 1993. http://books.google.com/books?id=42tjAAAAMAAJ.
Full textКобяков, Олександр Миколайович, Александр Николаевич Кобяков, Oleksandr Mykolaiovych Kobiakov, and В. Степанов. "Класичні мови в світлі філологічної парадигматики." Thesis, Сумський державний університет, 2015. http://essuir.sumdu.edu.ua/handle/123456789/40057.
Full textPiantanida, Cecilia. "Classical lyricism in Italian and North American 20th-century poetry." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:4422c01a-ba88-4fe0-a21f-4804e4c610ce.
Full textCaswell, Fuad Matthew. "The Qiyan in the early Abbasid period." Thesis, University of Oxford, 2006. http://ora.ox.ac.uk/objects/uuid:07aceede-1eff-429b-83e6-2c2d5c60f9d0.
Full textWenzel, Aaron Walter. "Pots of Honey and Dead Philosophers: The Ideal of Athens in the Roman Empire." The Ohio State University, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=osu1243876996.
Full textBrandt, Lindsey. "The Elusive "Poem of the World": The Task of the Reader and the Problem of Knowledge in Heinrich von Kleist's Novellas "Die Marquise von O..." and "Das Erdbeben in Chili"." The University of Montana, 2009. http://etd.lib.umt.edu/theses/available/etd-06222009-143532/.
Full textPaule, Maxwell Teitel. "Canidia: A Literary Analysis of Horace's Witch." The Ohio State University, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=osu1343685076.
Full textFonseca, Jassyara Conrado Lyra da. "Figuras carnavalizadas na 'Cena Trimalchionis', de Petrônio e em Trimalchio, de F. Scott Fitzgerald /." Araraquara, 2017. http://hdl.handle.net/11449/151127.
Full textBanca: Maria Clara Bonetti Paro
Banca: Cláudio Aquati
Banca: Álvaro Luiz Hattnher
Banca: Elaine Cristina Prado dos Santos
Resumo: Esta pesquisa desenvolve-se em torno da análise comparada das obras "Cena Trimalchionis" - ou "O Banquete de Trimalquião" - episódio inserido no Satyricon, de Petrônio (? -65d. C.) e Trimalchio, uma primeira versão da obra The Great Gatsby, de F. Scott Fitzgerald (1896-1940). A aproximação dos textos é feita pelo narrador de Trimalchio que compara Gatsby a Trimalquião, e acentua-se no título dado à versão publicada em 2000, que declara o caráter intertextual da narrativa, que aqui será pensado com Julia Kristeva (1974). Partimos dessa relação para a observação de um tema comum às duas obras: o da carnavalização, desenvolvido por Bakhtin (1981;1986;1993). A partir da investigação de aspectos típicos do carnaval encontramos similaridades na composição de personagens e cenários e estudamos tal composição por meio de figuras que vemos repetidas na duas obras. Para o estudo dessas figuras nos valemos da teoria semiótica da figuratividade, seguindo, principalmente, os preceitos de Bertrand (2003), apoiando-nos também nas análises de Fiorin (2014). A inovadora obra de Petrônio desafia os estudiosos na classificação de seu gênero, todavia é possível observar importantes características da sátira menipeia, o que ratifica o caráter carnavalizado da narrativa. O romance de Fitzgerald, inegavelmente autônomo, ganha um novo realce ao dialogar com o texto latino.
Abstract: This research develops around the comparative analysis of the piece "Cena Trimalchionis" - or "Trimalchio's Feast", episode inserted in Petronius' (?-65d.C.) Satyricon; and Trimalchio, a first version of the novel The Great Gatsby, by F. Scott Fitzgerald (1896-1940). The parallel between the texts is made by the narrator of Trimalchio who compares Gatsby to Trimalchio, and is emphasized in the title given to the version published in 2000, which declares the intertextual character of the narrative, which will be thought here with Julia Kristeva (1974). We start from this relation for the observation of a theme common to both works: the one of carnivalization on literature, developed by Bakhtin (1981, 1986, 1993). From the investigation of typical aspects of carnival we find similarities in the composition of characters and scenarios and study this composition through figures that we see repeated in both works. For the study of these figures we use the semiotic theory of figurativity, following mainly the precepts of Bertrand (2003), also supporting this research in the analyzes of Fiorin (2014). The innovative work of Petronius challenges the scholars in the classification of its genre, however it is possible to observe important characteristics of the menippean satire, which confirms the carnavalized disposition of the narrative. Fitzgerald's novel, undoubtedly autonomous, gains a new accent when dialoguing with the Latin text.
Doutor
Kruse, Marion Woodrow III. "The Politics of Roman Memory in the Age of Justinian." The Ohio State University, 2015. http://rave.ohiolink.edu/etdc/view?acc_num=osu1436456307.
Full textMarshall, Laura Ann. "Uncharted Territory: Receptions of Philosophy in Apollonius Rhodius’ Argonautica." The Ohio State University, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=osu150330016014072.
Full textRigolio, Alberto. "Beyond schools and monasteries : literate education in Late Roman Syria (350-450 AD)." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:85ff7460-1425-418e-8718-652473a371e6.
Full textBillings, Joshua Henry. "The theory of tragedy in Germany around 1800 : a genealogy of the tragic." Thesis, University of Oxford, 2011. http://ora.ox.ac.uk/objects/uuid:de67c4ef-2ddc-4a7a-8177-c55602c401f9.
Full textGeisz, Camille H. "Storytelling in late antique epic : a study of the narrator in Nonnus of Panopolis' Dionysiaca." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:7b323af8-0512-407e-8aed-a0a7970a49ef.
Full textKennedy, Scott Kennedy. "How to write history: Thucydides and Herodotus in the ancient rhetorical tradition." The Ohio State University, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=osu1523138844396422.
Full textTrott, Daniel. "Tense and aspect in Old Japanese." Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:127733e2-fc21-460f-afab-f19f6d4b373a.
Full textRaye, Lee. "The forgotten beasts in medieval Britain : a study of extinct fauna in medieval sources." Thesis, Cardiff University, 2016. http://orca.cf.ac.uk/93165/.
Full textReuter, Victoria. "Penelope differently : feminist re-visions of myth." Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:4f1ffe10-d690-441d-8726-7fe1df896cb4.
Full textShalom, Naama. "Ends of the Mahābhārata." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:eef9d82e-859c-40f1-afc5-c0a9041c011b.
Full textEkron, Anna Cecilia. "Vocabulary : it's all about words working together : an interactive multimedia program to improve senior phase English first additional language learners’ functional vocabulary through an increased understanding of everyday authentic texts and classical and contemporary poetry." Thesis, Stellenbosch : University of Stellenbosch, 2008. http://hdl.handle.net/10019.1/1829.
Full textThe continuing decline in Matriculation pass rates is a matter of concern for government, educators, parents and students in South African schools. According to official statistics, only 8% of South Africans are mother-tongue English speakers, yet English is the chief language of learning and teaching in South African schools. Researchers relate the poor pass rate to inadequate proficiency in English of both English First Additional Language learners and some of their teachers. Research has further revealed a significant positive correlation between reading comprehension and academic achievement. Consensus exists among researchers about the necessity of a basic vocabulary (variously estimated at 2000 to 3000 words and more) for developing the necessary reading comprehension. Theories and approaches regarding the development of vocabulary, however, are sometimes diametrically opposed to one another. Among the most conflicting theories are those which advocate the acquisition of vocabulary by guessing the meanings of words from the context as opposed to those favouring conscious and deliberate vocabulary teaching, which may include lists of words. The current study briefly investigates underlying problems, theories, methods and approaches to enhancing learners’ vocabularies. Conclusions are applied to the development of an interactive, multimedia program for improving learners’ functional vocabularies. The content of the program is based on authentic texts and simulations of situations which call for language interaction. This is supplemented with extracts from classical literary works and poetry and entertaining verses which present possibilities for use in vocabulary building.
Conley, Brandon W. "Minore(m) Pretium: Morphosyntactic Considerations for the Omission of Word-final -m in Non-elite Latin Texts." Kent State University / OhioLINK, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=kent149253496962922.
Full textTodd, Helen Elizabeth. "Rewriting the Egyptian river : the Nile in Hellenistic and imperial Greek literature." Thesis, University of Oxford, 2015. http://ora.ox.ac.uk/objects/uuid:ed3c2d53-f7d6-4208-8a4c-cb84b5c27854.
Full textSmith-Laing, Tim. "Variorum vitae : Theseus and the arts of mythography in Medieval and early modern Europe." Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:0f4305c6-3c62-4f89-a3b2-d8204893fdfb.
Full textBowden, Chelsea Mina. "Isocrates' Mimetic Philosophy." The Ohio State University, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=osu1331049173.
Full textBueno-Soler, Juliana 1976. "Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo." [s.n.], 2009. http://repositorio.unicamp.br/jspui/handle/REPOSIP/280387.
Full textTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-09-11T21:14:41Z (GMT). No. of bitstreams: 1 Bueno-Soler_Juliana_D.pdf: 1230879 bytes, checksum: c04ce9e8061c154854f6283749f9c12b (MD5) Previous issue date: 2009
Resumo: O presente trabalho tem por objetivo investigar o papel da negação no âmbito das modalidades, de forma a poder esclarecer até que ponto a negação pode ser atenuada, controlada ou mesmo totalmente eliminada em favor da melhor expressabilidade lógica de certas teorias, asserções ou raciocínios que sofrem os efeitos da negação. Contudo, atenuar ou eliminar a negação tem um alto preço: métodos tradicionais em lógica podem deixar de ser válidos e certos resultados, como teoremas de completude para sistemas lógicos, podem ser derrogados. Do ponto de vista formal, a questão central que investigamos aqui e até que ponto tais métodos podem ser restabelecidos. Com tal finalidade, iniciamos nosso estudo a partir do que denominamos sistemas anódicos" (sem negação) e, a posteriori, introduzimos gradativamente o elemento catódico" (negações, com diversas gradações e diferentes características) nos sistemas modais por meio de combinações com certas lógicas paraconsistentes, as chamadas lógicas da inconsistência formal (LFIs). Todos os sistemas tratados são semanticamente caracterizados por semânticas de mundos possíveis; resultados de incompletude são também obtidos e discutidos. Obtemos ainda semânticas modais de traduções possíveis para diversos desses sistemas. Avançamos na direção das multimodalidades, investigando os assim chamados sistemas multimodais anódicos e catódicos. Finalmente, procuramos avaliar criticamente o alcance e o interesse dos resultados obtidos na direção da racionalidade sensível à negação.
Abstract: The present work aims to investigate the role of negations in the scope of modalities and in the reasoning expressed by modalities. The investigation starts from what we call anodic" systems (without any form of negation) and gradually reaches the cathodic" elements, where negations are introduced by means of combining modal logics with certain paraconsistent logics known as logics of formal inconsistency (LFIs). We obtain completeness results for all treated systems, and also show that certain incompleteness results can be obtained. The class of the investigated systems includes all normal modal logics that are extended by means of the schema Gk;l;m;n due to E. J. Lemmon and D. Scott combined with LFIs. We also tackle the question of obtaining modal possible-translations semantics for these systems. Analogous results are analyzed in the scope of multimodalities, where anodic as much as cathodic logics are studied. Finally, we advance a critical evaluation of the reach and scope of all the results obtained to what concerns expressibility of reasoning considered to be sensible to negation. We also critically assess the obtained results in contrast with problems of rationality that are sensible to negation.
Doutorado
Doutor em Filosofia
McDonald, Matthew William McDonald. "The Good, the Bad, and the Grouch: A Comparison of Characterization in Menander and the Ancient Philosophers." Ohio University Honors Tutorial College / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=ouhonors1461335881.
Full textRuiz, Mestre Hermelindo. "GUITAR ARRANGEMENTS OF SELECTED DANZAS OF JUAN F. ACOSTA, WITH NEW CONSIDERATIONS OF HIS MUSIC AND MUSICAL LIFE." UKnowledge, 2018. https://uknowledge.uky.edu/music_etds/125.
Full textNelli, María Florencia. "Studies in the demonstrative pronouns of early Greek." Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:b61ae3df-f234-42ad-b69d-95187f1196e7.
Full textRodrigues, Tarcísio Genaro. "Sobre os fundamentos de programação lógica paraconsistente." [s.n.], 2010. http://repositorio.unicamp.br/jspui/handle/REPOSIP/278897.
Full textDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-08-17T03:29:03Z (GMT). No. of bitstreams: 1 Rodrigues_TarcisioGenaro_M.pdf: 1141020 bytes, checksum: 59bb8a3ae7377c05cf6a8d8e6f7e45a5 (MD5) Previous issue date: 2010
Resumo: A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta aproximação deu origem a uma extensa pesquisa com a intenção de definir sistemas de Programação Lógica paraconsistentes, isto é, sistemas nos quais seja possível manipular informação contraditória. Porém, todas as abordagens existentes carecem de uma fundamentação lógica claramente definida, como a encontrada na programação lógica clássica. A questão básica é saber quais são as lógicas paraconsistentes subjacentes a estas abordagens. A presente dissertação tem como objetivo estabelecer uma fundamentação lógica e conceitual clara e sólida para o desenvolvimento de sistemas bem fundados de Programação Lógica Paraconsistente. Nesse sentido, este trabalho pode ser considerado como a primeira (e bem sucedida) etapa de um ambicioso programa de pesquisa. Uma das teses principais da presente dissertação é que as Lógicas da Inconsistência Formal (LFI's), que abrangem uma enorme família de lógicas paraconsistentes, proporcionam tal base lógica. Como primeiro passo rumo à definição de uma programação lógica genuinamente paraconsistente, demonstramos nesta dissertação uma versão simplificada do Teorema de Herbrand para uma LFI de primeira ordem. Tal teorema garante a existência, em princípio, de métodos de dedução automática para as lógicas (quantificadas) em que o teorema vale. Um pré-requisito fundamental para a definição da programação lógica é justamente a existência de métodos de dedução automática. Adicionalmente, para a demonstração do Teorema de Herbrand, são formuladas aqui duas LFI's quantificadas através de sequentes, e para uma delas demonstramos o teorema da eliminação do corte. Apresentamos também, como requisito indispensável para os resultados acima mencionados, uma nova prova de correção e completude para LFI's quantificadas na qual mostramos a necessidade de exigir o Lema da Substituição para a sua semântica
Abstract: Logic Programming arises from the interaction between Logic and the Foundations of Computer Science: first-order theories can be seen as computer programs. Logic Programming have been broadly used in some branches of Artificial Intelligence such as Knowledge Representation and Commonsense Reasoning. From this, a wide research activity has been developed in order to define paraconsistent Logic Programming systems, that is, systems in which it is possible to deal with contradictory information. However, no such existing approaches has a clear logical basis. The basic question is to know what are the paraconsistent logics underlying such approaches. The present dissertation aims to establish a clear and solid conceptual and logical basis for developing well-founded systems of Paraconsistent Logic Programming. In that sense, this text can be considered as the first (and successful) stage of an ambitious research programme. One of the main thesis of the present dissertation is that the Logics of Formal Inconsistency (LFI's), which encompasses a broad family of paraconsistent logics, provide such a logical basis. As a first step towards the definition of genuine paraconsistent logic programming we shown, in this dissertation, a simplified version of the Herbrand Theorem for a first-order LFI. Such theorem guarantees the existence, in principle, of automated deduction methods for the (quantified) logics in which the theorem holds, a fundamental prerequisite for the definition of logic programming over such logics. Additionally, in order to prove the Herbrand Theorem we introduce sequent calculi for two quantified LFI's, and cut-elimination is proved for one of the systems. We also present, as an indispensable requisite for the above mentioned results, a new proof of soundness and completeness for first-order LFI's in which we show the necessity of requiring the Substitution Lemma for the respective semantics
Mestrado
Filosofia
Mestre em Filosofia