Algebraic Dual / Continuous Dual Let $E$ be an infinite dimensional Banach space, let $E^{\ast}$ denote
its continuous (i.e., Banach space) dual, and let $E'$ be its algebraic
dual. Clearly, $E^{\ast}$ is a proper vector subspace of $E'$. Now, let
us suppose that $E^{\ast}$ and $E'$ are algebraically isomorphic (i.e.,
as vector spaces). Does it follow that $E$ contains an isomorph of
the Banach space $\ell_{1}(\mathbb{R})$ ? 
[By "*isomorph
of X" I mean a closed linear subspace both algebraically
and topologically isomorphic to X.]
P.S. This is under ZFC + CH.
P.P.S. The answer is affirmative if $E$ is the dual of a separable [infinite-dimensional] Banach space. It would be interesting to see if it is also affirmative when $E$ is a "nice" space. For instant, a Banach lattice.
 A: Ok Ady, since you like CH I will work with CH, and to make your life
easier, I will work with GCH.
Since I do not expect that everybody in MO is aware of various
Banach space constructions, let me give some information on James
tree spaces which are relevant to the question. 
A tree is a partially order set $(T,<)$ such that for every $t$ in $T$ the
initial segment $\{s\in T: s < t\}$ is well-ordered under $ < $.
A segment of $T$ is a subset $S$ of $T$ which is:


*

*linearly ordered under $ < $ and

*for all $s, t, w\in T$ if $s < t < w$ and $s, w \in S$ then $t\in S$.


The completion of $T$, usually denoted by $c(T)$, is the collection of all initial
segments of $T$ ordered by inclusion. Notice that $c(T)$ contains $T$ and
is much larger than $T$. For instance, if $T$ is the tree of all finite sequences
of natural numbers (usually called the Baire tree, which is clearly countable),
then its completion is the Baire-tree together with its branches (i.e. the
Baire space) and so it has the cardinality of the continuum.
For every tree $T$ the corresponding James tree space $JT$ is defined to
be the completion of $c_{00}(T)$ with the norm:
$$\|v\| = \sup\{ (\sum_{i=1}^d (\sum_{t\in S_i} v(t) )^2 )^{1/2} \}$$
where the above supremum is taken over all finite families $(S_i)_{i=1}^d$ of
pairwise disjoint segments of $T$. Basic facts (I can provide appropriate
references to anyone who is interested):


*

*For every tree $T$ the space $JT$ is hereditarily $\ell_2$; that is,
every infinite-dimensional subspace of $JT$ contains a copy of $\ell_2$.

*For every tree $T$ the second dual of $JT$ is linearly isometric to
the James tree space of the completion $c(T)$ of $T$. In particular,
neither $JT^* $ nor $JT^{**}$ contain a copy of $\ell_1$. 


Now we come to the specifics of the construction. Remember that we work
with GCH. This implies, in particular, the following: if $X$ is a Banach
space of cardinality $\kappa$, then the algebraic dual of $X$ has cardinality
$\kappa^+$.
Let $T$ be the tree of all countable subsets of $\omega_1$ equipped
with the partial order of end-extension. We have GCH, hence, the tree
is just all sequences of real numbers, and so, it has cardinality
$\aleph_1$. The cardinality of the corresponding James tree space is
also $\aleph_1$. 
The completion $c(T)$ of our tree $T$ is the set of all subsets of
$\omega_1$. Hence it has cardinality $2^{\aleph_1}$ which is,
under GCH, $\aleph_2$. It follows that the cardinality of $JT^{**}$
is $\aleph_2$.
Now consider cases.
Case 1: the topological dual $JT^* $ of $JT$ has cardinality strictly
bigger than $\aleph_1$. Then we are done: our counterexample is $JT$.
Case 2: the topological dual $JT^* $ of $JT$ has cardinality $\aleph_1$.
We are also done: our counterexample is $JT^* $.
A: Maybe we can look at $\ell_2(\gamma)$, where $\gamma$ is an uncountable set. The topological dual is itself. Its algebraic dual seems to have the same cardinality as $\ell_2(\gamma)$.
A: I think that the cardinality of E' should always be greater than the cardinality of $E^*$, so they never will be isomorphic in any sense. Basically, as pointed out here, $E^*$ is the space of all maps from a topological basis of E into a field. E' is analogously the space of all maps from an algebraic basis to a field. So, this boils down to the question:

In an infinite-dimensional Banach space, does an algebraic basis ever have the same cardinality as a topological basis?

I think the answer is no. For example, in $l^2$ (which is the smallest infinite-dimensional Banach space), the topological basis is countable. As Ady points out, the algebraic basis should have cardinality $2^{|\mathbb N|}$. 
I'll community wiki this because this is a guess rather than a proof. Feel free to edit & improve. I seem to remember I knew a slick proof of Ady's statement; if I actually remember it, I'll put it in.
