Choose an application
Choose an application
"I find this book extremely useful and important, because it signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons." Istvan Németi, Hungarian Academy of Sciences "Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. But while universal algebra is a long recognized field, universal logic has only recently been named as such. This is perhaps because classical logic was until relatively recently taken by many as the "one true logic". But with the proliferation of special purpose non-classical logics in recent years, universal logic is clearly a field whose time has come. This book contains many excellent papers demonstrating the value of this approach." J. Michael Dunn, Indiana University "Modern logic is exploding into manifold applications, and its core research agenda is expanding accordingly. Thus, it becomes of great importance to reflect and rethink the notion of a logical system, which has served us so well for a century now. This book contains timely, broad, and unifying reflections on logical systems and logical consequence, and helps us think where our discipline is going." Johan van Benthem, University of Amsterdam & Stanford University.
Logic, Symbolic and mathematical. --- Model theory. --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science. --- Mathematical Logic and Foundations. --- Mathematical Logic and Formal Languages. --- Arithmetic and Logic Structures. --- Informatics --- Science --- Mathematical logic. --- Arithmetic and logic units, Computer. --- Arithmetic and logic units, Computer --- Computer arithmetic --- Electronic digital computers --- Circuits
Choose an application
"I find this book extremely useful and important, because it signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons." Istvan Németi, Hungarian Academy of Sciences "Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. But while universal algebra is a long recognized field, universal logic has only recently been named as such. This is perhaps because classical logic was until relatively recently taken by many as the "one true logic". But with the proliferation of special purpose non-classical logics in recent years, universal logic is clearly a field whose time has come. This book contains many excellent papers demonstrating the value of this approach." J. Michael Dunn, Indiana University "Modern logic is exploding into manifold applications, and its core research agenda is expanding accordingly. Thus, it becomes of great importance to reflect and rethink the notion of a logical system, which has served us so well for a century now. This book contains timely, broad, and unifying reflections on logical systems and logical consequence, and helps us think where our discipline is going." Johan van Benthem, University of Amsterdam & Stanford University.
Logic, Symbolic and mathematical. --- Model theory. --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science. --- Mathematical Logic and Foundations. --- Mathematical Logic and Formal Languages. --- Arithmetic and Logic Structures. --- Informatics --- Science --- Mathematical logic. --- Arithmetic and logic units, Computer. --- Arithmetic and logic units, Computer --- Computer arithmetic --- Electronic digital computers --- Circuits
Choose an application
Choose an application
Christian religion --- Christianity --- Spiritual life --- Christians --- Christianity and atheism --- Christianisme --- Vie spirituelle --- Chrétiens --- Christianisme et athéisme --- Essence, genius, nature. --- Correspondence --- Essence, esprit, nature --- Correspondance --- Orthodox Eastern Church --- Chrétiens --- Christianisme et athéisme --- Correspondence.
Choose an application
Status of persons --- Human rights --- European Union --- Citizenship --- Civil rights --- Freedom of movement --- Citoyenneté --- Droits de l'homme --- Libre circulation des personnes --- Cases --- Jurisprudence --- Persons (Law) --- BPB0906 --- Citoyenneté européenne --- Libre circulation des travailleurs --- 323.2 EU --- 341.9 EU --- Rechten van de mens --- Europees staatsburgerschap --- Vrij verkeer van werknemers --- Burgerbevolking in relatie tot de staat. Burger en staat--Europese Unie --- Internationaal privaatrecht --(algemeen)--Europese Unie --- Citoyenneté --- Law of persons --- Personality (Law) --- Status (Law) --- Court of Justice of the European Communities --- Law --- European Economic Community countries --- European communities --- Legal status, laws, etc. --- Cases. --- töötajate vaba liikumine --- volný pohyb pracovníků --- swobodny przepływ pracowników --- laisvas darbuotojų judėjimas --- arbejdskraftens frie bevægelighed --- voľný pohyb pracovníkov --- ελεύθερη κυκλοφορία των εργαζομένων --- libera circulație a forței de muncă --- libre circulación de trabajadores --- слободно движење на работници --- слобода кретања радне снаге --- moviment liberu tal-ħaddiema --- slobodno kretanje radnika --- livre circulação de trabalhadores --- libera circolazione dei lavoratori --- free movement of workers --- vrij verkeer van werknemers --- brīva strādājošo kustība --- munkavállalók szabad mozgása --- lëvizja e lirë e punëtorëve --- Freizügigkeit der Arbeitnehmer --- свободно движение на работници --- saorghluaiseacht oibrithe --- prosto gibanje delavcev --- fri rörlighet för arbetstagare --- työntekijöiden vapaa liikkuvuus --- libera circulație a muncitorilor --- слободно движење на персоналот --- liri e lëvizjes së punonjësve --- freedom of movement for workers --- Freizügigkeit der Arbeitskräfte --- darbuotojų judėjimo laisvė --- strādājošo pārvietošanās brīvība --- laisvas darbo jėgos judėjimas --- слободно движење на работната сила --- töötajate liikumisvabadus --- človekove pravice --- derechos humanos --- ľudské práva --- prawa człowieka --- ljudska prava --- δικαιώματα του ανθρώπου --- човешки права --- human rights --- inimõigused --- cilvēktiesības --- rechten van de mens --- lidská práva --- cearta an duine --- ihmisoikeudet --- direitos humanos --- људска права --- emberi jogok --- menneskerettigheder --- човекови права --- drittijiet tal-bniedem --- mänskliga rättigheter --- žmogaus teisės --- të drejtat e njeriut --- diritti umani --- drepturile omului --- Menschenrechte --- kršenje ljudskih prava --- Verletzung der Menschenrechte --- diritti fondamentali dell'uomo --- Verteidigung der Menschenrechte --- nezadatelná práva --- ανθρώπινα δικαιώματα --- nepromlčitelná práva --- pasikėsinimas į žmogaus teises --- фундаментални слободи и права на човекот и граѓанинот --- zaštita ljudskih prava --- porušování lidských práv --- atentado a los derechos humanos --- Schutz der Menschenrechte --- mbrojtje e të drejtave të njeriut --- krænkelse af menneskerettighederne --- cilvēktiesību apdraudējums --- παραβίαση των δικαιωμάτων του ανθρώπου --- violarea drepturilor omului --- aantasting van de rechten van de mens --- porušenie ľudských práv --- Beeinträchtigung der Menschenrechte --- mensenrechten --- emberi jogok védelme --- emberi jogok megsértése --- kränkning av mänskliga rättigheter --- atteinte aux droits de l'homme --- útok na ľudské práva --- ihmisoikeusloukkaus --- προσβολή των δικαιωμάτων του ανθρώπου --- attack on human rights --- protección de los derechos humanos --- cilvēktiesību aizsardzība --- bescherming van de rechten van de mens --- salvaguardia dei diritti dell'uomo --- proteção dos direitos humanos --- tilsidesættelse af menneskerettighederne --- ihmisoikeuksien suojelu --- protezione dei diritti umani --- Конвенција за заштита на човековите права и основните слободи --- skydd av mänskliga rättigheter --- violación de los derechos humanos --- cilvēktiesību pārkāpums --- ochrana ľudských práv --- žmogaus teisių apsauga --- ihmisoikeuksien uhkaaminen --- prava čovjeka --- derechos del hombre --- rispetto dei diritti dell'uomo --- schending van de rechten van de mens --- inimõiguste kaitse --- protecția drepturilor omului --- shkelje e të drejtave të njeriut --- violação dos direitos humanos --- brott mot mänskliga rättigheter --- beskyttelse af menneskerettigheder --- ochrana lidských práv --- inimõiguste ohustamine --- violation des droits de l'homme --- повреда на граѓанските права --- cenim i të drejtave të njeriut --- žmogaus teisių pažeidimas --- cilvēka pamattiesības --- граѓански слободи и права --- προστασία των δικαιωμάτων του ανθρώπου --- ofensa aos direitos humanos --- заштита на правата и слободите на граѓаните --- кршење на човековите права --- human rights violation --- violazione dei diritti umani --- protection of human rights --- inimõiguste rikkumine --- reato contro i diritti dell'uomo --- protection des droits de l'homme --- cittadinanza europea --- evropsko državljanstvo --- Euroopan kansalaisuus --- europeiskt medborgarskap --- European citizenship --- Euroopa kodakondsus --- ċittadinanza Ewropea --- občanství EU --- европско држављанство --- shtetësia europiane --- Európske občianstvo --- Eiropas pilsonība --- Европейско гражданство --- cidadania europeia --- europäische Staatsbürgerschaft --- europæisk statsborgerskab --- европско државјанство --- Europos pilietybė --- ciudadanía europea --- cetățenie europeană --- obywatelstwo europejskie --- európai polgárság --- ευρωπαϊκή ιθαγένεια --- građanstvo EU-a --- cetățenia Uniunii --- ciudadanía de la Unión --- Unionsbürgerschaft --- Union citizenship --- uniós polgárság --- citizenship of the Union --- Europos Sąjungos pilietybė --- europsko građanstvo --- liidu kodakondsus --- unionin kansalaisuus --- burgerschap van de Unie --- Savienības pilsonība --- статус на европски државјанин --- unionsmedborgarskap --- citoyenneté de l'Union --- cidadania da União --- државјанство на Унијата --- cittadinanza dell'Unione --- shtetësi e Bashkimit --- ιθαγένεια της Ένωσης --- unionsborgerskab --- građanstvo Unije --- saoránacht Eorpach --- Persons (Law) - European Union countries --- Citoyenneté européenne --- Union européenne. Cour de justice --- Cour européenne des droits de l'homme --- Personnes (droit européen) --- Citoyenneté (droit européen) --- Émigration et immigration --- Droit d'asile --- Pays de l'Union européenne --- Politique publique
Choose an application
Un mot d'usage quotidien, "danger", est devenu concept chez Heidegger. L'usage heideggerien de "danger" n'est pourtant pas celui de ce livre, qui refuse de s'engager de front dans la "question de l'être" au profit des manières ou modes d'être, dont il explore un échantillon sans prétention exhaustive mais utilisé comme trame heuristique. Mode d'être de l'oeuvre d'art, mode d'être de la "chose" ou du sacrement, mode d'être comme "existence" et comme "vie", un danger est toujours présent : l'existence, telle que décrite chez Heidegger, est déconstituée par des phénomènes auxquels elle ne peut rendre justice ; la vie abrite l'existence mais court le risque perpétuel de n'être que dans les frontières de l'existence, etc. Et si l'étant nous est toujours donné dans un comment - comment de son apparaître, donc comment de son être -, rien ne garantit la pérennité de cette donation : presque tout étant, et d'abord l'étant que nous sommes, est en danger d'apparaître autre qu'il ne nous apparaît maintenant. Aussi convenait-il, après avoir ajointé le concept de vie à celui d'esprit, après avoir dit que la vie est (parfois) "spirituelle", de justifier le titre du livre en liant "être" et "danger" ; et il restait au final le temps de proposer, dans l'élément du possible, l'hypothèse d'une eschatologie de l'être, avant tout de notre être, sur laquelle le danger n'aurait plus de prise.
Heidegger, Martin --- Ontology --- Being --- Philosophy --- Metaphysics --- Necessity (Philosophy) --- Substance (Philosophy)
Choose an application
History of France --- anno 1600-1699 --- anno 1700-1799 --- Economic history --- Histoire économique --- Europe --- Economic conditions --- Conditions économiques --- France --- Economic policy --- 338 <09> --- Economische geschiedenis --- -Economic conditions --- -Economic policy. --- 338 <09> Economische geschiedenis --- Histoire économique --- Conditions économiques --- Pʻŭrangsŭ --- Frankrig --- Francja --- Frant︠s︡ii︠a︡ --- Prantsusmaa --- Francia (Republic) --- Tsarfat --- Tsorfat --- Franḳraykh --- Frankreich --- Fa-kuo --- Faguo --- Франция --- French Republic --- République française --- Peurancih --- Frankryk --- Franse Republiek --- Francland --- Frencisc Cynewīse --- فرنسا --- Faransā --- Franza --- Republica Franzesa --- Gallia (Republic) --- Hyãsia --- Phransiya --- Fransa --- Fransa Respublikası --- Franse --- Францыя --- Frantsyi︠a︡ --- Французская Рэспубліка --- Frantsuzskai︠a︡ Rėspublika --- Parancis --- Pransya --- Franis --- Francuska --- Republika Francuska --- Bro-C'hall --- Френска република --- Frenska republika --- França --- República Francesa --- Pransiya --- Republikang Pranses --- Γαλλία --- Gallia --- Γαλλική Δημοκρατία --- Gallikē Dēmokratia --- فرانسه --- Farānsah --- צרפת --- רפובליקה הצרפתית --- Republiḳah ha-Tsarfatit --- פראנקרייך --- 法国 --- 法蘭西共和國 --- Falanxi Gongheguo --- フランス --- Furansu --- フランス共和国 --- Furansu Kyōwakoku --- Francija --- Ranska --- Frankrike --- Economic policy. --- 940 --- France XVIIe siècle --- France XVIIIe siècle --- economische en sociale geschiedenis --- histoire économique et sociale --- France - Economic conditions - 17th century --- France - Economic conditions - 18th century --- France - Economic policy --- Economie --- Conditions economiques --- Ancien regime --- Histoire economique --- Economie politique --- Histoire --- Historiographie --- 1450-1789 --- 1500-1800
Choose an application
Choose an application
Iconography --- Art --- sociology --- Burden, Chris --- Bruant, Jean-Baptiste --- McLean, Bruce --- Blazy, Michel --- Sherman, Cindy --- Séchas, Alain --- Zabat, Olivier --- McCarthy, Paul --- Hybert, Fabrice --- Mogarra, Joachim --- Zgraggen, Beat --- Filliou, Robert --- Biefer, Marcel --- Lizène, Jacques --- Gasiorowski, Gérard --- Gilbert and George --- Wegman, William --- Ader, Bas Jan --- Lucariello, Saverio --- Touyard, Gilles --- Signer, Roman --- Barbier, Gilles --- Perreno, Philippe --- Elk, van, Ger --- Landers, Sean --- anno 1900-1999 --- Kitsch --- Arts, Modern --- Arts modernes --- Exhibitions --- Expositions --- Exhibitions. --- Arts, Modern - 20th century - Exhibitions --- Kitsch - Exhibitions