tsuomela + logic   40

Shaka, When the Walls Fell - Ian Bogost - The Atlantic
"A charming sentiment, and a move that always works for Star Trek—the juxtaposition of classical antiquity and science-fictional futurism. But Picard gets it wrong one last time. To represent the world as systems of interdependent logics we need not elevate those logics to the level of myth, nor focus on the logics of our myths. Instead, we would have to meditate on the logics in everything, to see the world as one built of weird, rusty machines whose gears squeal as they grind against one another, rather than as stories into which we might write ourselves as possible characters. It’s an understandable mistake, but one that rings louder when heard from the vantage point of the 24th century. For even then, stories and images take center stage, and logics and processes wait in the wings as curiosities, accessories. Perhaps one day we will learn this lesson of the Tamarians: that understanding how the world works is a more promising approach to intervention within it than mere description or depiction. Until then, well: Shaka, when the walls fell."
title(StarTrek)  language  linguistics  metaphor  logic  philosophy  culture  television 
june 2014 by tsuomela
Notional Slurry » some thoughts on how “genetic programming” actually happens
I’m saying that the point of scientific endeavor (and to push things, every endeavor) is not “increasing disclosure of the real nature of the real world”, but instead immediate, pragmatic, purposive gain obtained by exercising the tools of language.
pragmatism  science  philosophy  purpose  logic  inquiry  language 
november 2010 by tsuomela
Darwin's Literary Models
It may not be structured like a journal paper, but "On the Origin of Species" was written according to classical rules of rhetoric.
darwin  charles  logic  rhetoric  argument  style  writing  science  persuasion  19c  evolution  biology  communication  scholarly-communication 
may 2010 by tsuomela
Choice & Inference
Choice & Inference provides a platform for dialogue and news within the fields of formal epistemology and decision theory, broadly construed. Topics include (but are not limited to) uncertain and ampliative inference, frequentist statistics and modeling, coherence, paradoxes of belief and / or action, belief revision, disagreement and consensus, causal discovery, epistemology of religion, etc. And the formal tools used to pursue questions within these topics include (but are not limited to) game theory and decision theory, formal learning theory, probability theory and statistics, networks and graphs, and formal logic.
epistemology  decision-making  philosophy  logic  weblog-group 
december 2009 by tsuomela
Nasslli Home Page -- www.nasslli.com
North America summer school in logic, language, and information.
philosophy  logic  language  information  summer  school 
june 2009 by tsuomela
Department of Philosophy ::: Dr. Susan Haack
Professor Haack is the author of several well-known books, including Deviant Logic (Cambridge, 1974), Philosophy of Logics (Cambridge, 1978), Evidence and Inquiry: Towards Reconstruction in Epistemology (Blackwell, 1993), Deviant Logic, Fuzzy Logic: Beyond the Formalism (Chicago, 1996), Manifesto of a Passionate Moderate: Unfashionable Essays (Chicago, 1998), and Defending Science -- Within Reason: Between Scientism and Cynicism (Prometheus, 2003) as well as of numerous articles.
philosophy  people  academic  pragmatism  science  logic 
june 2009 by tsuomela
How to Do Philosophy
Paul Graham speculates about future of philosophy focused on usefulness.
philosophy  history  language  essay  logic 
march 2009 by tsuomela
Maverick Philosopher: Retortion and Non-Contradiction in Aristotle, Metaphysics, Gamma 3, 4
"Retortion is the philosophical procedure whereby one seeks to establish a thesis by uncovering a performative inconsistency in anyone who attempts to deny it."
philosophy  logic  argument  methods  retortion  about(Aristotle) 
february 2009 by tsuomela
The Problem of Induction (Stanford Encyclopedia of Philosophy)
Until about the middle of the previous century induction was treated as a quite specific method of inference: inference of a universal affirmative proposition (All swans are white) from its instances (a is a white swan, b is a white swan, etc.) The method had also a probabilistic form, in which the conclusion stated a probabilistic connection between the properties in question. It is no longer possible to think of induction in such a restricted way
philosophy  logic  reasoning  encyclopedia  thinking 
january 2009 by tsuomela
Defeasible Reasoning (Stanford Encyclopedia of Philosophy)
Reasoning is defeasible when the corresponding argument is rationally compelling but not deductively valid. The truth of the premises of a good defeasible argument provide support for the conclusion, even though it is possible for the premises to be true and the conclusion false. In other words, the relationship of support between premises and conclusion is a tentative one, potentially defeated by additional information.
philosophy  logic  encyclopedia  reasoning  inference 
january 2009 by tsuomela
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction
The lambda calculus, and the closely related theory of combinators, are important in the foundations of mathematics, logic and computer science. This paper provides an informal and entertaining introduction by means of an animated graphical notation.
computer  computer-science  programming  logic  math 
may 2007 by tsuomela
Natural Deduction Reading for Beginners | Lambda the Ultimate
For the rest of us interested in language design, but who are not already logicians here is a brief reading list on logic, focusing on natural deduction, the preferred method of expressing type systems.
logic  philosophy  computer-science  list  reading 
december 2006 by tsuomela
Solve Sudoku (Without even thinking!)
a good example of an instructable page, with sudoku
math  logic  tutorial  web  education  learning 
july 2006 by tsuomela

related tags

19c  about(Aristotle)  about(SaulKripke)  about(TimothyWilliamson)  academic  academic-department  alt-right  alternative  argument  atheism  author  biology  charles  communication  computer  computer-science  consistency  critical-thinking  culture  darwin  debate  decision-making  definition  design  dialog  education  encyclopedia  epistemology  essay  evolution  explanation  fallacy  fiction  formal  history  humor  inference  infographics  information  inquiry  intelligence  interview  knowledge  language  learning  linguistics  list  logic  math  mathematics  media  metaphor  methodology  methods  modal  model  naturalism  nature  paraconsistent  people  persuasion  philosophy  pragmatism  profile  programming  psychology  purpose  rationality  reading  reasoning  reference  retortion  rhetoric  sanity  scholarly-communication  school  school(UCIrvine)  science  semantics  sf  social-justice  sts  style  summer  television  temporal  test  thinking  time  title(StarTrek)  tutorial  visualization  web  weblog-group  weblog-individual  wikipedia  writing 

Copy this bookmark: