Siga este link para ver outros tipos de publicações sobre o tema: Logician.
Teses / dissertações sobre o tema "Logician"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 50 melhores trabalhos (teses / dissertações) para estudos sobre o assunto "Logician".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja as teses / dissertações das mais diversas áreas científicas e compile uma bibliografia correta.
1
Galvagni, Marco. "Teoria degli insiemi, logica e filosofia nei Collected works di Kurt Gödel". Doctoral thesis, Scuola Normale Superiore, 2005. http://hdl.handle.net/11384/86140.
Texto completo da fonteResumo:
From the introduction: [...] Alla luce dello straordinario interesse sollevato dalle opere e dalle riflessioni
del logico moravo, ci è sembrato sensato tentare di dare una presentazione
di alcuni aspetti fondamentali dei suoi contributi logici, matematici e
filosofici tenendo conto innanzitutto dell’immagine che di tali lavori è emersa
dalla lettura degli inediti. Abbiamo quindi pensato di illustrare l’opera
logico-matematica e fondazionale di Gödel secondo uno schema tripartito:
una prima parte dedicata alla logica, una seconda sulla teoria degli insiemi
ed infine un’ultima sulla filosofia della matematica. [...] Nella prima parte, relativa alla logica, abbiamo presentato i classici risultati
di completezza (capitolo 1) e incompletezza (capitolo 2) utilizzando in
particolare due conferenze inedite sui due argomenti ed evidenziando le strategie dimostrative in esse utilizzate. Abbiamo poi affrontato le “incursioni
gödeliane” nell’ambito della logica intuizionista e della matematica costruttiva
(capitolo 3) ed in quello della logica modale e di ordine superiore (capitolo
4).
Nella seconda parte, la pi`u importante dal punto di vista dello specifico
approccio interpretativo da noi scelto, abbiamo cercato di ricostruire il percorso
di studio, scoperta e riflessione fatto da Gödel nell’ambito della teoria
degli insiemi (capitolo 5). In questo senso abbiamo prestato particolare attenzione
alla formalizzazione della teoria degli insiemi proposta dall’autore
(capitolo 7), ai modelli da lui ideati nell’ambito dei suoi risultati di noncontraddittorietà relativa (capitoli 8 e 9) ed alle sue proposte per una soluzione
definitiva del problema del continuo di Cantor (capitoli 10 e 11).
Nella terza ed ultima parte, ideale punto di arrivo delle due precedenti,
abbiamo tentato una ricostruzione cronologica, ancora una volta basata
in gran parte sugli inediti, dei principali momenti della riflessione filosofica
gödeliana.
2
Gambetta, Emanuele. "Structural Reflection and the Ultimate L as the true, noumenal universe of mathematics". Doctoral thesis, Scuola Normale Superiore, 2017. http://hdl.handle.net/11384/86148.
Texto completo da fonte
3
Чигур, І. І. "Розробка методу контролю технічного стану шарошкових доліт в умовах невизначеності процесу буріння". Thesis, Івано-Франківський національний технічний університет нафти і газу, 2000. http://elar.nung.edu.ua/handle/123456789/3904.
Texto completo da fonteResumo:
Дисертація присвячена розробці методу контролю технічного стану доліт, що базується на аналізі нечіткої (нечислової) інформації про параметри процесу буріння. Запропоновано новий метод контролю технічного стану шарошкових доліт на вибої свердловини, який включає в себе лінгвістичний опис технологічних ситуацій, що виникають в процесі буріння свердловин, і яким керуються технологи-ператори при прийнятті рішень про підйом долота для заміни в зв’язку із зношенням його опор чи озброєння. Метод дозволяє контролювати стан опор і озброєння шарошкових доліт у реальному масштабі часу, в умовах геолого-технологічної невизначеності, що дає можливість досягти вищих техніко-економічних показників процесу буріння та запобігти виникненню аварійних ситуацій. Основні результати роботи знайшли промислове впровадження на бурових підприємствах України, а також у навчальному процесі.Диссертация посвящена разработке метода контроля технического состояния долот, базирующимся на анализе нечеткой (не числовой) информации о параметрах процесса бурения. Предложен новый метод контроля технического состояния шарошечных долот на забое скважины, включающий в себя лингвистическое описание технологических ситуаций, которые возникают в процессе бурения скважин, и которым руководствуются технологи-операторы при принятии решений о подъеме долота для замены в связи с износом его опор или вооружения. Метод позволяет контролировать состояние опор и вооружения шарошечных долот в реальном масштабе времени, в условиях геолого-технологической неопределенности, что дает возможность достичь более высоких технико-экономических показателей процесса бурения и предотвратить возникновение аварийных ситуаций. Основные результаты работы нашли промышленное внедрение на буровых предприятиях Украины, а также в учебном процессе. Диссертация состоит из вступления, пяти разделов и приложений. Во вступлении обоснована актуальность работы, сформулированы цели и практическая ценность работы, отображены основные результаты работы, которые выносятся на защиту. В первом разделе проведен критический анализ методов и технических средств контроля состояния шарошечных долот в процессе бурении скважин на нефть и газ. Усовершенствована классификация методов контроля технического состояния долот. Проанализированы методы контроля технического состояния долот, на основе которых оценены новые разработки в этой области. Отмечено, что в связи с развитием методов теории нечетких множеств имеется возможность организации нового подхода к разработке методов контроля технического состояния долот, основанном на применении нечеткой логики для решения научной задачи контроля состояния долот в условиях неопределенности процесса бурения и выбрано направление исследований. Приведены общие сведения о процессе бурения и буровых долотах, как о контролируемом объекте и выбрано направление исследований. Во втором разделе разработаны теоретические положения метода контроля технического состояния шарошечных долот в условиях неопределенности процесса бурения и математическая диагностическая модель шарошечного долота. Проведено обоснование использования положений нечеткой логики для контроля состояния шарошечных долот. Сформулированы основные понятия и определения нечеткой логики, на основе которой в виде правил-продукций создана нечеткая математическая модель контроля технического состояния шарошечных долот. Параметры процесса бурения представлены в виде нечетких множеств, что позволило реализовать разработанный метод контроля с помощью серийных технических средств. В третьем разделе разработано методическое, техническое и программное обеспечение метода контроля состояния долот. Предложены методы и измерительная аппаратура, необходимая для получения непрерывной информации о технологических параметрах и показателях процесса бурения, которая была использована при разработке и исследовании метода контроля состояния шарошечных долот. Четвертый раздел посвящен разработке метода контроля технического состояния долот в условиях неопределенности процесса бурения на основе лингвистического описания, полученного в результате анализа промысловых данных о работе долот в режиме их катастрофического износа. Обоснован выбор частоты опроса датчиков системы контроля. Осуществлено реализацию разработанного метода контроля на базе DynStar и Ремиконт. Разработана алгоритмическая структура устройства контроля технического состояния долот. В пятом разделе проведен анализ и обобщение результатов исследований метода контроля технического состояния долот в условиях неопределенности процесса бурения. Исследована общая погрешность измерений параметров процесса бурения. На основе методов теории вероятностей исследована точность и достоверность контроля технического состояния шарошечных долот, а также эффективность использования устройства в промысловых условиях. Рассчитана эффективность контроля технического состояния долот с помощью разработанного метода. Результаты исследований использованы в учебном процессе при изучении дисциплин “Автоматизаця технологических процессов”, “Технические средства автоматизации” для студентов специальности 7.092501 - Автоматизированное управление технологическими процессами и производствами. Демонстрационный образец устройства контроля технического состояния долот внедрен в учебный процесс в виде лабораторного стенда. Разработанный метод и рекомендации по его использованию приняты для внедрения на буровых предприятиях Украины: Долинском и Надворнянском УБР ОАО “Укрнефтъ”. Ожидаемый экономический эффект от внедрения составляет 145 тыс. грн.
The dissertation is devoted to development of a method of check of availability index of product of chisels basing on analysis fuzzy (not numeric) information on arguments of process of drilling The new method of check of improvement of rock bit on a bottom hole including the linguistic specification statement of technological situations, arising is proposed during well boring, and by which one the technologists - operatives are guided at acceptance of the decisions about rise of a chisel for substitution in connection with its wear. The method allows to monitor a state of bearings and arms of rock bit is continuum and realtime, in conditions of technological equivocation, that allows to achieve higher technical and economic indexs, and also to drill wells on oil and gas without emergencies The basic results of work are introduced at the chisel enterprises of Ukraine and in educational process.
4
Johnson, Cory. "Suggestions for Deontic Logicians". Thesis, Virginia Tech, 2013. http://hdl.handle.net/10919/19221.
Texto completo da fonteResumo:
The purpose of this paper is to make a suggestion to deontic logic: Respect Hume\'s Law, the answer to the is-ought problem that says that all ought-talk is completely cut off from is-talk. Most deontic logicians have sought another solution: Namely, the solution that says that we can bridge the is-ought gap. Thus, a century\'s worth of research into these normative systems of logic has lead to many attempts at doing just that. At the same time, the field of deontic logic has come to be plagued with paradox. My argument essentially depends upon there being a substantive relation between this betrayal of Hume and the plethora of paradoxes that have appeared in two-adic (binary normative operator), one-adic (unary normative operator), and zero-adic (constant normative operator) deontic systems, expressed in the traditions of von Wright, Kripke, and Anderson, respectively. My suggestion has two motivations: First, to rid the philosophical literature of its puzzles and second, to give Hume\'s Law a proper formalization. Exploring the issues related to this project also points to the idea that maybe we should re-engineer (e.g., further generalize) our classical calculus, which might involve the adoption of many-valued logics somewhere down the line.Master of Arts
5
STIVAL, STEFANO DOMINGUES. "ALFRED TARSKI: LOGICAL CONSEQUENCE, LOGICAL NOTIONS, AND LOGICAL FORMS". PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2004. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5484@1.
Texto completo da fonteResumo:
CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICOO tema da presente dissertação é o problema da demarcação entre os termos lógicos e extralógicos no âmbito das ciências formais, anunciado primeiramente por Alfred Tarski em seu artigo de 1936, On the Concept of Logical Consequence. Depois de expor e discutir o problema em questão, mostrando seu surgimento a partir da necessidade de uma definição materialmente adequada do conceito de conseqüência lógica, analisamos a solução formulada por Tarski em um artigo publicado postumamente, intitulado What Are Logical Notions? Algumas discussões subsidiárias, igualmente importantes para o trabalho como um todo, dizem respeito à concepção dos conceitos de modelo e interpretação que se podem depreender dos artigos supracitados, e de como ela difere da assim chamada concepção standard em teoria de modelos. Nosso objetivo principal é mostrar o lugar ocupado pelo conceito de forma lógica na obra de Tarski, e de como sua concepção acerca deste conceito implica uma visão ampliada do conceito de conseqüência lógica, cuja caracterização correta torna necessária a estratificação das formas lógicas numa hierarquia de tipos.
The subject of this paper is the problem of demarcation between logical and extra-logical terms of formal languages, as formulated for the first time by Tarski in his 1936 paper On the Concept of Logical Consequence. After presenting and discussing the demarcation problem, pointing out how it arises from the need for a materially adequate definition of the concept of logical consequence, we analyze the solution presented by Tarski in his posthumously published paper, entitled What Are Logical Notions? Some subsidiary issues, that are also important for the work as a whole, concern the conception of model and interpretation that springs from the two papers mentioned, and how this conception differs from the standard conception in model theory. Our main goal is to show the place occupied by the concept of logical form in Tarski`s work, and how his conception of this concept implies a broader view about the related concept of logical consequence whose correct characterization makes necessary the stratification of logical forms into a hierarchy of types.
6
Price, Mark. "Logical aspects of logical frameworks". Thesis, University of Bath, 2008. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.488882.
Texto completo da fonte
7
Шавранський, М. В. "Система контролю для запобігання прихоплень бурильної колони в процесі буріння". Thesis, Івано-Франківський національний технічний університет нафти і газу, 2003. http://elar.nung.edu.ua/handle/123456789/4004.
Texto completo da fonteResumo:
Робота присвячена питанням СК з метою запобігання прихоплень БК у процесі буріння, що базується на аналізі нечіткої (нечислової) інформації про параметри процесу буріння. Розроблена СК включає в себе лінгвістичний опис технологічних ситуацій, пов’язаних з виникненням прихоплень БК у процесі буріння свердловин, яким керуються технологи-оператори при прийнятті рішення про можливе прихоплення БК з метою його запобігання. СК дозволяє контролювати параметри процесу буріння в реальному часі в умовах невизначеності, що дає можливість досягти вищих техніко-економічних показників та запобігти прихоплення БК. Основні результати роботи знайшли промислове впровадження на бурових підприємствах України, а також у навчальному процесі.Работа посвящена вопросам СК с целью предотвращения прихватов БК в процессе бурения, которое базируется иа анализе нечеткой (нечисловой) информации в параметрах процесса бурение. Разработанная СК включает в себя лингвистическое описание технологических ситуаций, связанных с возникновением прихватов БК в процессе бурения буровых скважин, которым руководствуются технологи-операторы при принятии решения в возможном прихвате БК с целью его предотвращения. СК разрешает контролировать параметры процесса бурения в режиме реального времени в условиях неопределенности, которая дает возможность достичь высших технико-экономических показателей и предотвратить прихваты БК. Основные результаты работы нашли промышленное внедрение на буровых предприятиях Украины, а также в учебном процессе.
Work is devoted to questions of the monitoring system with the purpose of prevention to take a boring column during drilling which is based on the analysis of the indistinct information on parameters of process drilling The developed monitoring system includes the linguistic description of technological situations connected with occurrence to take a boring column during drilling boreholes by which technologists -operators are guided at decision making about possible to take a boring column with the purpose of his prevention. The monitoring system allows to supervise parameters of process drilling in real time in conditions of uncertainty which enables to reach the maximum technical and economic parameters and to prevent take a boring column. The basic results of work have found industrial introduction at the chisel enterprises of Ukraine, and also in educational process.
8
Sawaya, Antoine. "Pipeline logiciel". Versailles-St Quentin en Yvelines, 1997. http://www.theses.fr/1997VERS0012.
Texto completo da fonteResumo:
Dans cette thèse nous nous intéressons à l'exploitation du parallélisme à grain fin, dit aussi parallélisme d'instructions dans les processeurs vliw et super scalaires. Plus particulièrement, nous traitons le problème de l'optimisation des boucles par pipeline logiciel. Ces portions de code répétitives dominent largement le temps d'exécution des programmes scientifiques, d'où l'intérêt crucial de maîtriser leur optimisation dans la course actuelle à la performance. Dans un premier temps, nous étudions formellement le problème du découplage des contraintes de ressources et des contraintes de dépendances. Le but en est de ramener le problème d'ordonnancement des boucles à un problème d'ordonnancement classique où les méthodes d'optimisation sont mieux maîtrisées. Nous pressentons un cadre commun qui nous permet de comparer notre approche desp à deux autres techniques procédant suivant la même philosophie. Nous concluons cette partie en proposant une amélioration à l'ensemble de ces techniques, ce qui a pu être valide expérimentalement. Ces algorithmes sont développés et disponibles dans une boite à outils pilo. Cependant, le parallélisme d'instructions accroît la pression sur les registres du processeur, ce qui explique l'importance de prendre en compte cette contrainte supplémentaire, afin d'éviter une dégradation du code produit. Cette problématique nous a conduit à proposer une formulation par programmation linéaire en variables bivalentes qui permet de définir un modèle global, dans lequel, nous pouvons contrôler le nombre exact de registres requis pendant la phase d'ordonnancement. Nos expériences nous ont permis de valider notre approche et de situer les temps de résolution des programmes linéaires génèrés. L'enjeu est ici de produire un code optimal qui puisse intégrer des librairies spécialisées, être micro-programme dans des processeurs embarqués, ou servir comme base de comparaison pour les différentes heuristiques.
9
Horn, François. "L'économie du logiciel". Lille 1, 2000. http://www.theses.fr/2000LIL12017.
Texto completo da fonteResumo:
L'économie du logiciel se singularise par des contrastes et des paradoxes : par exemple, des performances boursières spectaculaires mais aussi une activité parfois matériellement desinteressee (développement des logiciels libres). Elle est confrontee a trois questions critiques : évolution jugée insuffisante de la productivité dans la production des logiciels, manque de fiabilité des logiciels produits, et relative inadaptation aux besoins des utilisateurs. L'économie du logiciel est fondamentalement marquée par la coexistence permanente de quatre mondes de production, qui reposent sur l'existence de conventions différentes, centrées sur un type de produit, et constituant des réponses différenciées aux questions critiques de l'économie du logiciel. Le monde interpersonnel représente les difficultés à concilier productivité et fiabilité élevées dans la production de logiciels sur-mesure. Le monde fordiste des progiciels commerciaux se caractérise par une forte productivité mais une qualité souvent décevante, et ne peut répondre qu'a des besoins standard. Le monde de la création des logiciels libres apporte une certaine originalité et une efficacité indéniable sur certains segments mais des difficultés pour s'étendre. Le monde de la production flexible des logiciels est porteur de potentialités pour concilier productivité et adaptation aux besoins des utilisateurs, mais il a du mal a se développer, surtout dans sa composante la plus prometteuse (la production de logiciels sur mesure a partir de composants standard). Entre ces quatre mondes existent des relations de complémentarité mais également des évolutions dynamiques, identifiées par quatre trajectoires (industrialisation, valorisation, flexibilisation et objectivation). Cette analyse permet d'expliquer la domination actuelle des États-Unis sur l'économie du logiciel (industrialisation rapide), mais aussi les potentialités - et les difficultés de réalisation - d'une extension du champ des logiciels libres.
10
Horn, François Gadrey Jean. "L'économie du logiciel". [S.l.] : [s.n.], 2000. https://iris.univ-lille1.fr/dspace.
Texto completo da fonte
11
Emms, Martin Thomas. "Logical ambiguity". Thesis, University of Edinburgh, 1995. http://hdl.handle.net/1842/26487.
Texto completo da fonteResumo:
The thesis presents research in the field of model theoretic semantics on the problem of ambiguity, especially as it arises for sentences that contain junctions (and, or) and quantifiers (every man, a woman). A number of techniques that have been proposed are surveyed, and I conclude that these ought to be rejected because they do not make ambiguity 'emergent': they all have the feature that subtheories would be able to explain all syntactic facts yet would predict to ambiguity. In other words these accounts have a special purpose mechanism for generating ambiguities. It is argued that categorial grammars show promise for giving an 'emergent' account. This is because the only way to take a subtheory of a particular categorial grammar is by changing one of the small number of clauses by which the categorial grammar axiomatises an infinite set of syntactic rules, and such a change is likely to have a wider range of effects on the coverage of the grammar than simply the subtraction of ambiguity. Of categorial grammars proposed to date the most powerful is Lambek Categorial Grammar, which defines the set of syntactic rules by a notational variant of Gentzen's sequent calculus for implicational propositional logic, and which defines meaning assignment by using the Curry-Howard isomorphism between Natural Deduction proofs in implicational propositional logic and terms of typed lambda calculus. It is shown that no satisfactory account of the junctions and quantifiers is possible in Lambek categorial grammar. I introduce then a framework that I call Polymorphic Lambek Categorial Grammar, which adds variables and their universal quantification, to the language of categorisation.
12
Dias, M. G. "Logical reasoning". Thesis, University of Oxford, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.233533.
Texto completo da fonte
13
NASCIMENTO, VICTOR LUIS BARROSO. "LOGICAL ECUMENISM". PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2018. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=34598@1.
Texto completo da fonteResumo:
PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROCONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO
A história recente da Lógica Matemática foi marcada por alguns conflitos entre diferentes correntes filosóficas, cada uma buscando contextualizar a atividade matemática a partir de seu próprio prisma analítico e, por meio disso, tentando conquistar para si mesma o pódio fundacional das Ciências Formais Tais discussões, perenes o bastante para ainda quedarem sem solução, foram fortemente impactadas pela apropriação semântica de alguns resultados técnicos obtidos no campo da teoria da prova, o que redefiniu a relação existente entre as abordagens clássica e intuicionista na matemática. Neste contexto, a presente dissertação tem por finalidade realizar uma descrição da emergente literatura de propostas integrativas entre diferentes sistemas lógicos e matemáticos (apelidadas por Dag Prawitz de ecumenismo lógico), além de investigar alguns impactos que mudanças formais poderiam ocasionar nas concepções filosóficas de algumas teorias matemáticas. No capítulo introdutório, traçamos um panorama geral desta nova proposta ecumênica e analisamos com mais atenção o conflito entre as lógicas Clássica, Intuicionista e Minimal, considerado por muitos como um dos mais influentes na literatura contemporânea. No segundo capítulo, este trabalho fornece uma contribuição original para a literatura ao criar uma nova abordagem ecumênica, além de provar algumas equivalências no interior do sistema Clássico-Intuicionista recentemente criado por Prawitz e compará-lo com uma lógica que criamos usando esta nova abordagem. No terceiro capítulo, contribuímos tanto com a abordagem tradicional quanto com nossa abordagem original ao criar e comparar dua lógicas ecumênicas Minimal-Intuicionistas. Por fim, realizamos uma breve revisão do tímido estado da arte no último capítulo, oferecendo um novo esquema conceitual de interpretação dos sistemas ecumênicos e comentando alguns aspectos promissores do campo, que poderão vir a ser melhor trabalhados no futuro.
The recent history of Mathematical Logic was marked by some conficts between different philosophical positions, each trying to contextualize mathematical activity from its own analytical viewpoint and, with this, trying to conquer the foundational podium of the formal sciences for itself. Such discussions, lasting enough to remain without a solution, were strongly impacted by the semantical appropriation of some technical results obtained in the field of proof theory, which redefined the relation between the classical and intuitionistic approaches to mathematics. In this context, the present dissertation aims to describe the emergent literature about the integration of different logical and mathematical systems (nicknamed logical ecumenism by Dag Prawitz), in addition to investigating some impacts that those formal changes could have on the philosophical conceptions of some mathematical theories. In the introductory chapter, we have outlined a general overview of this new ecumenical proposal and analysed in greater depht the conflicts between Classical, Intuitionistic and Minimal logic, considered by many as one of the most influent on the contemporary literature. In the second chapter, this work provides an original contribution to the literature by creating a new ecumenical approach, in addition to proving some equivalencies within Prawitz s recently created Classical-Intuitionist system, and compares it with the logical system we have created using this new approach. In the third chapter, we contribute both to the traditional approach and our original approach by creating and comparing two Minimal-Intuitionist ecumenical logics. Finally, we briefly review the timid state of the art in the last chapter, offering a new conceptual framework for interpreting ecumenical systems, as well as commenting on some promising aspects of the field, which may be better analyzed in the future.
14
Kouri, Teresa. "Logical Instrumentalism". The Ohio State University, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=osu1472751856.
Texto completo da fonte
15
Szalapaj, Peter J. "Logical graphics : logical representation of drawings to effect graphical transformation". Thesis, University of Edinburgh, 1988. http://hdl.handle.net/1842/19334.
Texto completo da fonte
16
Elkind, Landon D. C. "The search for logical forms: in defense of logical atomism". Diss., University of Iowa, 2018. https://ir.uiowa.edu/etd/3250.
Texto completo da fonteResumo:
I here defend logical atomism. This defense rests on reinterpreting logical atomism as a search for logical forms. This reinterpretation has two parts comprising six chapters.
In the first part, I do some historically-driven recovery. In the introduction, I review the literature on Russell's logical atomism. In Chapter 1, I argue that the dominant interpretation of logical atomism is wrong on historical grounds: it accounts for neither the history of logical atomism nor for crucial elements of the logical atomist texts. In Chapter 2, I then use Russell's writings to recover what I argue is the core of logical atomism. I explicate the critical notions and essential ingredients of logical atomism using "Principia Mathematica" as the archetype of logical atomism. I argue that logical atomsts are term busters. The essential ingredient of a logical atomist's term busting practice is a higher-order logic with the power of impredicative comprehension. In Chapter 3, I discuss the widespread view that Wittgenstein held a version of logical atomism. Focusing on his pre-"Tractatus" writings and changes in his earlier views, I argue that Wittgenstein embraced a philosophy of logic incompatible with emulating impredicative comprehension in April 1914. As such, Wittgenstein was a logical atomist, if ever, in October 1913, possibly through April 1914.
In the second part, having clarified what logical atomism is, I present a modern logical atomism. In Chapter 4, I develop a philosophy of logic for logical atomism based on the notion of a pure logic. I critically discuss normativity in logic, the epistemology of pure logic, and logical pluralism. In Chapter 5, I propose a formal logic for logical atomism. I argue for the logic of logical atomism being an infinitely-descending and infinitely-ascending simple type theory with impredicative comprehension compatible with a domain empty of particulars. In Chapter 6, I critically discuss what the ontology of logical atomism should be, that is, what the ontology of the logical atomist's logic must be. This includes an ontology of logical concepts and of logical forms as completely-general, necessarily-existing logical facts with no constituents. I conclude by indicating avenues for new work on logical atomism.
17
Frias, Denis. "Hegel's logical determinations". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape9/PQDD_0001/MQ46569.pdf.
Texto completo da fonte
18
Evans, Mary James. "(Mytho) logical crisis". Thesis, Georgia Institute of Technology, 1994. http://hdl.handle.net/1853/23930.
Texto completo da fonte
19
Leevers, Hilary Janet. "Children's logical reasoning". Thesis, University of Oxford, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.362050.
Texto completo da fonte
20
Simmons, Robert J. "Substructural Logical Specifications". Research Showcase @ CMU, 2012. http://repository.cmu.edu/dissertations/205.
Texto completo da fonteResumo:
A logical framework and its implementation should serve as a flexible tool for specifying, simulating, and reasoning about formal systems. When the formal systems we are interested in exhibit state and concurrency, however, existing logical frameworks fall short of this goal. Logical frameworks based on a rewriting interpretation of substructural logics, ordered and linear logic in particular, can help. To this end, this dissertation introduces and demonstrates four methodologies for developing and using substructural logical frameworks for specifying and reasoning about stateful and concurrent systems.
Structural focalization is a synthesis of ideas from Andreoli’s focused sequent calculi and Watkins’s hereditary substitution. We can use structural focalization to take a logic and define a restricted form of derivations, the focused derivations, that form the basis of a logical framework. We apply this methodology to define SLS, a logical framework for substructural logical specifications, as a fragment of ordered linear lax logic.
Logical correspondence is a methodology for relating and inter-deriving different styles of programming language specification in SLS. The styles we connect range from very high-level specification styles like natural semantics, which do not fully specify the control structure of programs, to low-level specification styles like destination-passing, which provide detailed control over concurrency and control flow. We apply this methodology to systematically synthesize a low-level destination-passing semantics for a Mini-ML language extended with stateful and concurrent primitives. The specification is mostly high-level except for the relatively few rules that actually deal with concurrency.
Linear logical approximation is a methodology for deriving program analyses by performing abstract analysis on the SLS encoding of the language’s operational semantics. We demonstrate this methodology by deriving a control flow analysis and an alias analysis from suitable programming language specifications.
Generative invariants are a powerful generalization of both context-free grammars and LF’s regular worlds that allow us to express invariants of SLS specifications in SLS.We show that generative invariants can form the basis of progress-andpreservation- style reasoning about programming languages encoded in SLS.
21
D'Silva, Vijay Victor. "Logical abstract interpretation". Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003.
Texto completo da fonteResumo:
Logical deduction and abstraction from detail are fundamental, yet distinct aspects of reasoning about programs. This dissertation shows that the combination of logic and abstract interpretation enables a unified and simple treatment of several theoretical and practical topics which encompass the model theory of temporal logics, the analysis of satisfiability solvers, and the construction of Craig interpolants. In each case, the combination of logic and abstract interpretation leads to more general results, simpler proofs, and a unification of ideas from seemingly disparate fields. The first contribution of this dissertation is a framework for combining temporal logics and abstraction. Chapter 3 introduces trace algebras, a new lattice-based semantics for linear and branching time logics. A new representation theorem shows that trace algebras precisely capture the standard trace-based semantics of temporal logics. We prove additional representation theorems to show how structures that have been independently discovered in static program analysis, model checking, and algebraic modal logic, can be derived from trace algebras by abstract interpretation. The second contribution of this dissertation is a framework for proving when two lattice-based algebras satisfy the same logical properties. Chapter 5 introduces functions called subsumption and bisubsumption and shows that these functions characterise logical equivalence of two algebras. We also characterise subsumption and bisubsumption using fixed points and finitary logics. We prove a representation theorem and apply it to derive the transition system analogues of subsumption and bisubsumption. These analogues strictly generalise the well studied notions of simulation and bisimulation. Our fixed point characterisations also provide a technique to construct property preserving abstractions. The third contribution of this dissertation is abstract satisfaction, an abstract interpretation framework for the design and analysis of satisfiability procedures. We show that formula satisfiability has several different fixed point characterisations, and that satisfiability procedures can be understood as abstract interpreters. Our main result is that the propagation routine in modern sat solvers is a greatest fixed point computation involving abstract transformers, and that clause learning is an abstract transformer for a form of negation. The final contribution of this dissertation is an abstract interpretation based analysis of algorithms for constructing Craig interpolants. We identify and analyse a lattice of interpolant constructions. Our main result is that existing algorithms are two of three optimal abstractions of this lattice. A second new result we derive in this framework is that the lattice of interpolation algorithms can be ordered by logical strength, so that there is a strongest and a weakest possible construction.
22
Villeneuve, D. "Logiciel de génération de colonnes". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp02/NQ53547.pdf.
Texto completo da fonte
23
Friend, Michèle. "The possibility of Frege's logicism /". Thesis, McGill University, 1991. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=61073.
Texto completo da fonteResumo:
In order to understand the implications of Frege's Grundlagen der Arithmetik, we must bear in mind that Frege saw logic as an overarching discipline, necessary for all scientific enquiry. This consideration allows us to make sense of his logicism, the idea that arithmetic is embedded in logic, and his platonism, the commitment to the mind-independent nature of arithmetic objects, such as numbers. In 1902, Russell generated a paradox from Basic Law (V), found in the first volume of Grundgesetze, which suggested that Frege's entire logical system was inconsistent. Recent work by Boolos and Wright, have fenced off the damage and shown that the bulk of Frege's work is consistent. I shall argue, however, that their proposed solutions prove unsatisfactory with respect to Frege's view of logic and especially his logicism.
24
Perez, Berro Miriam. "Méthodologie d'évaluation d'utilisabilité de logiciel". Mémoire, Université de Sherbrooke, 2007. http://savoirs.usherbrooke.ca/handle/11143/1406.
Texto completo da fonteResumo:
L'un des problèmes des équipes de développement de logiciel consiste à évaluer la facilité d'utilisation de leurs produits, c'est-à-dire, à évaluer la qualité de l'interaction personne-machine. Le développeur lui-même n'est pas capable, dans la plupart des cas, de juger la qualité d'utilisation de l'interface qu'il propose, pour la simple raison qu'il n'est pas l'utilisateur réel du produit. Une fois les erreurs de code éliminées, il est possible que les utilisateurs d'un logiciel ne puissent pas encore travailler efficacement à cause d'erreurs de conception d'utilisabilité. Il s'avère nécessaire de disposer d'une méthodologie d'évaluation dès le départ d'un projet logiciel. Il n'existe pas d'outils d'évaluation génériques applicables à tout type de logiciel. Il est nécessaire de développer une méthodologie appropriée au profil de la communauté d'utilisateurs et des tâches qu'ils veulent automatiser à partir de leur utilisation. Cette méthodologie doit aussi tenir compte des caractéristiques de l'environnement de développement des produits. Le logiciel ciblé dans ce projet est un système d'aide à la construction d'horaires 1 utilisée dans un environnement de travail administratif. Le système comprend une application autonome (le logiciel appelé Diamant) et une application web (le logiciel appelé Diamant Web). Une évaluation sommative a été réalisée étant donné que le système sous évaluation avait été déjà livré. Celle-ci a été appliquée au sein du groupe de recherche en génie logiciel eXit 2 . Il s'agit d'une petite équipe de développement de logiciel avec des ressources limitées où le but est de créer un produit qui marche selon les exigences le plus rapidement possible. Le système ciblé exécutait correctement les fonctionnalités demandées, mais les utilisateurs réels le trouvaient difficile à utiliser. Les résultats d'une évaluation d'utilisabilité devaient être obtenus rapidement et au plus bas coût possible. Cela conduit à proposer une méthodologie simple et légère. L'approche utilisée afin de mener au terme une évaluation d'utilisabilité est basée sur la prise et l'analyse de données de terrain et la construction de prototypes d'évaluation d'utilisabilité. La contribution principale du présent travail comprend un ensemble de documents, modèles de guides, de maquettes d'interaction, de rapports et d'analyse d'interfaces conçus et construits à l'occasion de l'évaluation d'utilisabilité du système ciblé. Ces documents et ces modèles sont des exemples applicables à n'importe quel logiciel dont les caractéristiques et l'analyse contextuelle seraient similaires aux logiciels évalués. En outre, la méthodologie constitue elle-même une contribution en raison des contraintes de temps et de coût imposées. Les résultats obtenus comprennent des lignes directrices simples pour mettre en oeuvre l'évaluation d'utilisabilité dans un projet logiciel, les exemples de suggestions et de guides afin d'améliorer l'interaction personne-machine présentée par le logiciel sous évaluation.
25
DE, MALDAT DU LYS FRANCOIS. "Geolis : logiciel interactif d'imagerie tridimensionnelle". Toulouse 3, 1992. http://www.theses.fr/1992TOU31568.
Texto completo da fonte
26
Chaouki, Saïd. "Logiciel de traitement du signal". Rouen, 1987. http://www.theses.fr/1987ROUES024.
Texto completo da fonteResumo:
Etude d'un algorithme pour le traitement d'un signal. Cet algorithme est composé de différents programmes indépendants permettant le calcul des polynômes orthonormaux, le calcul récursif, le calcul de la transformée de Fourier, de densité spectrale, réponse impulsionnelle d'un filtre numérique. Application à la reconnaissance des formes et simulation du processus de Lévy
27
Masse, Jean-François. "Applications dentaires du logiciel Photoshop". Master's thesis, Université Laval, 2004. http://hdl.handle.net/20.500.11794/18089.
Texto completo da fonte
28
Perez, Berro Miriam. "Méthodologie d'évaluation d'utilisabilité de logiciel". [S.l. : s.n.], 2007.
Encontre o texto completo da fonte
29
Chaouki, Saïd. "Logiciel de traitement du signal". Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb376038369.
Texto completo da fonte
30
Taudin, Florent Chambonnet Yves. "Quel logiciel en médecine générale ?" [S.l.] : [s.n.], 2004. http://theses.univ-nantes.fr/thesemed/MEDtaudin.pdf.
Texto completo da fonte
31
Cassagne, François. "Le bilan du logiciel fiscal". Paris 8, 1989. http://www.theses.fr/1989PA080404.
Texto completo da fonteResumo:
Le logiciel comptable exprime une realite fiscalo-economique avec ses regles de fond et de forme au sein duquel le logic iel (de comptabilite ou autres) apparait comme un objet de droit polymorphe suivant les branches juridiques (civile, fis cale, comptable) en definitive, sa neutralite technique l'appelle a devenir un moyen fiscal de controle sur lui-meme, mais egalement sur les donnees et informations contenues dans les systemes informatiques avec les risques de violation d e la vie privee inherents au droit des personnesThe software of accounting expresses a fiscal and economical reality with one's rules of basis and form in a which the software (of accounting or others) appears as a polymorphe object of law according to the legal branches (civil, fiscal, accounting). Finally its technical neutrality calls it becoming a checking fiscal way of itself, but likewise, of data and news items contained in the data processing systems with the risk of violation of the private life inherent in perso n's rights
32
Cutler, Darcy. "Concepts of logical consequence". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/nq21283.pdf.
Texto completo da fonte
33
Gomez-Holtved, Francisco. "Russell on logical form". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/NQ63742.pdf.
Texto completo da fonte
34
Berwanger, Dietmar. "Games and logical expressiveness". kostenfrei, 2005. http://deposit.ddb.de/cgi-bin/dokserv?idn=975203452.
Texto completo da fonte
35
Simone, Duca. "Logical constraints on metacognition". Thesis, University of Bristol, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539753.
Texto completo da fonte
36
Sequoiah-Grayson, Sebastian. "Information and logical equivalence". Thesis, University of Oxford, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.496650.
Texto completo da fonte
37
Jiang, Yan. "Logical dependency in quantification". Thesis, University College London (University of London), 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.306968.
Texto completo da fonte
38
Steinberger, Florian. "Harmony and logical inferentialism". Thesis, University of Cambridge, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.611346.
Texto completo da fonte
39
Murzi, Julien. "Intuitionism and logical revision". Thesis, University of Sheffield, 2011. http://etheses.whiterose.ac.uk/14547/.
Texto completo da fonteResumo:
The topic of this thesis is logical revision: should we revise the canons of classical reasoning in favour of a weaker logic, such as intuitionistic logic? In the first part of the thesis, I consider two metaphysical arguments against the classical Law of Excluded Middle-arguments whose main premise is the metaphysical claim that truth is knowable. I argue that the first argument, the Basic Revisionary Argument, validates a parallel argument for a conclusion that is unwelcome to classicists and intuitionists alike: that the dual of the Law of Excluded Middle, the Law of Non-Contradiction, is either unknown, or both known and not known to be true. As for the second argument, the Paradox of Knowability, I offer new reasons for thinking that adopting intuitionistic logic does not go to the heart of the matter. In the second part of the thesis, I motivate an inferentialist framework for assessing competing logics-one on which the meaning of the logical vocabulary is determined by the rules for its correct use. I defend the inferentialist account of understanding from the contention that it is inadequate in principle, and I offer reasons for thinking that the inferentialist approach to logic can help model theorists and proof-theorists alike justify their logical choices. I then scrutinize the main meaning-theoretic principles on which the inferentialist approach to logic rests: the requirements of harmony and separability. I show that these principles are motivated by the assumption that inference rules are complete, and that the kind of completeness that is necessary for imposing separability is strictly stronger than the completeness needed for requiring harmony. This allows me to reconcile the inferentialist assumption that inference rules are complete with the inherent incompleteness of higher-order logics-an apparent tension that has sometimes been thought to undermine the entire inferentialist project. I finally turn to the question whether the inferentialist framework is inhospitable in principle to classical logical principles. I compare three different regimentations of classical logic: two old, the multiple-conclusions and the bilateralist ones, and one new. Each of them satisfies the requirements of harmony and separability, but each of them also invokes structural principles that are not accepted by the intuitionist logician. I offer reasons for dismissing multiple-conclusions and bilateralist formalizations of logic, and I argue that we can nevertheless be in harmony with classical logic, if we are prepared to adopt classical rules for disjunction, and if we are willing to treat absurdity as a logical punctuation sign.
40
Peron, Newton Marques 1982. "Logicas da inconsistencia deontica". [s.n.], 2009. http://repositorio.unicamp.br/jspui/handle/REPOSIP/278895.
Texto completo da fonteResumo:
Orientador: Marcelo Esteban ConiglioDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-08-13T04:53:14Z (GMT). No. of bitstreams: 1 Peron_NewtonMarques_M.pdf: 601027 bytes, checksum: 5828adda31c6102b730941a14056d7d9 (MD5) Previous issue date: 2009
Resumo: Esse trabalho expõe brevemente o que são as Lógicas da Inconsistência Formal ¿Observação: O resumo, na íntegra poderá ser visualizado no texto completo da tese digital.
Abstract: This work expose briefly what are the Logics of Formal Inconsistency ...Note: The complete abstract is available with the full electronic digital thesis or dissertations.
Mestrado
Filosofia
Mestre em Filosofia
41
Hulley, Hardy. "Logical presentations of domains". Master's thesis, University of Cape Town, 1993. http://hdl.handle.net/11427/17336.
Texto completo da fonteResumo:
Bibliography: pages 168-174.This thesis combines a fairly general overview of domain theory with a detailed examination of recent work which establishes a connection between domain theory and logic. To start with, the theory of domains is developed with such issues as the semantics of recursion and iteration; the solution of recursive domain equations; and non-determinism in mind. In this way, a reasonably comprehensive account of domains, as ordered sets, is given. The topological dimension of domain theory is then revealed, and the logical insights gained by regarding domains as topological spaces are emphasised. These logical insights are further reinforced by an examination of pointless topology and Stone duality. A few of the more prominent categories of domains are surveyed, and Stone-type dualities for the objects of some of these categories are presented. The above dualities are then applied to the task of presenting domains as logical theories. Two types of logical theory are considered, namely axiomatic systems, and Gentzen-style deductive systems. The way in which these theories describe domains is by capturing the relationships between the open subsets of domains.
42
De, Supinski Bronis R. "Logical time coherence maintenance". Full text, Acrobat Reader required, 1998. http://viva.lib.virginia.edu/etd/theses/supinski98.pdf.
Texto completo da fonte
43
Lear, Jonathan. "Aristotle and logical theory /". Cambridge ; New York ; Port Chester [etc.] : Cambridge university press, 1990. http://catalogue.bnf.fr/ark:/12148/cb373723536.
Texto completo da fonte
44
Britto, Arthur Heller. "O teorema de Frege: uma reavaliação do seu projeto logicista". Pontifícia Universidade Católica de São Paulo, 2013. https://tede2.pucsp.br/handle/handle/11644.
Texto completo da fonteResumo:
Made available in DSpace on 2016-04-27T17:27:06Z (GMT). No. of bitstreams: 1
Arthur Heller Britto.pdf: 403242 bytes, checksum: 9ea7d542e4846499fab1760b30fe2a33 (MD5)
Previous issue date: 2013-11-08The objective of this dissertation is first to present the fundamental part of Frege's logicist project - that became known as Frege's theorem - as an independent mathematical result in order to then evaluate its philosophical significance through a discussion of Frege's concept of logic. Besides, there are two appendixes in which a general recursion theorem is proven inside a classical second-order logical system and a neofregean construction of the real numbers from Cauchy sequences is presented
O objetivo desta dissertação e, em primeiro lugar, apresentar o núcleo fundamental do projeto logicista fregeano - o que ficou conhecido pelo nome de teorema de Frege - como um resultado matemático independente para, em seguida, avaliar o seu significado filosófico por meio da discussão acerca do conceito fregeano de logica. Além disso, este trabalho contém dois anexos, nos quais se demonstra um teorema geral de recursão dentro de um sistema clássico de logica de segunda ordem e se apresenta uma construção neofregeana dos números reais por meio de sequências de Cauchy
45
Del, Din Guido. "Empirismo e semantica: da Rudolf Carnap all'epistemologia contemporanea". Doctoral thesis, Università degli studi di Padova, 2013. http://hdl.handle.net/11577/3422596.
Texto completo da fonteResumo:
Empiricism and Semantics: From Rudolf Carnap to Contemporary Epistemology
In recent years analytic philosophy has developed a deeper interest in the historiographical reconstruction of its roots. This interest is testified by many publications, which have appeared since the 90’s, about the life and thought of classical authors of analytic tradition, like Frege, Russell, Wittgenstein, Carnap and Tarski. In my doctoral thesis I take up this line, focusing on two famous works of Rudolf Carnap: Der logische Aufbau der Welt, published in 1928, and Logische Syntax der Sprache, published in 1934. The main reference points of my historical and philosophical research are Jorge Alberto Coffa and Michael Friedman: I try to imitate their style of combining the analysis of technical aspects of logic and philosophy of language with broader considerations about conceptual trends and theoretical contexts.
In the first chapter I present Carnap’s attempt in 1928 to build a symbolic system that formalizes scientific concepts. With this technique of formalization Carnap aims for the reduction of science to subjective experiences. The Aufbau can be seen as a programmatic manifesto of a verificationist theory of meaning, belonging to the empiricist tradition – as Quine indicated in his famous critic. Nevertheless, in the book there are strong influences of the Neokantian school, which link Carnap’s thought to 19th century transcendental philosophy. In the chapter, I highlight the points of the Aufbau in which a “transcendental scheme” can be identified; particularly, the concept of structure, that plays an important role in Carnap’s arguments, shows a kinship with the Kantian tradition. In addition, I emphasize the problematic status of solipsism in the carnapian system.
The second chapter begins with a summary of the Protocol Sentence Debate among the members of the Vienna Circle in the early 30’s. Discussing the function of protocol sentences in the epistemology of logical empiricism, one has to deal with the task of explaining the syntactical relation that the authors had in mind, when they were disputing the foundation of theoretical sentences through the protocols. With regard to this subject, I start to analyze Logische Syntax der Sprache, whose main goal is to define the concept of consequence, a syntactical/semantic relation broader than that determined by the usual rules of derivation in axiomatic systems. Coping with this problem, Carnap develops some technical devices that are pretty close to Tarski’s definition of truth. The chapter finishes with a brief survey of the significance of tarskian semantics for contemporary philosophy of science.
The third chapter consists of the synthetic exposition of an original approach to the problems of formalization and semantics, developed in the 60’s and 70’s by Paul Lorenzen and his scholars. The Erlangen School of epistemological constructivism is here considered because it doesn’t assume the standard opposition between syntax and semantics, the conceptual cornerstone of Carnap’s and Tarski’s analysis of scientific theories. Lorenzen’s approach emphasizes the instrumental and operational elements of the scientific practice; at the same time, he advocates a conception of language in which pragmatics plays a prominent role, encompassing the syntactical and the semantic dimensionEmpirismo e semantica: da Rudolf Carnap all’episteologia contemporanea La ricerca condotta intende ricostruire un percorso storico-filosofico e concettuale che, a partire dall’empirismo neopositivista del Circolo di Vienna, giunge fino ad alcune posizioni largamente condivise dalla filosofia della scienza contemporanea in merito alla formalizzazione, alla struttura logica delle teorie scientifiche e al problema del significato. La parte preponderante del lavoro si è concentrata sull’analisi di due testi di Rudolf Carnap, Der logische Aufbau der Welt (1928) e Logische Syntax der Sprache (1934), in cui vengono esposte e applicate in modo rigoroso due strategie teoriche che costituiscono forse gli assi portanti dell’epistemologia novecentesca di ambito analitico: la determinazione del rapporto tra concetti scientifici e dato empirico e l’analisi delle relazioni inferenziali tra gli enunciati di una teoria. Il primo capitolo, analizzando l’opera carnapiana del 1928, ne identifica da un lato l’aspetto più innovativo nell’impiego dell’apparato logico dei Principia Mathematica di Russell e Whitehead per la costruzione di un linguaggio artificiale in cui tradurre gli enunciati delle singole scienze; dall’altro lato, ricostruisce la filiazione della nozione di esperienza utilizzata da Carnap rispetto alla psicologia sperimentale, alla tradizione empirista inglese e austriaca e alla fenomenologia husserliana. Il verificazionismo dell’Aufbau viene ricollegato all’orizzonte concettuale dell’Erkenntnistheorie neokantiana, soprattutto a proposito dell’enfasi posta sul problema del passaggio dalla dimensione solipsistica e privata del vissuto esperienziale all’intersoggettività propria della scienza. Il secondo capitolo tratta gli sviluppi del pensiero di Carnap negli anni Trenta: il legame con la gnoseologia ottocentesca si indebolisce a vantaggio di un approfondimento di questioni tecniche di logica matematica. Dalle precedenti riflessioni filosofiche sul concetto di esperienza si passa al dibattito sulla forma logica degli enunciati protocollari, oggetto di disputa tra Carnap, Schlick, Neurath e Popper, di cui si cerca di dare un quadro complessivo. Il capitolo procede quindi ad analizzare le definizioni di conseguenza logica e di analiticità proposte in Logische Syntax der Sprache, argomento che consente di instaurare un confronto con il contemporaneo emergere della semantica tarskiana, cui Carnap aderirà negli anni successivi. Infine, vengono presentati alcuni recenti esempi di utilizzo della semantica nel campo della filosofia della scienza. Nel terzo capitolo viene invece esposto l’approccio ai problemi dell’epistemologia e della formalizzazione sviluppato negli anni Sessanta e Settanta da Paul Lorenzen. La proposta di questo autore viene considerata rilevante in quanto ristruttura la consueta opposizione tra sintassi e semantica che Tarski e Carnap hanno contribuito ad affermare. L’impostazione di Lorenzen, mettendo l’accento sugli aspetti tecnico-operativi della pratica scientifica, elabora una concezione del linguaggio in cui la dimensione pragmatica svolge il ruolo dominante. In tal modo, questioni epistemologiche come quelle dell’analiticità o della base empirica, affrontate da Carnap attraverso concetti sintattici o semantici, vengono risolte in modo originale
46
Wunderlich, Richard Bryan. "CMOS gate delay, power measurements and characterization with logical effort and logical power". Thesis, Atlanta, Ga. : Georgia Institute of Technology, 2009. http://hdl.handle.net/1853/31652.
Texto completo da fonteResumo:
Thesis (M. S.)--Electrical and Computer Engineering, Georgia Institute of Technology, 2010.Committee Chair: Paul Hasler; Committee Member: David V Anderson; Committee Member: Saibal Mukhopadhyay. Part of the SMARTech Electronic Thesis and Dissertation Collection.
47
Nalon, Cláudia. "Logica condicional forte". [s.n.], 1997. http://repositorio.unicamp.br/jspui/handle/REPOSIP/276117.
Texto completo da fonteResumo:
Orientador: Jacques WainerDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação
Made available in DSpace on 2018-07-23T12:34:38Z (GMT). No. of bitstreams: 1 Nalon_Claudia_M.pdf: 2467341 bytes, checksum: 9f24d9238b525a65fc41d8409dadac9b (MD5) Previous issue date: 1997
Resumo: As lógicas não-monotônicas podem ser classificadas, segundo as conclusões que podem ser obtidas, em fracas ou fortes. As lógicas fortes, entre as quais se incluem sistemas nãomonotônicos clássicos [Reiter, 80] [McCarthy,80] [Moore, 85] [Marek e Truszczynski, 91], permitem conclusões não desejáveis, deixando de tratar aspectos como, por exemplo, especificidade. Lógicas não-monotônicas fracas, como as condicionais [Delgrande, 87] [Boutilier, 94], não permitem algumas conclusões desejáveis, como as que tratam de irrelevância e herança de propriedades, por exemplo. Esta tese apresenta a semântica da Lógica Condicional Forte (LCF), que atende às características gerais da relação de conseqüência não-monotônica preferencial [Kraus et aI, 90], suportadas pelas lógicas condicionais, mas que, além disso, também lida com outros modos de raciocínio (irrelevância, herança e ambigüidade) não tratados por tais lógicas. A definição da semântica do condicional é mais resttitiva e, além disso, diferentemente de enfoques recentes, que procuram fortalecer lógicas já existentes através de filtros sobre o conjunto de modelos, é proposto um método para a construção dos modelos a partir de. informação local (obtida dos condicionais individualmente) e global (obtida dos condicionais conjuntamente) extraídas diretamente da base de conhecimento
Abstract: Not informed
Mestrado
Mestre em Ciência da Computação
48
Mukherji, Proshanto. "Laws in logical worlds : using statistical inference to uncover the structure of logical domains /". Saarbrücken : VDM Verlag Dr. Müller, 2008. http://opac.nebis.ch/cgi-bin/showAbstract.pl?u20=9783836454377.
Texto completo da fonte
49
Mukherji, Proshanto. "Laws in logical worlds using statistial inference to uncover the structure of logical domains". Saarbrücken VDM Verlag Dr. Müller, 2006. http://d-nb.info/989451313/04.
Texto completo da fonte
50
Garcia, Camargo Sergio. "Ingénierie Concurrente en Génie Logiciel: Céline". Phd thesis, Université Joseph Fourier (Grenoble), 2006. http://tel.archives-ouvertes.fr/tel-00263683.
Texto completo da fonteResumo:
La croissance en taille et en complexité des logiciels actuels, ainsi que les contraintes du marché, rendent de plus en plus nécessaires les techniques d'ingénierie concurrente. Ces techniques servent à réduire les temps de développement en permettant à plusieurs développeurs de travailler simultanément sur les mêmes objets. Malheureusement, la concurrence pose de nombreux problèmes mal gérés par les systèmes de support à la collaboration qui existent aujourd'hui. Le contrôle de la concurrence est donc un défi pour les concepteurs d'environnements de génie logiciel. Cette thèse s'intéresse au support informatique des procédés collaboratifs de génie logiciel et, en particulier, au contrôle de la concurrence.Notre proposition sera divisée en deux parties. Dans la première partie nous définissons un langage pour la modélisation des procédés de génie logiciel concurrents et nous expliquons les mécanismes qui permettent l'application dans la réalité des procédés ainsi définis. La deuxième partie propose un système dit d'augmentation de l'information contextuelle, qui prend avantage de l'existence des modèles de procédés, pour fournir aux utilisateurs une information pertinente pour leur travail.
La proposition est implémentée au sein du logiciel CELINE. Ce logiciel a été mis en service dans un environnement industriel au sein de deux équipes de conception de la société STMicroelectronics.