Search Results for lean-logic

Lean Logic is David Fleming's masterpiece, the product of more than thirty years' work and a testament to the creative brilliance of one of Britain's most important intellectuals.

Author: David Fleming

Publisher: Chelsea Green Publishing

ISBN: 9781603586481

Category: BUSINESS & ECONOMICS

Page: 623

View: 761

DOWNLOAD & READ
Lean Logic is David Fleming's masterpiece, the product of more than thirty years' work and a testament to the creative brilliance of one of Britain's most important intellectuals. A dictionary unlike any other, it leads readers through Fleming's stimulating exploration of fields as diverse as culture, history, science, art, logic, ethics, myth, economics, and anthropology, being made up of four hundred and four engaging essay-entries covering topics such as Boredom, Community, Debt, Growth, Harmless Lunatics, Land, Lean Thinking, Nanotechnology, Play, Religion, Spirit, Trust, and Utopia. The threads running through every entry are Fleming's deft and original analysis of how our present market-based economy is destroying the very foundations--ecological, economic, and cultural-- on which it depends, and his core focus: a compelling, grounded vision for a cohesive society that might weather the consequences. A society that provides a satisfying, culturally-rich context for lives well lived, in an economy not reliant on the impossible promise of eternal economic growth. A society worth living in. Worth fighting for. Worth contributing to. The beauty of the dictionary format is that it allows Fleming to draw connections without detracting from his in-depth exploration of each topic. Each entry carries intriguing links to other entries, inviting the enchanted reader to break free of the imposed order of a conventional book, starting where she will and following the links in the order of her choosing. In combination with Fleming's refreshing writing style and good-natured humor, it also creates a book perfectly suited to dipping in and out. The decades Fleming spent honing his life's work are evident in the lightness and mastery with which Lean Logic draws on an incredible wealth of cultural and historical learning--from Whitman to Whitefield, Dickens to Daly, Kropotkin to Kafka, Keats to Kuhn, Oakeshott to Ostrom, Jung to Jensen, Machiavelli to Mumford, Mauss to Mandelbrot, Leopold to Lakatos, Polanyi to Putnam, Nietzsche to Næss, Keynes to Kumar, Scruton to Shiva, Thoreau to Toynbee, Rabelais to Rogers, Shakespeare to Schumacher, Locke to Lovelock, Homer to Homer-Dixon--in demonstrating that many of the principles it commends have a track-record of success long pre-dating our current society. Fleming acknowledges, with honesty, the challenges ahead, but rather than inducing despair, Lean Logic is rare in its ability to inspire optimism in the creativity and intelligence of humans to nurse our ecology back to health; to rediscover the importance of place and play, of reciprocity and resilience, and of community and culture. ------ Recognizing that Lean Logic's sheer size and unusual structure could be daunting, Fleming's long-time collaborator Shaun Chamberlin has also selected and edited one of the potential pathways through the dictionary to create a second, stand-alone volume, Surviving the Future: Culture, Carnival and Capital in the Aftermath of the Market Economy. The content, rare insights, and uniquely enjoyable writing style remain Fleming's, but presented at a more accessible paperback-length and in conventional read-it-front-to-back format.
2016 By David Fleming

Author: David Fleming

Publisher:

ISBN: 0955084962

Category: Environmental economics

Page: 736

View: 827

DOWNLOAD & READ
2011 By David Fleming

Who can lead the lean enterprise? One candidate is the travel ... More realistically, the integrator will be some new entrant—let's call this organization a service provider—willing to introduce a new lean logic to the whole system.

Author: James P. Womack

Publisher: Simon and Schuster

ISBN: 9781439135952

Category: Business & Economics

Page: 400

View: 302

DOWNLOAD & READ
Expanded, updated, and more relevant than ever, this bestselling business classic by two internationally renowned management analysts describes a business system for the twenty-first century that supersedes the mass production system of Ford, the financial control system of Sloan, and the strategic system of Welch and GE. It is based on the Toyota (lean) model, which combines operational excellence with value-based strategies to produce steady growth through a wide range of economic conditions. In contrast with the crash-and-burn performance of companies trumpeted by business gurus in the 1990s, the firms profiled in Lean Thinking -- from tiny Lantech to midsized Wiremold to niche producer Porsche to gigantic Pratt & Whitney -- have kept on keeping on, largely unnoticed, along a steady upward path through the market turbulence and crushed dreams of the early twenty-first century. Meanwhile, the leader in lean thinking -- Toyota -- has set its sights on leadership of the global motor vehicle industry in this decade. Instead of constantly reinventing business models, lean thinkers go back to basics by asking what the customer really perceives as value. (It's often not at all what existing organizations and assets would suggest.) The next step is to line up value-creating activities for a specific product along a value stream while eliminating activities (usually the majority) that don't add value. Then the lean thinker creates a flow condition in which the design and the product advance smoothly and rapidly at the pull of the customer (rather than the push of the producer). Finally, as flow and pull are implemented, the lean thinker speeds up the cycle of improvement in pursuit of perfection. The first part of this book describes each of these concepts and makes them come alive with striking examples. Lean Thinking clearly demonstrates that these simple ideas can breathe new life into any company in any industry in any country. But most managers need guidance on how to make the lean leap in their firm. Part II provides a step-by-step action plan, based on in-depth studies of more than fifty lean companies in a wide range of industries across the world. Even those readers who believe they have embraced lean thinking will discover in Part III that another dramatic leap is possible by creating an extended lean enterprise for each of their product families that tightly links value-creating activities from raw materials to customer. In Part IV, an epilogue to the original edition, the story of lean thinking is brought up-to-date with an enhanced action plan based on the experiences of a range of lean firms since the original publication of Lean Thinking. Lean Thinking does not provide a new management "program" for the one-minute manager. Instead, it offers a new method of thinking, of being, and, above all, of doing for the serious long-term manager -- a method that is changing the world.
2010-11-23 By James P. Womack

Voting Theory in the Lean Theorem Prover Wesley H. Holliday1( B ) , Chase Norman1 , and Eric Pacuit2 1 2 University of ... Keywords: Interactive theorem Logic and proving social · choice Lean theorem theory · prover Voting theory · 1 ...

Author: Sujata Ghosh

Publisher: Springer Nature

ISBN: 9783030887087

Category: Philosophy

Page: 289

View: 180

DOWNLOAD & READ
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 8th International Workshop on Logic, Rationality, and Interaction, LORI 2021, held in Xi`an, China, in October 2021. The 15 full papers presented together with 7 short papers in this book were carefully reviewed and selected from 40 submissions. The workshop covers a wide range on the following topics such as doxastic and epistemic logics, deontic logic, intuitionistic and subsstructural logics, voting theory, and (a new theme emphasized this year) causal inference.
2021-11-04 By Sujata Ghosh

15 Fleming David: Lean Logic: A Dictionary for the Future and How to Survive It, Chelsea Green Publishing, 2016, p. 312. 16 To give one practical example from a community-supported agriculture (CSA) project to which the author belongs: ...

Author: Peadar Kirby

Publisher: Bloomsbury Publishing

ISBN: 9781350117846

Category: Philosophy

Page: 256

View: 552

DOWNLOAD & READ
Has politics reached breaking point? Rather than defending liberalism or abandoning it, how can a socially just and ecological alternative be built? Peadar Kirby investigates the causes of our current multifaceted global crisis by drawing on the work of Karl Polanyi. This book explores Polanyi's theory that social disruptions result from the attempt to run society according to the rules of the market. Drawing on these ideas, it outlines pathways towards an alternative future that overcome weaknesses in Marxism. Linking the ecological, political and socio-economic crises, Kirby identifies that an alternative socio-ecological model is emerging, consistent with the insights of Polanyi. Karl Polanyi and the Contemporary Political Crisis is an urgent intervention into key debates on the future of politics, on the low-carbon transition, on automation and on the emerging world order.
2020-12-10 By Peadar Kirby

Under the "organizational logic" of lean production, human resource strategy is integrated with technology strategy (Shimada and MacDuffie, 1987). Policies that develop work force skill, motivation, and flexibility and that promote ...

Author: Thomas A. Kochan

Publisher: Oxford University Press

ISBN: 0195362322

Category: Business & Economics

Page: 432

View: 952

DOWNLOAD & READ
This book examines how organizations can, and should, transform their practices to compete in a world economy. Research results from a multi-disciplinary team of MIT researchers, along with the experiences and insights of a select group of industry practitioners, are integrated into a model that stresses the need for systemic and transformative rather than piecemeal or incremental changes in organization practices and public policy. This integration of research and experience results in an argument for a new organizational learning model--one capable of gaining advantage from employee diversity, cooperation across organizational boundaries, strategic restructuring, and advanced technology. The book begins with a foreword by Lester C. Thurow.
1992-02-06 By Thomas A. Kochan

Besides the original leanTAP implementation for classical first-order logic, lean tableau provers are also available for various non-classical logics, i.e. firstorder intuitionistic logic (ileanTAP, [21]), and the propositional modal ...

Author: Neil V. Murray

Publisher: Springer

ISBN: 9783540487548

Category: Computers

Page: 334

View: 311

DOWNLOAD & READ
This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'99, held in Saratoga Springs, NY, USA, in June 1999. The volume presents 18 revised full papers and three system descriptions selected from 41 submissions. Also included are system comparisons and abstracts of an invited paper and of two tutorials. All current issues surrounding mechanization of reasoning with tableaux and similar methods are addressed - ranging from theoretical foundations to implementation and systems development and applications, as well as covering a broad variety of logic calculi. As application areas, formal verification of software and computer systems, deductive databases, knowledge representation, and systems diagnosis are covered.
2003-07-31 By Neil V. Murray

These logics contain a single necessity operator D rather than one K i for each agent i in a set of agents: • Bentzen [3] formalized S5 in Lean. • Neeley [42] formalized modal systems K, T, S4 and S5 in Lean. In the context of epistemic ...

Author: Roussanka Loukanova

Publisher: Springer Nature

ISBN: 9783030901387

Category:

Page:

View: 731

DOWNLOAD & READ

Building on a remarkable breadth of intellectual and cultural heritage—from Keynes to Kumar, Homer to Huxley, Mumford to MacIntyre, Scruton to Shiva, Shakespeare to Schumacher—Fleming describes a world in which, as he says, “there ...

Author: David Fleming

Publisher: Chelsea Green Publishing

ISBN: 9781603586474

Category: Social Science

Page: 304

View: 229

DOWNLOAD & READ
Surviving the Future is a story drawn from the fertile ground of the late David Fleming’s extraordinary Lean Logic: A Dictionary for the Future and How to Survive It. That hardback consists of four hundred and four interlinked dictionary entries, inviting readers to choose their own path through its radical vision. Recognizing that Lean Logic’s sheer size and unusual structure can be daunting, Fleming’s long-time collaborator Shaun Chamberlin has selected and edited one of these potential narratives to create Surviving the Future. The content, rare insights, and uniquely enjoyable writing style remain Fleming’s, but are presented here at a more accessible paperback-length and in conventional read-it-front-to-back format. The subtitle—Culture, Carnival and Capital in the Aftermath of the Market Economy—hints at Fleming’s vision. He believed that the market economy will not survive its inherent flaws beyond the early decades of this century, and that its failure will bring great challenges, but he did not dwell on this: “We know what we need to do. We need to build the sequel, to draw on inspiration which has lain dormant, like the seed beneath the snow.” Surviving the Future lays out a compelling and powerfully different new economics for a post-growth world. One that relies not on taut competitiveness and eternally increasing productivity—“putting the grim into reality”—but on the play, humor, conversation, and reciprocal obligations of a rich culture. Building on a remarkable breadth of intellectual and cultural heritage—from Keynes to Kumar, Homer to Huxley, Mumford to MacIntyre, Scruton to Shiva, Shakespeare to Schumacher—Fleming describes a world in which, as he says, “there will be time for music.” This is the world that many of us want to live in, yet we are told it is idealistic and unrealistic. With an evident mastery of both economic theory and historical precedent, Fleming shows that it is not only desirable, but actually the only system with a realistic claim to longevity. With friendliness, humor, and charm, Surviving the Future plucks this vision out of our daydreams and shows us how to make it real.
2016-08-04 By David Fleming

This resemblance is not accidental; the Lambek calculus is in fact a (very lean) logical calculus. In the subsequent paragraphs, I will make this connection precise by pointing out how exactly the Lambek calculus can be obtained from ...

Author: Gerhard Jäger

Publisher: Springer Science & Business Media

ISBN: 9781402039058

Category: Language Arts & Disciplines

Page: 290

View: 580

DOWNLOAD & READ
Type Logical Grammar is a framework that emerged from the synthesis of two traditions: Categorial Grammar from formal linguistics and substructural logics from logic. Grammatical composition is conceived as resource conscious logical deduction. Such a grammar is necessarily surface oriented and lexicalistic. The Curry-Howard correspondence supplies an elegant compositional mapping from syntax to semantics. Anaphora does not seem to fit well into this framework. In type logical deductions, each resource is used exactly once. Anaphora, however, is a phenomenon where semantic resources are used more than once. Generally admitting the multiple use of lexical resources is not possible because it would lead to empirical inadequacy and computational intractability. This book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while avoiding these consequences. To this end, the grammar logic is enriched with a connective that specifically deals with anaphora. After giving a self-contained introduction into Type Logical Grammar in general, the book discusses the formal properties of this connective. In the sequel, Jäger applies this machinery to numerous linguistic phenomena pertaining to the interaction of pronominal anaphora, VP ellipsis and quantification. In the final chapter, the framework is extended to indefiniteness, specificity and sluicing.
2006-03-30 By Gerhard Jäger