LEADER 04391nam 22005774a 450 001 9910782594003321 005 20210519184023.0 010 $a1-281-93729-0 010 $a9786611937294 010 $a90-474-2294-5 035 $a(CKB)1000000000554296 035 $a(EBL)468257 035 $a(OCoLC)312992009 035 $a(SSID)ssj0000197587 035 $a(PQKBManifestationID)11937353 035 $a(PQKBTitleCode)TC0000197587 035 $a(PQKBWorkID)10160646 035 $a(PQKB)10087210 035 $a(MiAaPQ)EBC468257 035 $a(nllekb)BRILL9789047422945 035 $a(Au-PeEL)EBL468257 035 $a(CaPaEBR)ebr10363967 035 $a(PPN)174390408 035 $a(EXLCZ)991000000000554296 100 $a20071001d2007 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 04$aThe many roots of medieval logic$b[electronic resource] $ethe aristotelian and the non-aristotelian traditions : special offprint of Vivarium 45, 2-3 (2007) /$fedited by John Marenbon 210 $aLeiden ;$aBoston $cBrill$d2007 215 $a1 online resource (268 p.) 225 0 $aBrill eBook titles 2007 300 $a"Originally published as Volume 45, No. 2-3 (2007) of Brill's Journal Vivarium."--T.p. verso. 311 $a90-04-16487-1 320 $aIncludes bibliographical references (p. [244]-262). 327 $aRoots, traditions and the multiplicity of medieval logic -- The traditions of ancient logic-cum-grammar in the Middle Ages : what's the problem? / Sten Ebbesen -- Stoic logic and linguistics -- Denying conditionals : Abaelard and the failure of Boethius' account of the hypothetical syllogism / Christopher J. Martin -- Are thoughts and sentences compositional? : a controversy between Abelard and a pupil of Alberic on the reconciliation of ancient theses on mind and language / Martin Lenz -- Res meaning a thing thought : the influence of the Ars Donati / Anne Grondeux -- Platonism in logic and semantics -- The logic of being : Eriugena's dialectical ontology / Christophe Erismann -- Priscian on divine ideas and mental conceptions : the discussions in the Glosulae in Priscianum, the Notae Dunelmenses, William of Champeaux and Abelard / Ire?ne Rosier-Catach -- Symbolism and linguistic semantics : some questions (and confusions) from late antique neoplatonism up to Eriugena / Stefania Bonfiglioli and Costantino Marmo -- Aristotle, Augustine and stoicism -- "Utrum idem sint dicere et intelligere sive videre in mente" : Robert Kilwardby, Quaestiones in librum primum sententiarum / Mary Sirridge -- Mental language and tradition encounters in medieval philosophy : Anselm, Albert and Ockham / Claude Albert -- Intentionality and truth-making : Augustine's influence on Burley and Wyclif's propositional semantics / Laurent Cesalli -- Aristotelian traditions in medieval logic -- Names that can be said of everything : Porphyrian tradition and 'transcendental' terms in twelfth-century logic / Luisa Valente -- Metaphor and the logicians from Aristotle to Cajetan / E. Jennifer Ashworth -- Scepticism, demonstration and the infinite regress argument (Nicholas of Autrecourt and John Buridan) / Christophe Grellard -- Theory of supposition vs. theory of fallacies in Ockham / Catarina Dutilh Novaes -- Richard Billingham's Speculum puerorum, some medieval commentaries and Aristotle / Egbert P. Bos. 330 $aMedieval logic is usually divided into the branches that derived from Aristotle's organon - the 'logica vetus' and 'logica nova', and those invented in the Middle Ages, the 'logica modernorum'. In this volume, a group of distinguished specialists asks whether the ancient roots of medieval logic were not in fact more varied. Stoic logic was mostly lost, but were some of its themes transmitted, even in distorted form, through Boethius and through the grammatical tradition? And did other schools, such as the sceptics and the Platonists, contribute in their own ways to medieval logic? 410 0$aNumen Book Series, 119 606 $aLogic, Medieval 615 0$aLogic, Medieval. 676 $a160.9/02 701 $aMarenbon$b John$0539136 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910782594003321 996 $aThe many roots of medieval logic$93826847 997 $aUNINA LEADER 05770nam 22007935 450 001 9910483505403321 005 20251226203054.0 010 $a1-280-38797-1 010 $a9786613565891 010 $a3-642-14412-8 024 7 $a10.1007/978-3-642-14412-7 035 $a(CKB)2550000000015603 035 $a(SSID)ssj0000446770 035 $a(PQKBManifestationID)11267873 035 $a(PQKBTitleCode)TC0000446770 035 $a(PQKBWorkID)10497041 035 $a(PQKB)11582067 035 $a(DE-He213)978-3-642-14412-7 035 $a(MiAaPQ)EBC3065559 035 $a(PPN)149072759 035 $a(BIP)31291401 035 $a(EXLCZ)992550000000015603 100 $a20100717d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSelf-Organizing Architectures $eFirst International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers /$fedited by Danny Weyns, Sam Malek, Rogério de Lemos, Jesper Andersson 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (X, 301 p. 110 illus.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v6090 300 $a"SOAR 2009 was organized in conjunction with the Working IEEE/IFIP Conference on Software Architecture (WICSA) and the European Conference on Softward Architecture (ECSA), Cambridge, UK, September 14, 2009"--P. [vii]. 311 08$a3-642-14411-X 320 $aIncludes bibliographical references and index. 327 $aSelf-adaptive Approaches -- Elements of Self-adaptive Systems ? A Decentralized Architectural Perspective -- Improving Architecture-Based Self-adaptation Using Preemption -- Weaving the Fabric of the Control Loop through Aspects -- Self-organizing Approaches -- Self-organisation for Survival in Complex Computer Architectures -- Self-organising Sensors for Wide Area Surveillance Using the Max-sum Algorithm -- Multi-policy Optimization in Self-organizing Systems -- A Bio-inspired Algorithm for Energy Optimization in a Self-organizing Data Center -- Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services -- Hybrid Approaches -- Self-adaptive Architectures for Autonomic Computational Science -- Modelling the Asynchronous Dynamic Evolution of Architectural Types -- A Self-organizing Architecture for Traffic Management -- On the Modeling, Refinement and Integration of Decentralized Agent Coordination -- A Self-organizing Architecture for Pervasive Ecosystems. 330 $aSelf-adaptability has been proposed as an e'ective approach to automate the complexity associated with the management of modern-day software systems. Self-adaptability endows a software system with the capability to adapt itself at runtime to deal with changing operating conditions or user requirements. Researchersinself-adaptivesystemsmostlytakeanarchitecture-centricfocus on developing top-down solutions. In this approach, the system is monitored to maintain an explicit (architectural) representation of the system and based on a set of (possibly dynamic) goals, the system's structure or behavior is adapted. Researchersofself-organizingsystemsmostlytakeanalgorithmic/organizational focus on developing bottom-up solutions. In this approach, the system com- nentsadapttheir localbehaviororpatternsofinteractiontochangingconditions and cooperatively realize system adaptation. Self-organizing approaches are - ten inspired by biological or natural phenomena. With the term "self-organizing architectures" (SOAR) we refer to an engineering approachfor self-adaptive s- tems that combinesarchitecturalapproachesforself-adaptability withprinciples and techniques from self-organization. Whereas both lines of research have been successful at alleviating some of the associated challenges of constructing self-adaptive systems, persistent ch- lenges remain, in particular for building complex distributed self-adaptive s- tems. Among the hard challenges in the architectural-centric approach are h- dling uncertainty and providing decentralized scalable solutions. Some of the hard challenges in the self-organizing approach are connecting local interactions with global system behavior, and accommodating a disciplined engineering - proach. The awarenessgrows that for building complex distributed self-adaptive systems, principles from both self-adaptive systems and self-organizing systems have to be combined. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v6090 606 $aSoftware engineering 606 $aComputer networks 606 $aComputer programming 606 $aArtificial intelligence 606 $aApplication software 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aProgramming Techniques 606 $aArtificial Intelligence 606 $aComputer and Information Systems Applications 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aComputer programming. 615 0$aArtificial intelligence. 615 0$aApplication software. 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aProgramming Techniques. 615 24$aArtificial Intelligence. 615 24$aComputer and Information Systems Applications. 676 $a003.7 701 $aWeyns$b Danny$0867840 712 12$aWICSA/ECSA 2009$f(2009 :$eUniversity of Cambridge) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483505403321 996 $aSelf-organizing architectures$94192047 997 $aUNINA