| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910154288603321 |
|
|
Autore |
Gísli Pálsson <1949-> |
|
|
Titolo |
The man who stole himself : the slave odyssey of Hans Jonathan / / Gisli Palsson ; translated from the Icelandic by Anna Yates |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Chicago, [Illinois] ; ; London, [England] : , : The University of Chicago Press, , 2016 |
|
©2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (311 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Fugitive slaves - Iceland - Djúpivogur |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Frontmatter -- Contents -- Prologue A MAN OF MANY WORLDS -- I THE ISLAND OF ST. CROIX -- II COPENHAGEN -- III ICELAND -- IV DESCENDANTS -- Epilogue: Biographies -- Timeline -- Acknowledgments -- Photo Catalog -- Notes -- Bibliography -- Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The island nation of Iceland is known for many things—majestic landscapes, volcanic eruptions, distinctive seafood—but racial diversity is not one of them. So the little-known story of Hans Jonathan, a free black man who lived and raised a family in early nineteenth-century Iceland, is improbable and compelling, the stuff of novels. In The Man Who Stole Himself, Gisli Palsson lays out the story of Hans Jonathan (also known as Hans Jónatan) in stunning detail. Born into slavery in St. Croix in 1784, Hans was taken as a slave to Denmark, where he eventually enlisted in the navy and fought on behalf of the country in the 1801 Battle of Copenhagen. After the war, he declared himself a free man, believing that he was due freedom not only because of his patriotic service, but because while slavery remained legal in the colonies, it was outlawed in Denmark itself. He thus became the subject of one of the most notorious slavery cases in European history, which he lost. Then Hans ran away—never to be heard from in Denmark again, his fate unknown for more than two hundred years. It’s now known that Hans fled to Iceland, where he became a merchant and peasant farmer, married, and raised two children. Today, he has |
|
|
|
|
|
|
|
|
|
|
|
|
|
become something of an Icelandic icon, claimed as a proud and daring ancestor both there and among his descendants in America. The Man Who Stole Himself brilliantly intertwines Hans Jonathan’s adventurous travels with a portrait of the Danish slave trade, legal arguments over slavery, and the state of nineteenth-century race relations in the Northern Atlantic world. Throughout the book, Palsson traces themes of imperial dreams, colonialism, human rights, and globalization, which all come together in the life of a single, remarkable man. Hans literally led a life like no other. His is the story of a man who had the temerity—the courage—to steal himself. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910143638903321 |
|
|
Titolo |
Automated Deduction in Classical and Non-Classical Logics : Selected Papers / / edited by Ricardo Caferra, Gernot Salzer |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2000.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 304 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 1761 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Logic, Symbolic and mathematical |
Computer logic |
Artificial Intelligence |
Mathematical Logic and Formal Languages |
Logics and Meanings of Programs |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Papers -- Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory -- Higher-Order Modal Logic—A Sketch -- Proving Associative-Commutative Termination Using RPO-Compatible Orderings -- Decision Procedures and Model Building or How to Improve Logical Information in Automated Deduction -- Replacement Rules with |
|
|
|
|
|
|
|
|
|
|
|
Definition Detection -- Contributed Papers -- On the Complexity of Finite Sorted Algebras -- A Further and Effective Liberalization of the ?-Rule in Free Variable Semantic Tableaux -- A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory -- Interpretation of a Mizar-Like Logic in First Order Logic -- An ((n · log n)3)-Time Transformation from Grz into Decidable Fragments of Classical First-Order Logic -- Implicational Completeness of Signed Resolution -- An Equational Re-engineering of Set Theories -- Issues of Decidability for Description Logics in the Framework of Resolution -- Extending Decidable Clause Classes via Constraints -- Completeness and Redundancy in Constrained Clause Logic -- Effective Properties of Some First Order Intuitionistic Modal Logics -- Hidden Congruent Deduction -- Resolution-Based Theorem Proving for SH n-Logics -- Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized ?-Rule but Without Skolemization. |
|
|
|
|
|
|
Sommario/riassunto |
|
Thisvolumeisacollectionofpapers onautomateddeduction inclassical,modal, and many-valued logics, with an emphasis on rst-order theories. Some authors bridgethe gaptohigher-order logicbydealingwithsimpletype theory ina r- order setting, or by resolving shortcomings of r st-order logic with the help of higher-order notions. Most papers rely on resolution or tableaux methods, with a few exceptions choosing the equational paradigm. In its entirety the volume is a mirror of contemporary research in r st-order theorem proving. One trend to be observed is the interest in e ective decision procedures. The main aim of rs t-order theorem proving was and still is to demonstrate the validity or unsatisa bility of formulas, by more and more - phisticatedmethods. Withinthelastyears,however,theothersideofthemedal{ falsi abilityand satisab ility { has r eceived growing attention. Though in g- eral non-terminating, theorem provers sometimes act as decision procedures on subclasses ofrs t-order logic. Inparticularcases theiroutputcanevenbeused to extract n ite representations of models or counter-examples. Another devel- mentistheextension ofdeductiontechniquesfromclassicallogictomany-valued and modal logics. By suitably generalizing classical concepts many results carry over to non-classical logics. This line of research is stimulated by artici al int- ligence with its need for more expressive logics capable of modeling real-world reasoning. From a formal point of view this volume comprises two types of papers, invited and contributed ones. Gilles Dowek, Melvin Fitting, Deepak Kapur, Alexander Leitsch, and David Plaisted accepted our invitation to present recent developments in and their view of the e ld. Contributed papers on the other hand underwent a two-staged selection process. |
|
|
|
|
|
|
|
| |