Logical Framework Quotes

No concept man forms is valid unless he integrates it without contradiction into the sum of his knowledge.

I have concluded that we are in a world made by rules created by an intelligence.

The philosopher Ludwig Wittgenstein once remarked that if you ask a man how much is two plus two and he tells you five, that is a mistake. But if you ask a man how much is two plus two and he tells you ninety-seven, that is no longer a mistake. The man you are talking to is operating with a wholly different logic from your own.

It was my first meeting with a philosophy that confirmed my vague speculations and seemed at once logical and boundless.

Axiomatization is what one does last, it's rubbish. It's the hygiene of mathematics, axiomatization.

That is, a system starts with a group of interrelated propositions which involve reference to empirical observations within the logical framework of the propositions in question.

The absurd consequences of neglecting structure but using the concept of order just the same are evident if one examines the present terminology of information theory.

Special emphasis should be laid on this intimate interrelation of general statements about empirical fact with the logical elements and structure of theoretical systems.

When Jennifer Roberson and Kate Elliott and I were noodling up 'The Golden Key,' we had pages upon pages upon pages of notes about everything to do with our little universe. Much of this material was used; the rest was there if we needed it. But it all had to be consistent within itself and adhere to its own logic.

The system becomes logically closed when each of the logical implications which can be derived from any one proposition within the system finds its statement in another proposition in the same system.