### Modelling:

- Applications (relevance) (47)
- Abstract Thinking (11)
- Software_Engineering (39)

- Foundations (rigour) (37)
- Epistemology (17)
- Mathematics (19)

- Series (38)
- Herbert Stachowiak (6)
- Model Thinking (8)
- Reflections on Abstractions (14)
- Requirements (13)

- Uncategorized (3)

- Applications (relevance) (47)
### Twitter

- RT @peoppenheimer: SEP: Emergent Properties ift.tt/2l9BuLF #philosophy - 20 hours ago

# Tag Archives: first order logic

## A simple relational Model

Modelling foundations: What does a simple diagram ‘thing – relation – thing’ say, in terms of logic? Continue reading

## 1 + x = 3 as a Query

Strongly reduced recap of basic software engineering concepts: Query, Result Set, Requirement. Continue reading

## Lazy Friday (and First Order Logic)

Can “the company has 3 problems” be formalized in First Order language? Picture the sentence in the context of a management presentation … Continue reading