Formalização e axiomatização de provas ontológica

Kurt Gödel foi um dos maiores matemáticos do século XX, com contribuições para a lógica e também para o campo da cosmologia à partir da elaboração de soluções para as equações de Einstein. Como filósofo, Gödel dedicou-se à lógica e aplicou-se à axiomatização não formal de uma prova ontológica. Benzmüller e Woltzenlogel Paleo desenvolveram, por meios computacionais, uma formalização do sistema axiomático gödeliano. O trabalho pode abrir novas perspectivas para a aplicação de técnicas das ciências da computação no campo da lógica matemática, suscitar questões epistemológicas importantes, além de ser historicamente relevante por colocar em destaque um trabalho não publicado de Gödel. Apresentamos a tradução do trabalho de Benzmüller e Woltzenlogel Paleo, antecedida por um artigo com considerações gerais sobre diferentes provas ontológicas, cosmológicas e físico-teleológicas

Inquiry in question

What follows is the transcript of an inquiry which takes itself as its object: an inquiry into its own inquiry. It opens out of a mere marking of its questioning, `?', and proceeds by questioning that mark, and the progress of its inquiry as transcription of something `open' into marks and questions - such transcription itself marked as only one thing open to the `writer'. Each successive attempt to transcribe into words the opening transition into `words', `text', `book', from some textually marked `context' in which the transition is open, simply leads into a questioning of each such attempted transcription, the bringing of its terms `into question'. The first section of the inquiry closes having marked out an internal `logical' space and time of these opening questions, coordinated around the initial question of marking a question: so many `dimensions' of lines of questioning `question' - in particular the external `physical' dimension of a `space' and `time' in which marking or transcription is (physically) open, and a `poetic' or figural dimension in which that `external' physical open-ness or space provides, like the `internal' logical space of logical, physical and poetic questions, and `image' for those three coordinate dimensions in whose textual and contextual interplay their transcription into a logical space and time of questions is open

Property Theories

Revised and reprinted; originally in Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer 133-251. -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions

Analytical Outlines (Основи системної аналітики)

Навчальний посібник покликаний розвивати професійно орієнтовану англомовну комунікативну компетентність через запропонований у ньому студентоцентрований підхід до навчання іноземної мови, який становить основу методики індивідуалізації викладання іноземних мов. Автори пропонують принципово нову структуру посібника, у якому кожен урок побудовано за принципом урахування індивідуальних особливостей студентів. Для студентів напряму підготовки «Системний аналіз» та суміжних спеціальностей, викладачів іноземної мови у вищих технічних навчальних закладах, та всіх, хто цікавиться проблемами викладання професійно орієнтованої англійської мови

Information Technology Outlines (Professional English Basics). Підручник з англійської мови. Видання друге, перероблене і доповнене

Підручник покликаний розвивати професійно орієнтовану англомовну комунікативну компетентність через запропонований у ньому студентоцентрований підхід до навчання іноземної мови, який становить основу методики індивідуалізації викладання іноземних мов. Автори пропонують принципово нову структуру посібника, у якому кожен урок побудовано з урахуванням індивідуальних особливостей студентів. Підручник забезпечує аудиторну та самостійну роботу студентів. Для студентів галузі знань "Інформаційні технології", викладачів іноземної мови у вищих технічних навчальних закладах, та всіх, хто цікавиться проблемами викладання професійно орієнтованої англійської мови.The textbook is designed to develop professionally oriented English-language communicative competence through student-centered approach to foreign language teaching, which is the basis of the methodology of individualization of foreign language teaching. The authors propose a fundamentally new structure of the textbook, in which each lesson is built taking into account the individual characteristics of students. The textbook proposes tasks for class work and self-work of students. This book will be useful for students majoring in IT and related specialties, foreign language teachers in higher technical educational institutions, and anyone interested in teaching professional English