All men are mortal.

[lizzie@brain.worm.pink]

All men are mortal. Socrates is a man. Cows produce milk. Therefore Socrates is mortal.

[konej@akko.wtf]

@lizzie@brain.worm.pink there's probably a logical flaw in this but i fail to see it

[lizzie@brain.worm.pink]

@konej there isnt. its wikipedia’s example of logical weakening. adding “cows produce milk” doesnt make anything no longer provable

[kirby@freerobuxextremist.com]

@lizzie@brain.worm.pink

#include "cow.h"
#include <assert.h>

typedef struct {
 bool mortal;
} man_t;

int main() {
 cow_t c;
 c.producesmilk = true;
 man_t m;
 
 if (c.producesmilk)
  assert(m.mortal);
 return 0;
}

[lizzie@brain.worm.pink]

@kirby in the initial statements, whether socrates is mortal is not contingent on if cows produce milk. you just created “cows produce milk. if cows produce milk, then check if an uninitialized man could produce milk”

[lizzie@brain.worm.pink]

@kirby my initial typo was way funnier tbh