This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: 1 Thursday 28 April, Logic, Action, Communication Now we move from inference to other basic topics in the information & cognitive sciences where logic provides an abstract foundational view of the landscape. Consider computer science, one pillar of Symbolic Systems. It has two basic themes working in tandem: information (CS is even called informatics in many countries) and computation. Thomas touched on the issue which notion(s) of information are relevant here. This is a huge topic. The Handbook of the Philosophy of Information addresses these issues. The book Algorith- mics. The Spirit of Computing is an excellent source for understanding computation: You can think of the logical systems on Tuesday as representing agents available explicit information plus safe ways of extracting more. So now, lets concentrate on computation, where there are many levels of higher programming languages beyond Turing machines. Computer science started with specific concerns about program correctness, but has by now developed fundamental mathematical theories of action and process structure. Logic now developed fundamental mathematical theories of action and process structure....
View Full Document
- Spring '09