Archive for August, 2012

Epistemic Virtues of Objectivity

August 22, 2012

I recently finished reading Lorraine Daston and Peter Galison’s “Objectivity”. In this very interesting book, the authors argue that the notion of scientific objectivity has evolved over time. They have divided the course of this evolution into three main phases: truth-to-nature, mechanical objectivity, and trained judgement. During each phase, the main view of objectivity is dominant, but previous phases are still important to the overall idea of what objectivity means in the scientific community.

The epistemological virtues of objectivity can be divided into four major aspects: persona, ontology, image, and practice. For each phase of objectivity, each aspect has different qualities. For instance, the scientific persona becomes a sage during the truth-to-nature phase, a worker during the mechanical objectivity phase, and an expert during the trained judgement phase. Similarly, the ontology aspect passed through the qualities of universals-particulars-families, the image aspect passed through reasoned-mechanical-interpreted, and practice  passed through the stages selection and synthesis-automated transfer-pattern recognition.

The evolutionary phases of objectivity, as well as the qualities of the epistemological virtues seen as the four aspects, is beautifully shown by many examples from a collection of scientific atlases. Anyone interested in the history of science as well as the notion of scientific objectivity should enjoy this book.

I thought it was also remarkable that these four aspects of objectivity were very similar to the four aspects of the Archic Matrix of Watson and Dilworth.

References:

Lorraine Daston and Peter Galison / Objectivity

http://scienceblogs.com/worldsfair/2008/01/03/objectivity-truetonature-mecha/

http://www.nova.edu/ssss/QR/WQR/daston.pdf

[*7.106]

<>

The Curry-Howard Correspondence

August 21, 2012

The Curry-Howard Correspondence reveals a close correspondence between the constituents of Logic and of Programming. Also known as the Formulas as Types and the Proofs as Programs interpretations.

Existential Quantification (∃) of Logic corresponds to the Generalized Cartesian Product type (∑) of Programming. Universal Quantification (∀) of Logic corresponds to the Generalized Function Space type (∏) of Programming. Conjunction (⋀) of Logic corresponds to the Product type (×) of Programming. Disjunction (⋁) of Logic corresponds to the Sum type (+) of Programming.

There are associations between the Curry-Howard Correspondence and the fourfolds of the Square of Opposition, Attraction and Repulsion, and of course Linear Logic.

http://en.wikipedia.org/wiki/Curry-Howard_correspondence

<>


  Bartosz Milewski's Programming Cafe

Category Theory, Haskell, Concurrency, C++

The Inquisitive Biologist

Reviewing fascinating science books since 2017

Paleofuture

Every Fourth Thing

Simplicity

Derek Wise's blog: Mathematics, Physics, Computing and other fun stuff.

COMPLEMENTARY 4x

integrating 4 binary opposites in life, learning, art, science and architecture

INTEGRATED 4x

integrating 4 binary opposites in life, learning, art, science and architecture

Playful Bookbinding and Paper Works

Chasing the Paper Rabbit

Antinomia Imediata

experiments in a reaction from the left

Digital Minds

A blog about computers, evolution, complexity, cells, intelligence, brains, and minds.

Social Systems Theory

A blog inspired by Niklas Luhmann and other social theorists

philosophy maps

mind maps, infographics, and expositions

hyde and rugg

neat ideas from unusual places

John Kutensky

The way you think it is may not be the way it is at all.

Visions of Four Notions

Introduction to a Quadralectic Epistomology

Explaining Science

Astronomy, space and space travel for the non scientist

Log24

Every Fourth Thing

Ideas Without End

A Serious Look at Trivial Things

Quadralectic Architecture

A Survey of Tetradic Testimonials in Architecture

Minds and Brains

Musings from a Naturalist

Quadriformisratio

Four-fold thinking4you

Multisense Realism

Craig Weinberg's Cosmology of Sense

RABUJOI - An Anime Blog

Purveyors of Fine Anime Reviews and Ratings Since 2010

Intra-Being

Between Subject and Object

The Woodring Monitor

Every Fourth Thing

FORM & FORMALISM

Every Fourth Thing

Log24

Every Fourth Thing

The n-Category Café

Every Fourth Thing

ECOLOGY WITHOUT NATURE

Every Fourth Thing

PHILOSOPHY IN A TIME OF ERROR

Sometimes those Sticking their Heads in the Sand are Looking for Something Deep

Networkologies

Online Home of Christopher Vitale, Associate Professor of Media Studies, The Graduate Program in Media Studies, Pratt Institute, Brooklyn, NY.

DEONTOLOGISTICS

Researching the Demands of Thought

Aberrant Monism

Spinozism and Life in the Chaosmos

Object-Oriented Philosophy

"The centaur of classical metaphysics shall be mated with the cheetah of actor-network theory."

Objects & Things

objects & things, design, art & technology

%d bloggers like this: