vBenthem4 - 1 Thursday 28 April, Logic, Action,...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the 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

Page1 / 3

vBenthem4 - 1 Thursday 28 April, Logic, Action,...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online