Похожи ли друг на друга языки программирования? Java очень похожа на C что выдает ее происхождение. Java включает в себя С как подмножество.

Какие-то похожи, какие-то нет. В этом весь смысл: язык программирования делается под конкретные задачи, не просто так. 

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

Я знаю два сайта, которые занимаются сравнительным анализом языков программирования, и которые вам пригодятся увидеть наглядно разницу между разными ЯП.

Hyperpolyglot.org сосредоточен на том, чтобы показать похожие фичи в похожих языках программирования, бок о бок. Например, вот сравнение C-подобных языков: https://hyperpolyglot.org/cpp. Может показаться, что языки программирования действительно похожи, но это будет продолжаться только до того момента, как вы откроете там что-нибудь другое, например, таблицу сравнения лиспов: https://hyperpolyglot.org/lisp

Rosettacode.org наоборот, сосредоточен на том, чтобы показать решения разных проблем на разных языках, в точности то, о чём я говорю. Посмотрите там, например, на реализации Конвеевской игры в "Жизнь" (осторожно, огромная страница) , и судите сами, похожи языки программирования или нет.

Вот как чисто визуально выглядит фрагмент одного из вариантов решения на Common Lisp:

А вот так может выглядеть решение на Haskell:

Так что нет, языки программирования в целом не похожи друг на друга. То, что большинство современных мейнстримных языков, кроме питона, C-подобные - это следствие популярности C, а не всеобщий принцип.

Java похожа на С потому что это было сделано намеренно авторами языка. Нет, Java не включает в себя С как подмножество, это заблуждение. В жабе даже оператора разыменования нет, как и концепции "указателей". Код, написанный на С, не будет скомпилирован компилятором Java.

Java, конечно, не включает в себя C как подмножество, но действительно похожа на C и особенно C++ синтаксически и концептуально. Это в своей основе императивные языки с объектно-ориентированными расширениями. Также очень похож на них язык Паскаль.

Хотите концептуальной новизны – изучите, например, язык Лисп, Пролог, APL, Форт или ассемблер.

Язык С породил огромное подмножество похожих языков программирования. Все подобные языки похожи, а значит  - легко понимаемы при условии знания какого-то одного языка из этого семейства.