Formal Systems 2

A: What formal system would you like to discuss?

B: Let’s take the system of binary logic.

A: T slash F.

B: Exactly.

A: But what is true? What is false?

B: True and false are two values we apply to statements.

A: Some statements, not all.

B: Correct. Like any formal system, binary logic limits the types of statements that are applicable. Logic works with statements, or propositions, that are factual.

A: But why the limitation?

B: Because formal systems restrict, or bind, the domains they analyze.

A: Ahh. There’s your bondage theme again.

B: You’re the one who said I fetishize formal systems.

A: I was being metaphorical.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

%d bloggers like this: