Так называется один из известнейших древнегреческих софизмов - парадоксов. Приводим его описание по "Логическому словарю":

Эватл брал уроки софистики у Протагора с тем условием, что гонорар он уплатит только в том случае, если по окончании учебы выиграет первый судебный процесс. Но после обучения Эватл не взял на себя ведение какого-либо судебного процесса и потому считал себя вправе не платить гонорара Протагору. Тогда учитель пригрозил, что он подаст жалобу в суд, говоря Эватлу следующее:
— Судьи или присудят тебя к уплате гонорара, или не присудят. В обоих случаях ты должен будешь уплатить. В первом случае в силу приговора судьи, во втором случае в силу нашего договора — ты выиграл первый судебный процесс.
На это Эватл, обученный Протагором софистике, отвечал:
—Ни в том, ни в другом случае я не заплачу. Если' меня присудят к уплате, то я, проиграв первый судебный процесс, не заплачу в силу нашего договора, если же меня не присудят к уплате гонорара, то я не заплачу в силу приговора суда.
Уловка данного софистического рассуждения заключается, с точки зрения традиционной логики, в том, что в нем нарушен закон тождества. Один и тот же договор в одном и том же рассуждении Эватл рассматривает в разных отношениях. В самом деле, в первом случае Эватл на суде должен был бы выступать в качестве юриста, который проигрывает процесс, а во втором случае — в качестве ответчика, которого суд оправдал.

Если слова с полками до потолка, скрипучими полами и приглушенным светом используются как пояснение, то можно поставить как тире, так и двоеточие.

Слова на улице являются пояснением и поэтому выделяются запятыми.

В данном случае вторая часть предложения указывает на причину того, о чем говорится в первой, поэтому предпочтительнее двоеточие. Однако тире допустимо.

Запятая не ставится.

Исправили. Спасибо!

В данном случае слово вообще используется в значении «вообще говоря» и является вводным. Пунктуация верна.

Подробнее об обособлении слова вообще см. в «Справочнике по пунктуации».