Logic(s) is a queer Black and Asian magazine devoted to deepening the discourse around technology. We publish twice a year in print and digital formats.
Home | Logic(s) Magazine
Logic(s) is a queer Black and Asian magazine devoted to deepening the discourse around technology. We publish twice a year in print and digital formats.
Koans Are No Longer Paradoxical
Illuminating how they instantiate a rigorous form of logic
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
Introduction to higher order catagorical logic by J. Lambek, March 25, 1988, Cambridge University Press edition, Paperback in English
Welcome to the Relational Design Lab | LX Cast | 19 comments
Today I am VERY excited to share with all of you about my new home, Relational Design Lab! This R&D studio brings together a number of projects and will, I hope, grow to encompass many more. I imagine this lab as a gathering place for curious people who want to think about systems, and not in the typical mechanistic way they are described and implemented in technology. Instead, we'll feel into living systems, fractal ways of being, where the how is as important as the what. Over time, I hope the Lab will be a home or a waypoint for designers, researchers, community organizations, artists, storytellers, and technologists to explore togetherness together. Our 'theory of change' focuses on paradigm shift. Big change takes practice and possibility. Paradoxically, paradigm shift is a result of many small changes and repetitions in our behaviour and belief systems. We embrace emergence, mutual support, collective practice, and storytelling. One thing feels pretty clear, we need technology that is designed in solidarity with mutual care, does not depend on the whims of big corporations or its surveillance, and is joyful to use. To live in this reality, we also need to consider how business, funding, governance, scale, and context affect our work. We need embodied ways of knowing and sharing knowledge alongside our technical reasoning. And we need to face the reality of the consequences of our actions and those of our ancestors. This is not a project that aims to solve all the world's problems, but instead, to nurture the capacity for doing things together. We support and practice responding with curiosity and care, not with answers or attachment to ideals that no longer make sense amid collapsing systems. We are not "hiring" for this project now but there are many ways to get involved and would welcome opportunities to collaborate. Some of the projects we're holding include Folk Tech, Spacious, SEED Founding, and Relational Source License. We're also developing a very cool workshop process to help other organizations explore relational design through a community-driven futurism process. As ecosystem supporters, we are developing relationships with many aligned groups and projects as well. There will be more communications coming! If this all sounds like something you would like to support, contribute to, keep track of, or develop relationship with, for now you can subscribe to our calendar here https://lnkd.in/gPRFW7zC and message me directly! | 19 comments on LinkedIn
Intelligence | The Paper Pilot
The Paper Pilot's digital garden of thoughts on philosophy, politics, and sociology
Artificial Intelligence | The Paper Pilot
The Paper Pilot's digital garden of thoughts on philosophy, politics, and sociology
Institutions: abstract model theory for specification and programming | Journal of the ACM
There is a population explosion among the logical systems used in computing science. Examples include first-order logic, equational logic, Horn-clause logic, higher-order logic, infinitary logic, dynamic logic, intuitionistic logic, order-sorted logic, ...
Good book for learning and practising axiomatic logic
I want to learn axiomatic (Hilbert style ) logic. not just a book that says that it exist and is an good way to proof theorems. What is a good book to learn and practice this method? would like: ...
Temporal Logic
Broadly construed, Temporal Logic covers all formalapproaches to representing and reasoning about time and temporalinformation. More narrowly, it usually refers to the modal-logic styleapproach introduced by Arthur Prior in the 1950s under the nameTense Logic and subsequently developed further by manylogicians and computer scientists. Temporal Logic has been widely usedas a formalism for clarifying philosophical issues about time, as aframework for defining the semantics of temporal expressions innatural language, as a language for encoding temporal knowledge inartificial intelligence, and as a tool for specification andverification of computer programs and systems.
Nicky Case | The Paper Pilot
The Paper Pilot's digital garden of thoughts on philosophy, politics, and sociology
Technological Metamodernism | Hilma Church-Turing | Substack
Click to read Technological Metamodernism, a Substack publication with hundreds of subscribers.
Categorical logic and type theory
Categorical logic and type theory by Bart Jacobs, 1999, Elsevier Science edition, in English - 1st ed.
Mbin | The Paper Pilot
The Paper Pilot's digital garden of thoughts on philosophy, politics, and sociology
Open Source | The Paper Pilot
The Paper Pilot's digital garden of thoughts on philosophy, politics, and sociology
Command Palettes | The Paper Pilot
The Paper Pilot's digital garden of thoughts on philosophy, politics, and sociology