Semantosoph

Process of Induction

I once analysed the “Process of Induction (PI)”, which was postulated by Paul Thagard in his book “Computational Philosophy of Science”.

You can get the LISP code here.

My code is slightly different from the orignial. I removed a typo, but skipped the string-append-patch suggested by Thagard. To get this code working on a SUN-Workstation with SunOS 5.7 and clisp, I removed the QUOTE in every (carmap ‘(lambda … )). Nevertheless, the code produces the output that is mentioned in the book.

clisp -i ana_schem.l -i analog.l -i cause.l -i common.l -i begin.l \
 -i concepts.l -i explain.l -i gen.l -i misc.l -i motiv.l -i prob.l -i prob_fire.l \ 
-i prob_spread.l -i store.l -i theory.l -i trig.l -i world.l -i wts.l

As this is hard to type, you can just use this small shell script.

For more information on how this works, download the paper PI – Joshua Bacher und Sven Windisch, 2004 (german).