Account

Form Completionist

Completed profile

Achieved by 15 logic users

Account

You exist!

Created an account

Achieved by 466 logic users

Login

Likes to login

Logged in 10 times

Achieved by 14 logic users

Login

Knows how to work a login form

Logged in once

Achieved by 0 logic users

Login

Prodigious Logger Inner

Logged in 100 times

Achieved by 1 logic user

Login

Master Logger Inner

Logged in 1000 times

Achieved by 0 logic users

Password

Forgetful Logician

Forgot password

Achieved by 27 logic users

Password

Logician with a new password

Changed password

Achieved by 10 logic users

Rule

In your world of two, there's only room for you.

Used Conjunctive Argument

Achieved by 15 logic users

Rule

Antecedent Denier

Used Modus Tollens

Achieved by 25 logic users

Rule

Explorer of Imaginaryland

Used a Supposition

Achieved by 0 logic users

Rule

Absurdity Reducer

Used Negation In

Achieved by 8 logic users

Rule

Partying with modus ponens

Used Arrow Out

Achieved by 111 logic users

Rule

...and all I got was this lousy achievement.

Used Or Out

Achieved by 26 logic users

Rule

conjunction junction, what's your function?

Used And Out

Achieved by 43 logic users

Rule

Codependency crusher

Used Biconditional Out

Achieved by 36 logic users

Rule

Codependency lover

Used Biconditional In

Achieved by 27 logic users

Rule

Rocking the Reductio

Used Negation Out

Achieved by 12 logic users

Rule

Matchmaker

Used And In

Achieved by 45 logic users

Rule

Yup, that's how that rule works.

Used Or In

Achieved by 32 logic users

Rule

What did I just prove, really?

Used Arrow In

Achieved by 19 logic users

Rule

If not one, then the other.

Used Disjunctive Argument

Achieved by 21 logic users

Rule

Not a Poser

Used Contraposition

Achieved by 13 logic users

Rule

Ain't no thang

Used Double Negation

Achieved by 21 logic users

Rule

That rule that's really hard to memorize

Used Arrow

Achieved by 18 logic users

Rule

The Chains that Bind

Used Chain Rule

Achieved by 25 logic users

Rule

DeMorgan Who?

Used Demorgan's Law

Achieved by 20 logic users

Solution Speed

Logician Allegro

Solved a problem in less than 15 seconds

Achieved by 47 logic users

Solution Speed

Napping Logician

Took more than 30 minutes to solve a problem

Achieved by 7 logic users

Solution Speed

Faster than the E = mc squared

Solved a problem in less than 4 seconds

Achieved by 2 logic users

Solution Speed

Measure for 10 minutes, solve once

Took more than 10 minutes to solve a problem

Achieved by 25 logic users

Solution Speed

Careful Logician

Took more than 5 minutes to solve a problem

Achieved by 37 logic users

Solution Speed

Fast Fingers Frege

Solved a problem in less than 8 seconds

Achieved by 9 logic users

Solution Speed

Quick to draw a conclusion

Solved a problem in less than 30 seconds

Achieved by 72 logic users

Solution Speed

Took your sweet time

Took more than an hour to solve a problem

Achieved by 4 logic users

Solution Speed

Has a minute for logic

Solved a problem in less than 60 seconds

Achieved by 96 logic users

Time Spent

99 problems and logic ain't one

Spent a week solving problems

Achieved by 1 logic user

Time Spent

Practice makes perfect

Spent 1 hour solving problems

Achieved by 24 logic users

Time Spent

I can has lots and lots of logic?

Spent 12 hours solving problems

Achieved by 3 logic users

Time Spent

Take that Alonzo Church

Spent a month solving problems

Achieved by 0 logic users

Time Spent

Has Figured Out How to Use Website

Spent 10 minutes solving problems

Achieved by 50 logic users

Time Spent

Can't stop won't stop

Spent a day solving problems

Achieved by 1 logic user

Time Spent

Committed Logician

Spent 6 hours solving problems

Achieved by 4 logic users

Time Spent

Persistent Logician

Spent 30 minutes solving problems

Achieved by 33 logic users

Unique Solutions

Kurt Gödel

Solved 1024 unique problems

Achieved by 0 logic users

Unique Solutions

Alan Turing

Solved 2048 unique problems

Achieved by 0 logic users

Unique Solutions

Aristotle

Solved 4 unique problems

Achieved by 48 logic users

Unique Solutions

Leibniz

Solved 16 unique problems

Achieved by 29 logic users

Unique Solutions

De Morgan

Solved 64 unique problems

Achieved by 15 logic users

Unique Solutions

Hegel

Solved 8 unique problems

Achieved by 37 logic users

Unique Solutions

Plato

Solved 2 unique problems

Achieved by 67 logic users

Unique Solutions

Boole

Solved 32 unique problems

Achieved by 20 logic users

Unique Solutions

Bertrand Russell

Solved 128 unique problems

Achieved by 8 logic users

Unique Solutions

Wittgenstein

Solved 256 unique problems

Achieved by 4 logic users

Unique Solutions

Alfred Tarski

Solved 512 unique problems

Achieved by 0 logic users