Account

Form Completionist

Completed profile

Achieved by 43202 logic users

Account

You exist!

Created an account

Achieved by 45865 logic users

Login

Likes to login

Logged in 10 times

Achieved by 1089 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 151 logic users

Login

Master Logger Inner

Logged in 1000 times

Achieved by 9 logic users

Password

Forgetful Logician

Forgot password

Achieved by 57 logic users

Password

Logician with a new password

Changed password

Achieved by 11 logic users

Rule

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

Used Conjunctive Argument

Achieved by 19 logic users

Rule

Antecedent Denier

Used Modus Tollens

Achieved by 41 logic users

Rule

Explorer of Imaginaryland

Used a Supposition

Achieved by 0 logic users

Rule

Absurdity Reducer

Used Negation In

Achieved by 9 logic users

Rule

Partying with modus ponens

Used Arrow Out

Achieved by 216 logic users

Rule

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

Used Or Out

Achieved by 35 logic users

Rule

conjunction junction, what's your function?

Used And Out

Achieved by 86 logic users

Rule

Codependency crusher

Used Biconditional Out

Achieved by 65 logic users

Rule

Codependency lover

Used Biconditional In

Achieved by 52 logic users

Rule

Rocking the Reductio

Used Negation Out

Achieved by 14 logic users

Rule

Matchmaker

Used And In

Achieved by 88 logic users

Rule

Yup, that's how that rule works.

Used Or In

Achieved by 57 logic users

Rule

What did I just prove, really?

Used Arrow In

Achieved by 31 logic users

Rule

If not one, then the other.

Used Disjunctive Argument

Achieved by 31 logic users

Rule

Not a Poser

Used Contraposition

Achieved by 21 logic users

Rule

Ain't no thang

Used Double Negation

Achieved by 36 logic users

Rule

That rule that's really hard to memorize

Used Arrow

Achieved by 31 logic users

Rule

The Chains that Bind

Used Chain Rule

Achieved by 52 logic users

Rule

DeMorgan Who?

Used Demorgan's Law

Achieved by 34 logic users

Solution Speed

Logician Allegro

Solved a problem in less than 15 seconds

Achieved by 82 logic users

Solution Speed

Napping Logician

Took more than 30 minutes to solve a problem

Achieved by 17 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 43 logic users

Solution Speed

Careful Logician

Took more than 5 minutes to solve a problem

Achieved by 74 logic users

Solution Speed

Fast Fingers Frege

Solved a problem in less than 8 seconds

Achieved by 12 logic users

Solution Speed

Quick to draw a conclusion

Solved a problem in less than 30 seconds

Achieved by 126 logic users

Solution Speed

Took your sweet time

Took more than an hour to solve a problem

Achieved by 7 logic users

Solution Speed

Has a minute for logic

Solved a problem in less than 60 seconds

Achieved by 183 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 31 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 94 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 5 logic users

Time Spent

Persistent Logician

Spent 30 minutes solving problems

Achieved by 58 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 98 logic users

Unique Solutions

Leibniz

Solved 16 unique problems

Achieved by 49 logic users

Unique Solutions

De Morgan

Solved 64 unique problems

Achieved by 19 logic users

Unique Solutions

Hegel

Solved 8 unique problems

Achieved by 68 logic users

Unique Solutions

Plato

Solved 2 unique problems

Achieved by 138 logic users

Unique Solutions

Boole

Solved 32 unique problems

Achieved by 32 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