Bay 12 Games Forum

Please login or register.

Login with username, password and session length
Advanced search  
Pages: 1 2 [3] 4 5 ... 20

Author Topic: Postmodernism vs Bay12 - Deathmatch 2014. aka feminist programming languages  (Read 27263 times)

DJ

  • Bay Watcher
    • View Profile
Re: Towards feminist programming languages
« Reply #30 on: January 20, 2014, 03:33:49 am »

And for en core, they'll invent a feminist wheel.
Logged
Urist, President has immigrated to your fortress!
Urist, President mandates the Dwarven Bill of Rights.

Cue magma.
Ah, the Magma Carta...

Reelya

  • Bay Watcher
    • View Profile
Re: Towards feminist programming languages
« Reply #31 on: January 20, 2014, 03:33:59 am »

Postmodern feminism rejects the Aristotlean logic tradition as being a pillar of patriachy

You have this book, for example, where the author rejects all formal logic as being masculine.
Quote
Book Description
Publication Date: July 13, 1990 | ISBN-10: 0415902002 | ISBN-13: 978-0415902007
Is logic masculine? Is women's lack of interest in the "hard core" philosophical disciplines of formal logic and semantics symptomatic of an inadequacy linked to sex? Is the failure of women to excel in pure mathematics and mathematical science a function of their inability to think rationally?

Andrea Nye undermines the assumptions that inform these questions, assumptions such as: logic is unitary, logic is independent of concrete human relations, and logic transcends historical circumstances as well as gender. In a series of studies of the logics of historical figures--Parmenides, Plato, Aristotle, Zeno, Abelard, Ockham, and Frege--she traces the changing interrelationships between logical innovation and oppressive speech strategies, showing that logic is not transcendent truth but abstract forms of language spoken by men, whether Greek ruling citizens, or scientists.
Book quotes:
Quote
If economics was logical necessity for the Marxists, the science of nature was logical necessity for the Nazis. In nature, it was clear enough that the fittest and best survived, whereas dying and degenerate races were destroyed. The applications of logic to action that Frege had promised came readily to hand. If Jews are a mongrel race, they must be exterminated. 'A thought like a hammer' demanded instant obedience to the dictates of logic.

Desperate, lonely, cut off from the human community which in many cases has ceased to exist, under the sentence of violent death, wracked by desires for intimacy that they do not know how to fulfill, at the same time tormented by the presence of women, men turn to logic.

She Godwins it: "you know who else used logic - Hitler". The link she draws is that one of the founders of modern logic, Gottlob Frege, who died in 1924, mentions being a fan of Hitler in his diaries. But, the guy died even before Mein Kampf was published, and I can't see that Hitler was influenced by Gottlob Frege.
« Last Edit: January 20, 2014, 03:40:58 am by Reelya »
Logged

DJ

  • Bay Watcher
    • View Profile
Re: Towards feminist programming languages
« Reply #32 on: January 20, 2014, 03:40:50 am »

What the hell could you replace formal logic with? I don't really see magical thinking having as much real world application.
Logged
Urist, President has immigrated to your fortress!
Urist, President mandates the Dwarven Bill of Rights.

Cue magma.
Ah, the Magma Carta...

Reelya

  • Bay Watcher
    • View Profile
Re: Towards feminist programming languages
« Reply #33 on: January 20, 2014, 03:43:01 am »

What the hell could you replace formal logic with? I don't really see magical thinking having as much real world application.
Ternary logic, fuzzy logic, probabilities, paraconsistent logic. These are the alternatives being considered.

Apparently only classical logic is patriarchal. And the others listed above, whilst also made by men, somehow worked out less-patriarchal, or even pro-feminist.

Apparently they like paraconsistent logic because predicates can be true and false at the same time, and that gels with a feminist view of the world.
« Last Edit: January 20, 2014, 03:47:33 am by Reelya »
Logged

DJ

  • Bay Watcher
    • View Profile
Re: Towards feminist programming languages
« Reply #34 on: January 20, 2014, 03:47:05 am »

Can mathematics actually work without any formal logic, though? And can *anything* work without mathematics?
Logged
Urist, President has immigrated to your fortress!
Urist, President mandates the Dwarven Bill of Rights.

Cue magma.
Ah, the Magma Carta...

Max White

  • Bay Watcher
  • Still not hollowed!
    • View Profile
Re: Towards feminist programming languages
« Reply #35 on: January 20, 2014, 03:49:41 am »

Ternary logic, fuzzy logic, probabilities, paraconsistent logic. These are the alternatives being considered.
So things that digital computers are traditionally very bad at.
Well I guess they could build an analog computer and design a programming language for that... They will need a large office block to do what my mobile phone can do, but it is possible.

Can mathematics actually work without any formal logic, though? And can *anything* work without mathematics?
Bitwise logic can easily work without maths, in fact the question you should be asking; Can maths work without bitwise logic? Try defining the addition function without it.

Reelya

  • Bay Watcher
    • View Profile
Re: Towards feminist programming languages
« Reply #36 on: January 20, 2014, 03:56:12 am »

Actually it won't require that, you can program all that in an object-oriented language easily using abstract data types.

Which kind of outlines the silliness - the one useful feature they're looking at, alternative (but still formal) logics CAN simplify some problem domains, but can easily be implemented without needing new languages.
« Last Edit: January 20, 2014, 03:59:04 am by Reelya »
Logged

DJ

  • Bay Watcher
    • View Profile
Re: Towards feminist programming languages
« Reply #37 on: January 20, 2014, 03:59:27 am »

Isn't bitwise logic a sort of formal logic?
Logged
Urist, President has immigrated to your fortress!
Urist, President mandates the Dwarven Bill of Rights.

Cue magma.
Ah, the Magma Carta...

Max White

  • Bay Watcher
  • Still not hollowed!
    • View Profile
Re: Towards feminist programming languages
« Reply #38 on: January 20, 2014, 04:01:36 am »

It is a very formal logic! It is hard to get more formal really... Point is that yes, some things can work without maths, but maths can't work without an underlying logic.

chaoticag

  • Bay Watcher
  • All Natural Pengbean
    • View Profile
Re: Towards feminist programming languages
« Reply #39 on: January 20, 2014, 04:33:30 am »

I guess this could be interesting? But for the most part, this sounds like a thought experiment, and I'm not sure how different logic as it's accepted would look different from logic as critiqued by a feminist scholar, so eh?

I'm not sure how well something like this would help though, and most of what I hear on feminism with programming is about making sure female programmers are more accepted, so I doubt it'd do much in that regards.
Logged

WealthyRadish

  • Bay Watcher
    • View Profile
Re: Towards feminist programming languages
« Reply #40 on: January 20, 2014, 07:14:45 am »

This would make a good episode of the Twilight Zone. A crew of UN astronauts in the near future of the 1980s land on Uranus, where they discover a feminist utopia where math is sexist and data structures have emotional needs. Oh, and the twist is that they never left Earth, but really just crash landed outside of UC Berkeley.
« Last Edit: January 20, 2014, 07:19:44 am by UrbanGiraffe »
Logged

MrWillsauce

  • Bay Watcher
  • Has an ass that won't quit
    • View Profile
Re: Towards feminist programming languages
« Reply #41 on: January 20, 2014, 07:23:04 am »

These guys are gonna love my white supremacist system of musical notation.
Logged

Leafsnail

  • Bay Watcher
  • A single snail can make a world go extinct.
    • View Profile
Re: Towards feminist programming languages
« Reply #42 on: January 20, 2014, 07:56:24 am »

A brief look suggests that it's just some bizarre thought experiment. Not really sure I see the point myself but if some people feel it's an idea worth considering more power to them.
Yeah I think this is it.  There are quite a few examples of programming languages being written just to explore ideas/ as a joke rather than as serious tools.

http://www.dangermouse.net/esoteric/
Logged

kaijyuu

  • Bay Watcher
  • Hrm...
    • View Profile
Re: Towards feminist programming languages
« Reply #43 on: January 20, 2014, 09:25:00 am »

Whatever merit the project may or may not have, calling it "feminist" just seems like a publicity stunt and/or a way to antagonize MRAs and their ilk.
Logged
Quote from: Chesterton
For, in order that men should resist injustice, something more is necessary than that they should think injustice unpleasant. They must think injustice absurd; above all, they must think it startling. They must retain the violence of a virgin astonishment. When the pessimist looks at any infamy, it is to him, after all, only a repetition of the infamy of existence. But the optimist sees injustice as something discordant and unexpected, and it stings him into action.

Guardian G.I.

  • Bay Watcher
  • "And it ducks, and it covers!"
    • View Profile
Re: Towards feminist programming languages
« Reply #44 on: January 20, 2014, 09:44:29 am »

This would make a good episode of the Twilight Zone. A crew of UN astronauts in the near future of the 1980s land on Uranus, where they discover a feminist utopia where math is sexist and data structures have emotional needs. Oh, and the twist is that they never left Earth, but really just crash landed outside of UC Berkeley.
It reminds me of an 1984 Polish sci-fi movie "Sexmission" about two guys who volunteer to take part in a hibernation experiment, only to wake up decades in the future due to technical malfunction and find Earth ruled by a totalitarian feminist regime.
Logged
this means that a donation of 30 dollars to a developer that did not deliver would equal 4.769*10^-14 hitlers stolen from you
that's like half a femtohitler
and that is terrible
Sigtext
Pages: 1 2 [3] 4 5 ... 20