Inkompabilitismus und die absolutistische Konzeption von Vernunft

In diesem Beitrag gehe ich dem wechselseitigen Zusammenhang zwischen Vernunft und Freiheit nach, indem ich zu zeigen versuche, dass unterschiedliche Konzeptionen von Vernunft auch unterschiedliche Konzeptionen von Freiheit nach sich ziehen. Ich diskutiere zwei Argumente für den Inkompatibilismus (Strawsons Basic Argument und van Inwagens Konsequenzargument), von denen sich herausstellt, dass sie auf strukturgleichen Hintergrundannahmen beruhen, die ihrerseits Spezialfälle jenes Grundsatzes vernünftigen Denkens sind, den Kant als das "oberste Prinzip der reinen Vernunft" bezeichnet. Diese ("absolutistische") Konzeption von Vernunft ist keineswegs alternativlos. Die "intuitive" Plausibilität des Inkompatibilismus wird folglich in Frage gestellt.In this paper I investigate the mutual link between reason and freedom by showing that different conceptions of reason entail different conceptions of freedom. I discuss two arguments for incompatibilism (Strawson’s Basic Argument and van Inwagen’s Consequence Argument) which turn out to rest on structurally identical background assumptions. These are instances of the basic principle which Kant calls the "highest principle of pure reason". This ("absolutist") conception of reason is not without alternative. Thus the "intuitive" plausibility of incompatibilism is called into question

Backend for Collaborative Programming in Augmented Reality

Tato práce se zabývá implementací a aplikací výlučného přístupu pro systém ARCOR2, který slouží ke kolaborativnímu programování robotů v rozšířené realitě. Cílem práce je analýza výchozího stavu, návrh a implementace výlučného přístupu pro tento systém. Implementace je rozsáhlá a umožňuje řadu pracovních scénářů, které vyžadují aplikaci výlučného přístupu. Tyto scénáře jsou odhaleny analýzou systému. Na tomto základu je vytvořen návrh, který řeší problematické scénáře.  Nedostatek systému je vyřešen vytvořením globálního manažera zámků, který je aplikován. V rámci práce jsou  definovány vzory, jak manažera zámků použít. Přínosem práce je efektivní a nekonfliktní kolaborativní programování.This thesis deals with the implementation and application of exclusive access for the ARCOR2 system, which is used for collaborative programming of robots, using augmented reality. The goal of this thesis is an analysis of default state, proposal, and implementation of an exclusive access solution for this system. The implementation is extensive and allows for a number of work scenarios, which require the usage of exclusive access. Scenarios are revealed by the system analysis. Based on the analysis proposal of a solution is created. The problem is resolved by creating a global lock manager, which is applied. Patterns of how the manager should be used, are defined in the work. The benefits of this work are effective and easygoing collaborative programming.

Confiança condicional. Certeza metafísica em um mundo contingente

A metafísica tradicional assumiu que a razão pode apreender uma ordem estável e necessária sob as aparências mutáveis que são apresentadas a nós por meio de nossos sentidos. O artigo endereça a questão de saber, se alguma coisa permanece da metafísica se aceitarmos que o mundo é completamente contingente (não-necessário). Conforme o diagnóstico de Immanuel Kant das falácias da razão pura na "Dialética Transcendental" da Crítica da Razão Pura, pensamento racional como tal segue uma estrutura recursiva de perguntas "Por quê?", com a conseqüência de que nossas perguntas podem alcançar um fim (um fim no qual a "necessidade da razão" é satisfeita) apenas com algo "incondicionado". Contra isto, é argumentado que a estrutura recursiva diagnosticada por Kant é característica não da razão como tal, mas apenas de uma concepção particular da razão que dominou a metafísica ocidental desde os dias de Platão e Aristóteles. Sob uma concepção pragmatística do pensamento racional, por contraste (uma concepção prevista pelo próprio Kant em seu argumento dos "Postulados da Razão Prática Pura"), perguntas razoáveis se apresentam e terminam com respostas que, como matéria de fato, não são disputáveis no contexto no qual são dadas. Desta perspectiva, nada necessário e incondicionado é requerido para satisfazer demandas da razão ( medida que fatos contextualmente incontestáveis tratam de perguntas que têm sido tradicionalmente consideradas como metafísicas p.ex., a liberdade da vontade), eles podem servir como base para um tipo pragmatístico de metafísica que pode ser feito sem ordem eterna e sem fundamentos necessários.